Basic Groth16 SnarkJS verifier compatible with SP1.

Starky implementation of Bls12-381

Vectorized AVX-512 256-bit arithmetic library

Experimental implementation of Sumcheck protocol using CUDA

An arkworks implementation of the superspartan PIOP

Frobenius sumcheck for vectorized boolean ops

Experimental folding schemes library

Zuzalu Passport

Polymath: Groth16 Is Not The Limit

A fancy diagnostics & error reporting crate

Tooling for creating collaborative SNARKs for Circom circuits.

ZMK Config files for my own shield design

Terminal file manager

🎧 Open source Spotify client that doesn't require Premium nor uses Electron! Available for both desktop & mobile!

Terminal chat through the LAN with video streaming and file transfer.

Easy heterogeneous ring signatures for Git (and Github): prove membership among groups of users without revealing your identity.

governance with trusted anons

Implementation of a Proof-Carrying-Header for bitcoin using Nova IVC

Using folding schemes for a provable bitcoin light client

Source code for "Building Cryptographic Proofs from Hash Functions"

Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

auxiliary witness for pairing paper

A simple local TOTP console application.