sppark
Zero-knowledge template library
AI summary
GPU-accelerated proof generator
A high-performance library for accelerating zero-knowledge proof generation operations on GPUs
- stars
- 188
- forks
- 66
- watching
- 14
Similar projects
Found by comparing what the projects do, not just their names.
Zero-knowledge proof system
A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic.
Computational proof system
A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge.
Zero-knowledge proof primer
A concise introduction to Zero-Knowledge Proofs basics
Zero-Knowledge Proof System
A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support
Zero-knowledge proof library
A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values.
zk-prover
A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications.
ZkSNARK library
A C++ library for transforming probabilistic proofs into transparent and post-quantum zkSNARKs using IOPs.
zkSNARK prover
A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications.
Proof assistant library
A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants.
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
ZK SDK
A toolkit for building and executing zero-knowledge transactions in web applications.
Hardware accelerator framework
A toolset for designing and implementing reconfigurable hardware acceleration using high-level abstraction
Compiler
Compiles high-level programming languages into input for provable computations protocols.
zkEVM project
A proof-of-concept that demonstrates how to build a performant zkEVM using SP1 in Rust