powersoftau

Zk-SNARK generator

A multi-party computation protocol for generating secure parameters using zk-SNARKs

Communal zk-SNARK MPC for Public Parameters

GitHub

140 stars
7 watching
60 forks
Language: Rust
last commit: over 3 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
zokrates/zokrates Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain 1,828
luozhuzhang/zkps-circuit-snark A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. 61
meilof/geppetri An implementation of a Pinocchio-based adaptive zk-SNARK system for distributed computation 16
argumentcomputer/lurk-beta A statically scoped Lisp-like language for proving computational claims using zk-SNARKs with an elliptic curve backend. 434
matter-labs-archive/snarkygpu A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. 23
zkcrypto/bellman A crate for building and implementing zk-SNARK circuits 1,023
consensys/gnark A fast zk-SNARK library with a high-level API to design circuits. 1,435
iden3/snarkjs A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations 1,790
tamucrypto/zkcnn An implementation of a GKR-based snark for CNN model inference, providing a zero-knowledge proof protocol for neural network computations. 70
ddkang/zkml A framework for constructing proofs of ML model execution in ZK-SNARKs 345
coder5876/libsnark-tutorial A tutorial and example code project for creating zk-SNARKs using the libsnark software library 190
zkonduit/ezkl An engine for doing inference on deep learning models and computational graphs in a ZKML proof system 946
o1-labs/o1js An evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript. 525
iden3/wasmsnark A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols 210
succinctlabs/succinctx A collaborative project that provides tools and libraries for building Zero-Knowledge applications using Rust. 134