snarkjs
Zero-knowledge computation library
A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations
zkSNARK implementation in JavaScript & WASM
2k stars
31 watching
424 forks
Language: JavaScript
last commit: 27 days ago
Linked from 1 awesome list
ventali/awesome-zkRelated projects:
| Repository | Description | Stars |
|---|---|---|
| iden3/wasmsnark | A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols | 210 |
 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 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 694 |
 scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 234 |
| iden3/circom_old | A compiler for a specific circuit language used in zkSNARKs proofs | 473 |
 o1-labs/o1js | An evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript. | 525 |
 consensys/gnark | A fast zk-SNARK library with a high-level API to design circuits. | 1,435 |
 matter-labs-archive/snarkygpu | A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. | 23 |
| scipr-lab/libsnark | A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge. | 1,838 |
 sdiehl/bulletproofs | A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values. | 535 |
 argumentcomputer/lurk-beta | A statically scoped Lisp-like language for proving computational claims using zk-SNARKs with an elliptic curve backend. | 434 |
| iden3/circom | A compiler for defining arithmetic circuits used in zero-knowledge proofs | 1,339 |
 provablehq/sdk | A toolkit for building and executing zero-knowledge transactions in web applications. | 593 |
 tamucrypto/zkcnn | An implementation of a GKR-based snark for CNN model inference, providing a zero-knowledge proof protocol for neural network computations. | 70 |