anoma

Reference implementation of Anoma

A high-level functional language for creating dApps on Anoma/Ethereum, with WASM and VampIR-to-arithmetic-circuits compilation support

A framework for generalized shielded state transitions

Formalization of Typhon protocol

Specifications for the Anoma protocols.

A generalized fully trustless Ethereum bridge for sovereign chains.