Stars
A protocol adapter contract written in Solidity enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.
A proof assistant for higher-dimensional type theory
Namada indexer to be used in conjunction with the namada interface
Rust checked arithmetic without the visual clutter
Comprehensive guide to writing blogposts for the anoma blog.
Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation
A curated list of mechanism design resources and links.
Implementation of Valiant's universal circuit construction optimized for private function evaluation
A programming language for the decentralized web
Evaluating & benchmarking ZKP compilation strategies.
A compiler for fully homomorphic encryption and zero knowledge proofs
A programming language with static memory management based on λ-calculus
Interpret Haskell programs into any cartesian closed category.