Testnet configurations and coordination for the Namada network.

Early-stage research related to the Anoma protocols.

Proof system with plonkup back-end proving arguments

A generalized fully trustless Ethereum bridge for sovereign chains.

The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.

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

Formalization of Typhon protocol

A framework for generalized shielded state transitions

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

A language for intent-centric and declarative decentralised applications

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

Reference implementation of the Anoma protocols in Rust.