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

148 stars
17 watching
29 forks
Language: C++
last commit: 11 months 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,838
scipr-lab/dizk A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. 234
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,828
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 185
coder5876/libsnark-tutorial A tutorial and example code project for creating zk-SNARKs using the libsnark software library 190
zigrazor/cxxgraph A comprehensive C++ library for graph algorithms and data structures 471
argumentcomputer/lurk-beta A statically scoped Lisp-like language for proving computational claims using zk-SNARKs with an elliptic curve backend. 434
o1-labs/o1js An evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript. 525
iden3/wasmsnark A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols 210
iden3/snarkjs A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations 1,790
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. 188