libiop

ZkSNARK library

A C++ library for transforming probabilistic proofs into transparent and post-quantum zkSNARKs using IOPs.

C++ library for IOP-based zkSNARKs

GitHub

150 stars
17 watching
29 forks
Language: C++
last commit: over 2 years ago

Related projects:

RepositoryDescriptionStars
scipr-lab/libsnarkA C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge.1,846
scipr-lab/dizkA Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic.237
matter-labs-archive/snarkygpuA GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications.23
luozhuzhang/zkps-circuit-snarkA zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications.61
zokrates/zokratesToolbox for implementing and deploying zkSNARKs on the Ethereum blockchain1,836
jofarnold/zkp-learning-in-publicLearning and experimenting with Zero Knowledge Proof technologies using Solidity and frameworks like ZoKrates and Circom.67
supranational/spparkA high-performance library for accelerating zero-knowledge proof generation operations on GPUs188
coder5876/libsnark-tutorialA tutorial and example code project for creating zk-SNARKs using the libsnark software library191
zigrazor/cxxgraphA comprehensive C++ library for graph algorithms and analysis485
o1-labs/o1jsAn evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript.540
iden3/wasmsnarkA Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols211
iden3/snarkjsA JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations1,801
delendum-xyz/zk-knowledgeAn online knowledge base for Zero-Knowledge Proof (ZKP) technologies and applications117
privacy-scaling-explorations/chiquitoA high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance.189