Circom interpreter to arithmetic circuit description

Common cryptographic library used in software at Mysten Labs.

Mold: A Modern Linker 🦠

very currency

Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust

Automation tooling for kamigotchi, ❤︎ an onchain universe by Asphodel

Making learning sh*t less annoying

Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.

Circuits for Pluto's `web-prover`

A Git-compatible VCS that is both simple and powerful

prototype circom fold with arecibo

🏝️

A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.

A comprehensive statistical library for the Noir programming language.

A curated list of awesome things related to learning and programming in Noir.

Noir Circuits for AES-GCM

An arkworks implementation of the superspartan PIOP

Things that have improved my quality of life

a reference on testing and constraining circom

An advanced fork of Nova (contact:@huitseeker)

Experimental folding schemes library

✨ Magical shell history

zkSnark circuit compiler

Framework for holistic economic modelling and simulation of Uniswap v4 strategies, hooks and pools.