libiop
by scipr-lab
C++ library for IOP-based zkSNARKs
AI summary
ZkSNARK library
A C++ library for transforming probabilistic proofs into transparent and post-quantum zkSNARKs using IOPs.
- stars
- 150
- forks
- 29
- watching
- 17
Similar projects
Found by comparing what the projects do, not just their names.
Computational proof system
A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge.
Zero-knowledge proof system
A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic.
zkSNARK prover
A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications.
zk-prover
A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications.
zk proof library
Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain
ZKP experiments
Learning and experimenting with Zero Knowledge Proof technologies using Solidity and frameworks like ZoKrates and Circom.
GPU-accelerated proof generator
A high-performance library for accelerating zero-knowledge proof generation operations on GPUs
zk-SNARK library
A tutorial and example code project for creating zk-SNARKs using the libsnark software library
Graph algorithm library
A comprehensive C++ library for graph algorithms and analysis
o1-labs/o1js540
Zk framework library
An evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript.
Zero-knowledge proof generator
A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols
iden3/snarkjs1.8K
Zero-knowledge computation library
A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations
ZKP repository
An online knowledge base for Zero-Knowledge Proof (ZKP) technologies and applications
ZKP DSL
A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance.
