Skip to content

ARTs (25) ΒΆ

Updated: 2025-11-29 02:35:25

Check out the Zenodo ART Collection for the latest published ARTs. Below, we provide a concise list of papers published in the ART repository.

  • BibTeX Entries

    Download BibTeX entries for all papers to cite them in your LaTeX documents.

    Go to BibTeX page

Published ARTs

Heterogeneous trust in reliable broadcast via modal logic and history structures
Latest update: November 25, 2025
Heterogeneous distributed systems, Distributed Broadcast, Bracha Broadcast, Modal Logic, Kripke semantics, History Structures

Heterogeneous trust in reliable broadcast via modal logic and history structures

Gabbay, Murdoch J. and Sheff, Isaac

https://art.anoma.net/list#paper-17636313

10.5281/zenodo.17636313 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.17636312 )

Usage Stats: 4 views | 4 downloads

Abstract: We propose a novel modal logic and semantics for specifying and proving properties of distributed full-information-transfer protocols (protocols that broadcast state to all participants in a distributed system). We use this to design and prove correctness of novel generalisations of...

Keywords: Heterogeneous distributed systems, Distributed Broadcast, Bracha Broadcast, Modal Logic, Kripke semantics, History Structures

Download sources: record/17636313/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2025-heterogeneous-trust-reliable-broadcast,
    author    = { Gabbay, Murdoch J. and Sheff, Isaac },
    title     = { {Heterogeneous trust in reliable broadcast via modal logic and history structures} },
    journal   = { Anoma Research Topics },
    month     = { Nov },
    year      = { 2025 },
    publisher = { Zenodo },
    version   = { November 25, 2025 },
    doi       = { 10.5281/zenodo.17636313 },
    url       = { https://doi.org/10.5281/zenodo.17636312 }
}

Heterogeneous Broadcast in Lean 4
Latest update: November 14, 2025
distributed systems, formal methods, lean4, Mathematical logic, formal verification

Heterogeneous Broadcast in Lean 4

Hart, Anthony

https://art.anoma.net/list#paper-17611735

10.5281/zenodo.17611735 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.17611734 )

Usage Stats: 82 views | 11 downloads

Abstract: A complete Lean 4 formalization of the paper "Heterogeneous trust in reliable broadcast via modal logic and history structures". This formalization contains mechanically verified proofs of three broadcast algorithms using history structures and modal logic.

Keywords: distributed systems, formal methods, lean4, Mathematical logic, formal verification

Download sources: record/17611735/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2025-heterogeneous-broadcast-lean-4,
    author    = { Hart, Anthony },
    title     = { {Heterogeneous Broadcast in Lean 4} },
    journal   = { Anoma Research Topics },
    month     = { Nov },
    year      = { 2025 },
    publisher = { Zenodo },
    version   = { November 14, 2025 },
    doi       = { 10.5281/zenodo.17611735 },
    url       = { https://doi.org/10.5281/zenodo.17611734 }
}

Optimising Shielded State Synchronization with FMD and TEEs
Latest update: April 10, 2025
FMD, TEE, shielded state syncronisation

Optimising Shielded State Synchronization with FMD and TEEs

Larraia, Enrique and Khalniyazova, Yulia

https://art.anoma.net/list#paper-15186457

10.5281/zenodo.15186457 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.15186456 )

Usage Stats: 186 views | 194 downloads

Abstract: In this paper, we propose an efficient solution for the shielded message recovery problem based on Fuzzy Message Detection, which employs trusted enclaves for defense-in-depth. We suggest leveraging multiple detection servers. Being in a threshold setting allows us to achieve...

Keywords: FMD, TEE, shielded state syncronisation

