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

A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.

Anoma Abstract Resource Machine Implementation using RISC Zero zkVM

Agda is a dependently typed programming language / interactive theorem prover.

A Categorical View of Computation

A lattice-based non-interactive folding scheme written in Rust

Reference implementation of Anoma

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

A language for intent-centric and declarative decentralised applications

Cairo compiler plugin extending language with annotations

Horus, a formal verification tool for StarkNet smart contracts.