An Introduction to Intents and Intent-centric ArchitecturesAll applications have one primitive in common: the intent. Decentralized intent-completion mechanisms are application-specific and no one has yet proposed one that is generalized and able of completing any intent.
Typhon's Chimera ChainsChimera Chains generalize shared sequencers. They use a consensus based on Heterogeneous Paxos to simplify cross-blockchain atomic transactions for chains with overlapping trust models.
Zexe vs. VeriZexe vs. TaigaThe goal of this article is to understand the main architectural differences between Taiga and prior work such as Zexe and Verizexe, and the realm of posibilites, solutions and challenges that this new paradigm brings.
Intents Aren't RealIn this report, you will find a summary of the speaker presentations from Intents Day 0 along with some memes.
Anoma is putting Graphs back into CryptoIn this article, we will explain CoFi including MTCS & Circles, describe what an application on Anoma could look like, and illustrate how CoFi and Anoma form a beautiful paring.
CommunityAnoma and Namada at ETHPrague 2023: Join UsThe team behind Namada and Anoma will be attending and speaking at ETHPrague 2023, an Ethereum-focused event taking place in Prague, Czech Republic, from June 8-11.
EcosystemThe Anoma Foundation Announces the 3rd Fundraise for AnomaAnoma is the first ever intent-centric architecture, introducing a new paradigm for building infrastructure layers and a new operating system for decentralized applications. The Anoma Foundation is thrilled to announce the completion of the 3rd round for Anoma – raising a total of USD 25M.
CryptographyA Vamp-IR's Guide to Arithmetic Circuits (and Perfectly Boiled Eggs)A primer on the concept of arithmetic circuits. We will take a look at what arithmetic circuits are, what they are used for, what tools are there for working with them, including the tools we develop here at Anoma, and what we can do with the circuits using these tools.
CryptographyHash Functions in PlonkupA quick overview of the proving system and show how to write a circuit that computes a small part of a common hash function that benefits greatly from the inclusion of lookups alongside arithmetic gates.
Distributed SystemsHeterogeneous Paxos and Multi-Chain Atomic CommitsHeterogeneous Paxos exploits the high intersection between validator sets of different blockchain to create a heterogeneous consensus protocol for atomic multi-chain transactions & extends the capabilities of IBC to allow for arbitrary communication between chains within an atomic transaction
CryptographyFerveo Cryptography OverviewFerveo includes a custom-designed distributed key generator & custom-designed threshold decryption scheme intended to meet the performance & security requirements of the underlying consensus mechanism.
CryptographyDemystifying recursive zero-knowledge proofsRecursive zero-knowledge proofs are new cryptographic primitives relevant to the Anoma blockchain use case. In this article, we investigate the possible alternatives for verifying blockchain circuits efficiently. Our main interest is in estimating the efficiency of pairing-based constructions.
CryptographyDemystifying ZEXEZEXE is a ledger-based system that allows for the running of multiple applications atop the same ledger in a way that transactions reveal no information about the particular computations which are performed.
SecuritySide-channel analysis for distributed ledgersIntroducing side-channel analysis/attacks (SCA) and counter-measures and to provide directions that can help security assessments take them into consideration. Side-channels are relevant to cryptographic implementations, and as such they introduce a class of attack vectors in the blockchain context.
CryptographyDemystifying HybridDKG - A Distributed Key Generation SchemeHybridDKG is one of the latest distributed key generation schemes and can operate in an asynchronous environment, making it the most viable DKG scheme to use over the internet.
CryptographyDemystifying Aggregatable Distributed Key GenerationA novel component of Anoma is a Distributed Key Generation (DKG) scheme. George Gkitsas describes the concepts in DKG, starting with simple constructions, building up to the aggregatable DKG.