Download sources: record/15186457/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2025-optimising-shielded-state-synchronization,
    author    = { Larraia, Enrique and Khalniyazova, Yulia },
    title     = { {Optimising Shielded State Synchronization with FMD and TEEs} },
    journal   = { Anoma Research Topics },
    month     = { Apr },
    year      = { 2025 },
    publisher = { Zenodo },
    version   = { April 10, 2025 },
    doi       = { 10.5281/zenodo.15186457 },
    url       = { https://doi.org/10.5281/zenodo.15186456 }
}

Dynamic Effective Timed Communication Systems
Latest update: March 06, 2025
Distributed systems, Time-stamped events, Denotational semantics, Temporal dependencies, Enriched Event Diagrams, Actor Model

Dynamic Effective Timed Communication Systems

Heindel, Tobias and Prieto-Cubides, Jonathan and Hart, Anthony

https://art.anoma.net/list#paper-14984148

10.5281/zenodo.14984148 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.14984147 )

Usage Stats: 151 views | 154 downloads

Abstract: Message passing concurrency is a widely used paradigm in distributed systems research. Communicating finite state machines (CFSM) are probably the simplest model of message passing concurrencyβ€”introduced in the eighties, but still the default model in the context of communication protocols,...

Keywords: Distributed systems, Time-stamped events, Denotational semantics, Temporal dependencies, Enriched Event Diagrams, Actor Model

Download sources: record/14984148/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2025-dynamic-effective-timed-communication-systems,
    author    = { Heindel, Tobias and Prieto-Cubides, Jonathan and Hart, Anthony },
    title     = { {Dynamic Effective Timed Communication Systems} },
    journal   = { Anoma Research Topics },
    month     = { Mar },
    year      = { 2025 },
    publisher = { Zenodo },
    version   = { March 06, 2025 },
    doi       = { 10.5281/zenodo.14984148 },
    url       = { https://doi.org/10.5281/zenodo.14984147 }
}

Nock for Functional Programmers
Latest update: December 18, 2024
Nock, combinators, big-step operational semantics

Nock for Functional Programmers

Czajka, Lukasz

https://art.anoma.net/list#paper-14511714

10.5281/zenodo.14511714 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.14511713 )

Usage Stats: 415 views | 459 downloads

Abstract: We present Nock using mainstream programming language theory notations and terminology. The intention is to make Nock more accessible and to outline its use as a compilation target for a high-level functional language.

Keywords: Nock, combinators, big-step operational semantics

Download sources: record/14511714/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2024-nock-functional-programmers,
    author    = { Czajka, Lukasz },
    title     = { {Nock for Functional Programmers} },
    journal   = { Anoma Research Topics },
    month     = { Dec },
    year      = { 2024 },
    publisher = { Zenodo },
    version   = { December 18, 2024 },
    doi       = { 10.5281/zenodo.14511714 },
    url       = { https://doi.org/10.5281/zenodo.14511713 }
}

Message Logic
Latest update: December 04, 2024
Distributed Systems, Dynamic Modal Logic, Service Commitments

Message Logic

Gabbay, Murdoch J. and Zarin, Naqib

https://art.anoma.net/list#paper-14251398

10.5281/zenodo.14251398 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.14251397 )

Usage Stats: 234 views | 262 downloads

Abstract: We introduce Message Logic, a dynamic modal logic for specifying and reasoning about message- passing in distributed systems. We study in particular how to express that participants make commitments to each other about their future behaviour. This leads us to...

Keywords: Distributed Systems, Dynamic Modal Logic, Service Commitments

Download sources: record/14251398/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2024-message-logic,
    author    = { Gabbay, Murdoch J. and Zarin, Naqib },
    title     = { {Message Logic} },
    journal   = { Anoma Research Topics },
    month     = { Dec },
    year      = { 2024 },
    publisher = { Zenodo },
    version   = { December 04, 2024 },
    doi       = { 10.5281/zenodo.14251398 },
    url       = { https://doi.org/10.5281/zenodo.14251397 }
}

Anoma State Architecture
Latest update: December 04, 2024
State Machine, Storage, Execution, Resource Machine

