sppark
GPU-accelerated proof generator
A high-performance library for accelerating zero-knowledge proof generation operations on GPUs
Zero-knowledge template library
188 stars
14 watching
66 forks
Language: Cuda
last commit: about 1 month ago bls12-377bls12-381cudanttpasta-curvesrocmzero-knowledgezero-knowledge-proofszk-snarkszk-starks
Related projects:
| Repository | Description | Stars |
|---|---|---|
 scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 237 |
| scipr-lab/libsnark | A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge. | 1,846 |
 baro77/zkbasicscs | A concise introduction to Zero-Knowledge Proofs basics | 119 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 707 |
 sdiehl/bulletproofs | A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values. | 534 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
| scipr-lab/libiop | A C++ library for transforming probabilistic proofs into transparent and post-quantum zkSNARKs using IOPs. | 150 |
 matter-labs-archive/snarkygpu | A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. | 23 |
 uwplse/structtact | A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants. | 21 |
 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 |
 provablehq/sdk | A toolkit for building and executing zero-knowledge transactions in web applications. | 593 |
 stanford-ppl/spatial | A toolset for designing and implementing reconfigurable hardware acceleration using high-level abstraction | 274 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 304 |
 succinctlabs/sp1-reth | A proof-of-concept that demonstrates how to build a performant zkEVM using SP1 in Rust | 126 |