ZEN

Zero-knowledge proofs for neural network computations

Ceno

Parallel zkVMs from GKR

Sumcheck Builder Group

Advancing Zero-Knowledge Proofs and Sum-Check Protocols

Expander

Open-source GKR prover for large-scale parallel computing

Poseidon Hash Circuit

VeriZexe

Functional privacy for smart contracts

HyperPlonk

Plonk with Linear-Time Prover and High-Degree Custom Gates

Jellyfish

Fast PLONK implementation with comprehensive features

ArkSpartan

Spartan Prove System for Arkworks framework

Squirrel

Efficient Synchronized Multi-signatures from Lattices

Chipmunk

Better Synchronized Multi-signatures from Lattices

Lattice-based VRF

Verifiable Random Functions from Lattices

Hash-based VRF

Verifiable Random Functions from Hash Functions

Raptor Signature

Post-quantum Authentication Scheme

CS for Falcon Signature

Implementations in Rust and R1CS

Manta

Privacy Preserving Decentralized Exchange

Pointproofs

Efficient vector commitment scheme

BLS Signature

Standard and Reference implementation of BLS signatures

Pixel Signature

Digital signatures for blockchains

Pasta Curves

Solidity implementation of Pasta curves

Bandersnatch

Fast elliptic curve over BLS12-381 scalar field

Falcon Signature

NTRU

3rd Round Finalist

Round5 KEM/PKE

2nd Round Candidate

LAC

2nd Round Candidate

pqNTRUSign

1st Round Candidate