Anoma State Architecture

Sheff, Isaac

https://art.anoma.net/list#paper-14265827

10.5281/zenodo.14265827 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.14265826 )

Usage Stats: 160 views | 194 downloads

Abstract: Each anoma instance maintains a state machine, which ultimately implements the Resource Machine. This is the state of that state machine. This state limits what can be done in post-ordering execution.

Keywords: State Machine, Storage, Execution, Resource Machine

Download sources: record/14265827/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2024-anoma-state-architecture,
    author    = { Sheff, Isaac },
    title     = { {Anoma State Architecture} },
    journal   = { Anoma Research Topics },
    month     = { Dec },
    year      = { 2024 },
    publisher = { Zenodo },
    version   = { December 04, 2024 },
    doi       = { 10.5281/zenodo.14265827 },
    url       = { https://doi.org/10.5281/zenodo.14265826 }
}

Heterogeneous Paxos 2.0: the Specs
Latest update: December 04, 2024
Heterogeneous Paxos, distributed algorithm, consensus, Learner Graph

Heterogeneous Paxos 2.0: the Specs

Karbyshev, Aleksandr and Sheff, Isaac

https://art.anoma.net/list#paper-14276903

10.5281/zenodo.14276903 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.12572557 )

Usage Stats: 366 views | 323 downloads

Abstract: We present Heterogeneous Paxos 2.0 (HP2.0), an improved version of Heterogeneous Paxos consensus algorithm (HP). In a nutshell, HP2.0 simplifies the algorithm logic, reduces bandwidth usage, and enables a more efficient implementation. HP2.0 is compatible with HP's requirements and has...

Keywords: Heterogeneous Paxos, distributed algorithm, consensus, Learner Graph

Download sources: record/14276903/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2024-heterogeneous-paxos-20-specs,
    author    = { Karbyshev, Aleksandr and Sheff, Isaac },
    title     = { {Heterogeneous Paxos 2.0: the Specs} },
    journal   = { Anoma Research Topics },
    month     = { Dec },
    year      = { 2024 },
    publisher = { Zenodo },
    version   = { December 04, 2024 },
    doi       = { 10.5281/zenodo.14276903 },
    url       = { https://doi.org/10.5281/zenodo.12572557 }
}

Other versions:

Slow Games: Policy Enforcement under Uncertainty
Latest update: September 15, 2024
Mechanism Design, Distributed Systems, Coding Theory

Slow Games: Policy Enforcement under Uncertainty

Reusche, D and Goes, Christopher and Della Penna, Nicolas

https://art.anoma.net/list#paper-13765214

10.5281/zenodo.13765214 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.13765213 )

Usage Stats: 437 views | 344 downloads

Abstract: Motivated by decentralized permissionless protocols that are ultimately backed by social consensus, which can only perceive and act much slower than the service provisioning, we study what we term a Slow Game; a type of principal-agent problem, in which the...

Keywords: Mechanism Design, Distributed Systems, Coding Theory

Download sources: record/13765214/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2024-slow-games-policy-enforcement-under,
    author    = { Reusche, D and Goes, Christopher and Della Penna, Nicolas },
    title     = { {Slow Games: Policy Enforcement under Uncertainty} },
    journal   = { Anoma Research Topics },
    month     = { Sep },
    year      = { 2024 },
    publisher = { Zenodo },
    version   = { September 15, 2024 },
    doi       = { 10.5281/zenodo.13765214 },
    url       = { https://doi.org/10.5281/zenodo.13765213 }
}

Compiling Juvix to Cairo Assembly
Latest update: September 10, 2024
Cairo, Starknet, Anoma, Juvix, Compilers, Zero-knowledge Proofs, Functional programming

Compiling Juvix to Cairo Assembly

Czajka, Łukasz

https://art.anoma.net/list#paper-13739344

10.5281/zenodo.13739344 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.13739343 )

