Welcome to ART¶
Anoma Research Topics (ART) is an open-access, peer-reviewed index of research and development focused on distributed systems, cryptography, compilers, and Anoma related topics. It is community-driven and primarily features contributions from Anoma researchers, but external submissions are more than welcome.
-
Recent ARTs (Updated: 2026-07-17 03:05:30)
Consistent histories: enforcing linearity and excluding double-spending amongst collaborating controllers
Consistent history, Controllers, Distributed Systems, Decentralised Computation
Consistent Histories in Lean 4
lean4, formalization
Modal Logic for Declarative Distributed Algorithms in Lean 4
lean4, Modal Logic, Declarative Distributed Algorithms
Intents, Intent Machines, Decentralized Finance, Coalgebra, Formalization, Smart Contracts, Automated System Design, Barter Systems