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

GitHub

2k stars
31 watching
428 forks
Language: JavaScript
last commit: about 1 month ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
iden3/wasmsnark A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols 211
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,836
microsoft/spartan A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support 707
scipr-lab/dizk A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. 237
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. 540
consensys/gnark A fast zk-SNARK library with a high-level API to design circuits. 1,459
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,846
sdiehl/bulletproofs A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values. 534
iden3/circom A compiler for defining arithmetic circuits used in zero-knowledge proofs 1,366
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. 73