Usage Stats: 264 views | 206 downloads

Abstract: We describe a pipeline for compiling the functional programming language Juvix to the bytecode of the Cairo~VM, which enables zero-knowledge proofs of Juvix program execution. The read-only memory model of Cairo fits well with the purely functional nature of Juvix,...

Keywords: Cairo, Starknet, Anoma, Juvix, Compilers, Zero-knowledge Proofs, Functional programming

Download sources: record/13739344/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2024-compiling-juvix-cairo-assembly,
    author    = { Czajka, Łukasz },
    title     = { {Compiling Juvix to Cairo Assembly} },
    journal   = { Anoma Research Topics },
    month     = { Sep },
    year      = { 2024 },
    publisher = { Zenodo },
    version   = { September 10, 2024 },
    doi       = { 10.5281/zenodo.13739344 },
    url       = { https://doi.org/10.5281/zenodo.13739343 }
}

Comparing Two Hash Functions for Multi-Party Computation and Zero-Knowledge
Latest update: September 10, 2024
Hydra, Poseidon, MPC, ZKP

Comparing Two Hash Functions for Multi-Party Computation and Zero-Knowledge

YΔ±ldΔ±z, Burcu and Maller, Mary

https://art.anoma.net/list#paper-13739511

10.5281/zenodo.13739511 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.13739510 )

Usage Stats: 229 views | 222 downloads

Abstract: Cryptographic hash functions are a paramount building block in cryptography and are used for numerous applications. The hash function Poseidon is widely favored for zero-knowledge applications (e.g. FileCoin, Dusk Network, LoopRing), and has been tailor designed for this purpose. The...

Keywords: Hydra, Poseidon, MPC, ZKP

Download sources: record/13739511/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2024-comparing-two-hash-functions,
    author    = { YΔ±ldΔ±z, Burcu and Maller, Mary },
    title     = { {Comparing Two Hash Functions for Multi-Party Computation and Zero-Knowledge} },
    journal   = { Anoma Research Topics },
    month     = { Sep },
    year      = { 2024 },
    publisher = { Zenodo },
    version   = { September 10, 2024 },
    doi       = { 10.5281/zenodo.13739511 },
    url       = { https://doi.org/10.5281/zenodo.13739510 }
}

Intent-centric Applications for the Anoma Resource Machine
Latest update: August 26, 2024
Anoma Resource Machine, Resource Model, Anoma Applications

Intent-centric Applications for the Anoma Resource Machine

Heuer, Michael and Reusche, D

https://art.anoma.net/list#paper-13340448

10.5281/zenodo.13340448 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.13340447 )

Usage Stats: 297 views | 249 downloads

Abstract: Anoma introduces a universal intent machine, allowing developers to write applications in terms of intents, which can be ordered, solved, and settled anywhere. This work illustrates how intent-centric applications can be built using the Juvix language in Anoma’s resource model...

Keywords: Anoma Resource Machine, Resource Model, Anoma Applications

Download sources: record/13340448/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2024-intentcentric-applications-anoma,
    author    = { Heuer, Michael and Reusche, D },
    title     = { {Intent-centric Applications for the Anoma Resource Machine} },
    journal   = { Anoma Research Topics },
    month     = { Aug },
    year      = { 2024 },
    publisher = { Zenodo },
    version   = { August 26, 2024 },
    doi       = { 10.5281/zenodo.13340448 },
    url       = { https://doi.org/10.5281/zenodo.13340447 }
}

Heterogeneous Narwhal and Paxos
Latest update: June 27, 2024
heterogeneous protocols, typhon, interoperability, protocol integration, consensus, cross-chain, heterogeneous trust

Heterogeneous Narwhal and Paxos

Heindel, Tobias and Karbyshev, Aleksandr and Sheff, Isaac

https://art.anoma.net/list#paper-10498999

10.5281/zenodo.10498999 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.10498998 )

Usage Stats: 167 views | 135 downloads

