snark topic
eigen-secret
Confidential Transaction with Collaborative Traceability, zk-zkRollup
dpc
A library for decentralized private computation
pcd
Implementations of proof-carrying data
zk-starter
zero knowledge for those with zero knowledge
jolt
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡
stark-snark-recursive-proofs
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
zk-Harness
Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
Kogarashi
凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
ivls
Implementation of incrementally verifiable ledger system
go-R1CS-Compiler
A compiler to turn GO code into a zkSNARK