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.

Grokking on modular arithmetic in less than 150 epochs in MLX

Circuits for parsing, locking, and extracting from various widely-used formats including JSON and HTTP.

The Pluto Organization

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Trust Infrastructure, Programmable Cryptography and Advanced Decentralisation Technology.

The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑‍🔬

Generate privacy-preserving ID proofs

A static analyzer and linter for the Circom zero-knowledge DSL

A lightweight window border system for macOS