Abstract: Blockchain interoperability often requires a mutually trusted layer (in the case of roll-ups or side-chains), or a third party (in the case of bridges). Heterogeneous Consensus protocols introduced the possibility for more direct, decentralized interoperability: chains can commit transactions together,...

Keywords: heterogeneous protocols, typhon, interoperability, protocol integration, consensus, cross-chain, heterogeneous trust

Download sources: record/10498999/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2024-heterogeneous-narwhal-paxos,
    author    = { Heindel, Tobias and Karbyshev, Aleksandr and Sheff, Isaac },
    title     = { {Heterogeneous Narwhal and Paxos} },
    journal   = { Anoma Research Topics },
    month     = { Jun },
    year      = { 2024 },
    publisher = { Zenodo },
    version   = { June 27, 2024 },
    doi       = { 10.5281/zenodo.10498999 },
    url       = { https://doi.org/10.5281/zenodo.10498998 }
}

Cross-Chain Integrity with Controller Labels and Endorsement
Latest update: June 25, 2024
controllers, distributed systems, network management, system architecture

Cross-Chain Integrity with Controller Labels and Endorsement

Isaac, Sheff

https://art.anoma.net/list#paper-10498997

10.5281/zenodo.10498997 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.10498996 )

Usage Stats: 892 views | 659 downloads

Abstract: In distributed systems, mutable digital objects typically require some state machine to decide on their definitive current state. This state machine can be replicated to enhance availability and fault tolerance. We call the authoritative state machine of a digital object...

Keywords: controllers, distributed systems, network management, system architecture

Download sources: record/10498997/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2024-crosschain-integrity-controller-labels,
    author    = { Isaac, Sheff },
    title     = { {Cross-Chain Integrity with Controller Labels and Endorsement} },
    journal   = { Anoma Research Topics },
    month     = { Jun },
    year      = { 2024 },
    publisher = { Zenodo },
    version   = { June 25, 2024 },
    doi       = { 10.5281/zenodo.10498997 },
    url       = { https://doi.org/10.5281/zenodo.10498996 }
}

Anoma Resource Machine Specification
Latest update: June 25, 2024
anoma, blockchain technology, protocol design, resource machine

Anoma Resource Machine Specification

Khalniyazova, Yulia and Goes, Christopher

https://art.anoma.net/list#paper-10689620

10.5281/zenodo.10689620 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.10498990 )

Usage Stats: 2206 views | 1346 downloads

Abstract: The article explores the Anoma Resource Machine (ARM) within the Anoma protocol, providing a comprehensive understanding of its role in facilitating state updates based on user preferences. Drawing parallels with the Ethereum Virtual Machine, the ARM introduces a flexible transaction...

Keywords: anoma, blockchain technology, protocol design, resource machine

Download sources: record/10689620/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2024-anoma-resource-machine-specification,
    author    = { Khalniyazova, Yulia and Goes, Christopher },
    title     = { {Anoma Resource Machine Specification} },
    journal   = { Anoma Research Topics },
    month     = { Jun },
    year      = { 2024 },
    publisher = { Zenodo },
    version   = { June 25, 2024 },
    doi       = { 10.5281/zenodo.10689620 },
    url       = { https://doi.org/10.5281/zenodo.10498990 }
}

Other versions:

Compiling to ZKVMs
Latest update: April 19, 2024
zero-knowledge proofs, zkVM, virtual machines, privacy-preserving computation

Compiling to ZKVMs

Centelles, Alberto

https://art.anoma.net/list#paper-10998758

10.5281/zenodo.10998758 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.10498994 )

Usage Stats: 352 views | 367 downloads

Abstract: With the advent of non-uniform folding schemes, the lookup singularity, generalised arithmetisations such as CCS and the application of towers of binary fields to SNARKs, many of the existing assumptions on SNARKs have been put into question, and the design...

