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: about 1 year ago

Related projects:

Repository Description Stars
scipr-lab/libsnark A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge. 1,846
scipr-lab/dizk A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. 237
matter-labs-archive/snarkygpu A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. 23
luozhuzhang/zkps-circuit-snark A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. 61
zokrates/zokrates Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain 1,836
jofarnold/zkp-learning-in-public Learning and experimenting with Zero Knowledge Proof technologies using Solidity and frameworks like ZoKrates and Circom. 67
supranational/sppark A high-performance library for accelerating zero-knowledge proof generation operations on GPUs 188
coder5876/libsnark-tutorial A tutorial and example code project for creating zk-SNARKs using the libsnark software library 191
zigrazor/cxxgraph A comprehensive C++ library for graph algorithms and analysis 485
o1-labs/o1js An evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript. 540
iden3/wasmsnark A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols 211
iden3/snarkjs A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations 1,801
delendum-xyz/zk-knowledge An online knowledge base for Zero-Knowledge Proof (ZKP) technologies and applications 117
privacy-scaling-explorations/chiquito A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance. 189