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
Distributed SystemsTyphon'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.
Distributed SystemsThis is not the SUAVE you are looking forIn our follow-up to intent-based protocols pt.1 we examine SUAVE - a marketplace for MEV mechanisms.
Distributed SystemsA brief introduction to Anoma's P2P layerThis blog introduces Anoma's P2P overlay architecture, which aims to accommodate node heterogeneity while retaining the benefits of current overlays through the concept of sovereign domains.
Distributed SystemsTowards an intent-centric topologyInformation flow control, "intentpools", universality, and the end of supply-side blockchain economics.
Distributed SystemsAbstract Intent MachinesAs part of our ongoing research into intents, we've formulated what we believe to be a minimal framework for describing intent processing. In this post, we introduce the concept of an "intent machine", entities capable of processing user intents and transforming system state accordingly.
Distributed SystemsRise of the Resource MachinesThe Anoma Resource Machine (ARM) is the part of the Anoma protocol that defines and enforces the rules for valid state updates that satisfy users' preferences. The role of the ARM in the Anoma protocol is similar to the role of the EVM in the Ethereum protocol.
Distributed SystemsFormalizing Concurrent Programs; The GeneralitiesIn this post, I want to describe the general idea of formalizing concurrent programs, some different approaches, and some connections to more abstract mathematics.