Keywords: zero-knowledge proofs, zkVM, virtual machines, privacy-preserving computation

Download sources: record/10998758/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2024-compiling-zkvms,
    author    = { Centelles, Alberto },
    title     = { {Compiling to ZKVMs} },
    journal   = { Anoma Research Topics },
    month     = { Apr },
    year      = { 2024 },
    publisher = { Zenodo },
    version   = { April 19, 2024 },
    doi       = { 10.5281/zenodo.10998758 },
    url       = { https://doi.org/10.5281/zenodo.10498994 }
}

Other versions:

Intent Machines
Latest update: February 21, 2024
intent machine, user intentions, automation, machine learning

Intent Machines

Hart, Anthony and Reusche, D

https://art.anoma.net/list#paper-10654543

10.5281/zenodo.10654543 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.10498992 )

Usage Stats: 1496 views | 835 downloads

Abstract: This paper serves as an overview of the abstract mathematical structures that may be used to formalize intents and the machines that process them. We will give a hierarchy of progressively more specific structures with the goal of capturing the...

Keywords: intent machine, user intentions, automation, machine learning

Download sources: record/10654543/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2024-intent-machines,
    author    = { Hart, Anthony and Reusche, D },
    title     = { {Intent Machines} },
    journal   = { Anoma Research Topics },
    month     = { Feb },
    year      = { 2024 },
    publisher = { Zenodo },
    version   = { February 21, 2024 },
    doi       = { 10.5281/zenodo.10654543 },
    url       = { https://doi.org/10.5281/zenodo.10498992 }
}

Other versions:

VampIR Bestiary
Latest update: November 13, 2023
VAMP-IR, Intermediate Representations, Three-address code (3AC), Rank-1 Constraint System (R1CS), AirScript

VampIR Bestiary

Fitzgerald, Joshua and Centelles, Alberto

https://art.anoma.net/list#paper-10118865

10.5281/zenodo.10118865 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.10118864 )

Usage Stats: 192 views | 172 downloads

Abstract: This report delves into the comprehensive study of VAMP-IR Modules, detailing their transformations and comparisons. It explores specific aspects such as definitions, expressions, constraints, auxiliary data, and related algorithms. A thorough examination of IRs and their roles in Vamp-IR is...

Keywords: VAMP-IR, Intermediate Representations, Three-address code (3AC), Rank-1 Constraint System (R1CS), AirScript

Download sources: record/10118865/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2023-vampir-bestiary,
    author    = { Fitzgerald, Joshua and Centelles, Alberto },
    title     = { {VampIR Bestiary} },
    journal   = { Anoma Research Topics },
    month     = { Nov },
    year      = { 2023 },
    publisher = { Zenodo },
    version   = { November 13, 2023 },
    doi       = { 10.5281/zenodo.10118865 },
    url       = { https://doi.org/10.5281/zenodo.10118864 }
}

Constraint Satisfaction Problems: A Survey for Anoma
Latest update: October 18, 2023
Constraint Satisfaction, Intents, Formal Logic, Automated Reasoning, Surveys

Constraint Satisfaction Problems: A Survey for Anoma

Hart, Anthony

https://art.anoma.net/list#paper-10019113

10.5281/zenodo.10019113 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.10019112 )

Usage Stats: 615 views | 397 downloads

Abstract: This paper serves as a broad introduction to Constraint Satisfaction Problems (CSPs) tailored for professionals working on Anoma, a decentralized financial framework. Our primary aim is to build a robust intuition for CSPs, preparing the Anoma community for its application...

Keywords: Constraint Satisfaction, Intents, Formal Logic, Automated Reasoning, Surveys

