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

A library for testing Anoma applications

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.

Modular blockchain research

Repository for research on Suave.

Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation

Juvix compiler stack - Integration demo

A curated list of mechanism design resources and links.

Implementation of Valiant's universal circuit construction optimized for private function evaluation

Threshold ECDSA via Triples

A sparse bit set Rust crate

A programming language for the decentralized web

High-performance PoS Blockchain in Rust

Evaluating & benchmarking ZKP compilation strategies.

A Categorical View of Computation

An efficient, secure cryptocomputer

A compiler for fully homomorphic encryption and zero knowledge proofs

A programming language with static memory management based on λ-calculus

A tool for glamorous shell scripts 🎀

Interpret Haskell programs into any cartesian closed category.

Namada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers