Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758

Zero-Knowledge Cryptography Infrastructure Stack

A Symbolic Execution Tool for Cairo

Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf

A toy interpreter - hobby project related to delving more into mechanics of language and compiler design.

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

Riemann Hypothesis in Lean

Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

Configurable Asset Privacy

A lightweight GraphQL server for querying Celestia messages

Precise Attack Synthesis for DeFi Apps

A curated list of awesome ZK resources, libraries, tools and more.

StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incentive parameters for Liquidations 2.0.

A pure Rust PLONK implementation using arkworks as a backend.

Multy-party threshold ECDSA (GG20) Substrate node

Cross chain shielded pool infrastructure / protocols.

Webb protocol implementation in Substrate.

Webb Core Rust SDK

Decentralised Voting Scheme

Collect libraries and packages about cryptography in Rust.

The main repo for manta blockchain nodes.

Implementations of popular elliptic curves

Libraries for finite field, elliptic curve, and polynomial arithmetic

Noir is a domain specific language for zero knowledge proofs

Zerocaf: A library built for EC operations in Zero Knowledge.