Download sources: record/10019113/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2023-constraint-satisfaction-problems-survey,
    author    = { Hart, Anthony },
    title     = { {Constraint Satisfaction Problems: A Survey for Anoma} },
    journal   = { Anoma Research Topics },
    month     = { Oct },
    year      = { 2023 },
    publisher = { Zenodo },
    version   = { October 18, 2023 },
    doi       = { 10.5281/zenodo.10019113 },
    url       = { https://doi.org/10.5281/zenodo.10019112 }
}

Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving
Latest update: October 02, 2023
Collaborative SNARKs, Functional encryption, Homomorphic encryption, Intents, Multiparty computation, Searchable encryption, Private solving, Trusted execution environment, Witness encryption

Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving

Khalniyazova, Yulia

https://art.anoma.net/list#paper-8321167

10.5281/zenodo.8321167 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.8321166 )

Usage Stats: 1344 views | 625 downloads

Abstract: This report explores cryptographic strategies that could enhance privacy while solving intents in Anoma. We consider well-known solutions like trusted execution environment, multiparty computations and homomorphic encryption and more exotic primitives like functional encryption, witness encryption, searchable encryption and collaborative...

Keywords: Collaborative SNARKs, Functional encryption, Homomorphic encryption, Intents, Multiparty computation, Searchable encryption, Private solving, Trusted execution environment, Witness encryption

Download sources: record/8321167/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2023-exploring-cryptographic-approaches-enhance,
    author    = { Khalniyazova, Yulia },
    title     = { {Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving} },
    journal   = { Anoma Research Topics },
    month     = { Oct },
    year      = { 2023 },
    publisher = { Zenodo },
    version   = { October 02, 2023 },
    doi       = { 10.5281/zenodo.8321167 },
    url       = { https://doi.org/10.5281/zenodo.8321166 }
}

The Core language of Juvix
Latest update: August 29, 2023
Juvix, Functional programming, Compilers, Language specification, Lambda Calculus

The Core language of Juvix

Lukasz Czajka

https://art.anoma.net/list#paper-8268850

10.5281/zenodo.8268850 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.8268849 )

Usage Stats: 501 views | 393 downloads

Abstract: We describe JuvixCore -- a minimalistic intermediate functional language to which Juvix desugars. We specify precisely and abstractly JuvixCore syntax, evaluation semantics, and the current optional type system. We comment on the relationship between this specification and the actual implementation....

Keywords: Juvix, Functional programming, Compilers, Language specification, Lambda Calculus

Download sources: record/8268850/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2023-core-language-juvix,
    author    = { Lukasz Czajka },
    title     = { {The Core language of Juvix} },
    journal   = { Anoma Research Topics },
    month     = { Aug },
    year      = { 2023 },
    publisher = { Zenodo },
    version   = { August 29, 2023 },
    doi       = { 10.5281/zenodo.8268850 },
    url       = { https://doi.org/10.5281/zenodo.8268849 }
}

Other versions:

Rethinking VampIR
Latest update: August 29, 2023
VampIR, Arithmetic Circuits, Compilers, Proposals

Rethinking VampIR

Anthony Hart

https://art.anoma.net/list#paper-8262815

10.5281/zenodo.8262815 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.8262814 )

Usage Stats: 227 views | 143 downloads

Abstract: This paper provides an overview of VampIR v0.1.3 and outlines potential modifications for future versions. Specifically, it contains proposals for streamlined versions of the fresh function and constraint generation, a proposal for removing the type system, and a short proposal...

Keywords: VampIR, Arithmetic Circuits, Compilers, Proposals

Download sources: record/8262815/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2023-rethinking-vampir,
    author    = { Anthony Hart },
    title     = { {Rethinking VampIR} },
    journal   = { Anoma Research Topics },
    month     = { Aug },
    year      = { 2023 },
    publisher = { Zenodo },
    version   = { August 29, 2023 },
    doi       = { 10.5281/zenodo.8262815 },
    url       = { https://doi.org/10.5281/zenodo.8262814 }
}

Anoma: a unified architecture for full-stack decentralised applications
Latest update: August 24, 2023
Anoma, Intent-Centricity and Homogeneous Architecture, Full-Stack Decentralised Applications, Counterparty Discovery, Programmable Settlement Architectures

