-
ZEN - Zero-knowledge proofs for neural network computations
[GitHub]
[Paper]
-
zkPyTorch - A Hierarchical Optimized Compiler for Zero-Knowledge Machine Learning
[Paper]
-
VeriZexe - Functional privacy for smart contracts
[GitHub]
[Paper]
-
Verifiable Random Functions - from Lattices
[GitHub]
[Paper]
and from Hash Functions
[Paper]
-
BLS Signature - Standard and Reference implementation of BLS signatures (Eth 2.0 is not possible without BLS)
[GitHub]
[Crate.io]
[Draft]
-
Pasta Curves - Solidity implementation of Pasta curves
[GitHub]
-
Falcon Signature - NIST PQC Standard
[Website]
-
Ceno - Parallel zkVMs from GKR (Journal of Cryptology)
[GitHub]
[Paper]
-
ArkSpartan - Spartan Prove System for Arkworks framework; backend
for A16Z's Jolt zkVM and Nexus zkVM v1.
[GitHub]