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 functional programming language with static memory management

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

A generalized fully trustless Ethereum bridge for sovereign chains.

A common lisp DSL for writing zero knowledge circuits

A framework for generalized shielded state transitions