Anoma: a unified architecture for full-stack decentralised applications

Christopher Goes and Awa Sun Yin and Adrian Brink

https://art.anoma.net/list#paper-8279842

10.5281/zenodo.8279842 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.8279841 )

Usage Stats: 489 views | 394 downloads

Abstract: Programmable settlement architectures do not enable counterparty discovery and solving, both of which are necessary to build the majority of interactive multi-party applications. The architectural constraints of programmable settlement result in contemporary application protocols that have at least one Web2...

Keywords: Anoma, Intent-Centricity and Homogeneous Architecture, Full-Stack Decentralised Applications, Counterparty Discovery, Programmable Settlement Architectures

Download sources: record/8279842/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2023-anoma-unified-architecture,
    author    = { Christopher Goes and Awa Sun Yin and Adrian Brink },
    title     = { {Anoma: a unified architecture for full-stack decentralised applications} },
    journal   = { Anoma Research Topics },
    month     = { Aug },
    year      = { 2023 },
    publisher = { Zenodo },
    version   = { August 24, 2023 },
    doi       = { 10.5281/zenodo.8279842 },
    url       = { https://doi.org/10.5281/zenodo.8279841 }
}

Geb Pipeline
Latest update: August 21, 2023
Geb, Juvix, VampIR, compilers, category theory, semantics of PL, Lambda calculus, Arithmetic circuits

Geb Pipeline

Artem Gureev and Jonathan Prieto-Cubides

https://art.anoma.net/list#paper-8262747

10.5281/zenodo.8262747 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.8262746 )

Usage Stats: 531 views | 392 downloads

Abstract: At Heliax, we are developing a compiler stack to facilitate the creation of decentralized applications using high-level functional programming languages. This stack comprises a series of compilers that begin with Juvix and culminate in arithmetic circuits, represented via VampIR, an...

Keywords: Geb, Juvix, VampIR, compilers, category theory, semantics of PL, Lambda calculus, Arithmetic circuits

Download sources: record/8262747/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2023-geb-pipeline,
    author    = { Artem Gureev and Jonathan Prieto-Cubides },
    title     = { {Geb Pipeline} },
    journal   = { Anoma Research Topics },
    month     = { Aug },
    year      = { 2023 },
    publisher = { Zenodo },
    version   = { August 21, 2023 },
    doi       = { 10.5281/zenodo.8262747 },
    url       = { https://doi.org/10.5281/zenodo.8262746 }
}

Juvix to VampIR Pipeline
Latest update: August 14, 2023
juvix, vamp-ir, geb, compilation, normalisation, arithmetic circuits

Juvix to VampIR Pipeline

Lukasz Czajka

https://art.anoma.net/list#paper-8252903

10.5281/zenodo.8252903 (use this DOI to cite this version) (for all versions: 10.5281/zenodo.8246535 )

Usage Stats: 546 views | 488 downloads

Abstract: This report explores two alternatives to Geb for Juvix-to-VampIR compilation. The first alternative is a straightforward approach based on full normalisation, which may be implemented relatively quickly and used as a comparison baseline for all other approaches. The second alternative...

Keywords: juvix, vamp-ir, geb, compilation, normalisation, arithmetic circuits

Download sources: record/8252903/files-archive.zip

Share: LinkedIn | By email

BiBTeX: View on BibTeX page 

@article{ art-2023-juvix-vampir-pipeline,
    author    = { Lukasz Czajka },
    title     = { {Juvix to VampIR Pipeline} },
    journal   = { Anoma Research Topics },
    month     = { Aug },
    year      = { 2023 },
    publisher = { Zenodo },
    version   = { August 14, 2023 },
    doi       = { 10.5281/zenodo.8252903 },
    url       = { https://doi.org/10.5281/zenodo.8246535 }
}

Other versions: