anoma

A language for intent-centric and declarative decentralised applications

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits

Evaluating & benchmarking ZKP compilation strategies.

An implementation of a DKG protocol for front-running protection on Anoma.

A protocol adapter contract enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.

Formalization of Typhon protocol

Anoma application examples

Anoma Abstract Resource Machine Implementation using RISC Zero zkVM

A book which can act as an introduction and documentation for VampIR

Anoma Spec

Juvix Lean library for compiler run verification

The Anoma token contract written in Solidity