dcbuild3r

difftastic

a structural diff that understands syntax 🟥🟩

just

🤖 Just a command runner

rye

a Hassle-Free Python Experience

exo

Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚

brontes

A blazingly fast general purpose blockchain analytics engine specialized in systematic mev detection

heir

A compiler for homomorphic encryption

plonkathon

educational python plonk implementation, based on vitalik's py_plonk

sonobe

Experimental folding schemes library

zk-attestor

AndroidPassportReader

Android application to read passports with MRZ

ethereum_rust

Lambda Ethereum Rust Execution client

p0tion

The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies

grug

Grug

obsidian-setup

The best resource you will ever find for getting started with Obsidian, probably

collaborative-circom

Tooling for creating collaborative SNARKs for Circom circuits.

lcpc

polynomial commitments from linear codes

montgomery

Fast implementation of multi-scalar multiplication in WebAssembly

upa

UPA is the proof aggregation engine built by NEBRA team.

aes-proof

WIP: circom AES-GCM circuits

0xparc-intro-book

Introductory lecture notes on programmable cryptography

noir-react-native-starter

A simple template to generate ZK proofs with Noir on mobile using React Native

delegated-spartan

Mobile delegated R1CS proving using SpartanNIZK

wld-merkle-tree-explorer

A Worldcoin explorer that visualizes the Merkle Tree from the Merkle root that is committed to the Ethereum blockchain.

solana-world-id-program

worldcoin-aggregation

Batch WorldID proof verification with Axiom

atlas

Worldcoin Merkle Tree Explorer

noir_android

Picus

Automated verification of uniqueness property for ZKP circuits

ark-zkey

solana-world-id-onchain-template

Like https://github.com/worldcoin/world-id-onchain-template/ but for Solana