libsnark
Computational proof system
A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge.
C++ library for zkSNARKs
2k stars
88 watching
585 forks
Language: C++
last commit: 9 months ago
Linked from 3 awesome lists
chaozh/awesome-blockchain-cn
matter-labs/awesome-zero-knowledge-proofs
ventali/awesome-zkRelated projects:
| Repository | Description | Stars |
|---|---|---|
| scipr-lab/libiop | A C++ library for transforming probabilistic proofs into transparent and post-quantum zkSNARKs using IOPs. | 148 |
| scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 234 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
 matter-labs-archive/snarkygpu | A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. | 23 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 694 |
 coder5876/libsnark-tutorial | A tutorial and example code project for creating zk-SNARKs using the libsnark software library | 190 |
 argumentcomputer/lurk-beta | A statically scoped Lisp-like language for proving computational claims using zk-SNARKs with an elliptic curve backend. | 434 |
 iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,790 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,828 |
 supranational/sppark | A high-performance library for accelerating zero-knowledge proof generation operations on GPUs | 185 |
 lucasgleba/zkriscv | A RISC-V CPU emulator implemented as a zero-knowledge verification system to prove program execution correctness | 47 |
| iden3/wasmsnark | A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols | 210 |
 nalinbhardwaj/zordle | A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves. | 215 |
 elibensasson/libstark | A C++ library implementing scalable and transparent argument of knowledge systems | 507 |
 fluidex/plonkit | Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system | 158 |