Implementation of PLUME: nullifier friendly signature scheme on ECDSA

Fast and fully open source from a16z crypto modified by NovaNet for zkML precompiles. ⚡

write my own example of using the MLEcomponent to run a prover using logup-gkr

A Folding Scheme to compress Sumcheck instances

Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)

Implementation of Web3sum in Plonky3 in Twisted Edward Coordinates

Smarter Bitcoin Contracts

Cosmos PoC of the Hylé node - a sequencing and settlement layer to help you build provable apps that are minimally, yet sufficiently, onchain.

Cryptography Educational Foundations

Experimental folding schemes library

A STARK prover and verifier for arbitrary computations

Nova: High-speed recursive arguments from folding schemes

Nova: Recursive SNARKs without trusted setup

Source code for "Building Cryptographic Proofs from Hash Functions"

Spartan on Arkworks

A toolkit for polynomial IOPs (PIOPs)

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

Spartan on Arkworks

Spartan: High-speed zkSNARKs without trusted setup

linear-time sumcheck protocol for multilinear polynomials and related addends

A Rust Implementation of the PLONK ZKP System and Extensions

Nova: Recursive SNARKs without trusted setup

High-speed zkSNARKs

The official repository hosting the ZKProof Community Reference & Proposals documents.

Nova: Recursive SNARKs without trusted setup

Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNARK.

The lookup singularity. Based on Spartan; built on Arkworks.