gnark
SNARK library
A fast zk-SNARK library with a high-level API to design circuits.
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
1k stars
33 watching
370 forks
Language: Go
last commit: 8 days ago
Linked from 2 awesome lists
gnarkgolangr1cszk-snarkszkpzksnark
matter-labs/awesome-zero-knowledge-proofs
ventali/awesome-zkRelated projects:
| Repository | Description | Stars |
|---|---|---|
 coder5876/libsnark-tutorial | A tutorial and example code project for creating zk-SNARKs using the libsnark software library | 190 |
 matter-labs-archive/snarkygpu | A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. | 23 |
 o1-labs/snarky | An OCaml library for writing verifiable computations using R1CS SNARKs | 495 |
 iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,790 |
 meilof/geppetri | An implementation of a Pinocchio-based adaptive zk-SNARK system for distributed computation | 16 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
 akosba/jsnark | A Java library for building zk-SNARK circuits using libsnark as a backend. | 210 |
| o1-labs/o1js | An evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript. | 525 |
 zkcrypto/bellman | A crate for building and implementing zk-SNARK circuits | 1,023 |
 ebfull/powersoftau | A multi-party computation protocol for generating secure parameters using zk-SNARKs | 140 |
 argumentcomputer/lurk-beta | A statically scoped Lisp-like language for proving computational claims using zk-SNARKs with an elliptic curve backend. | 434 |
 tamucrypto/zkcnn | An implementation of a GKR-based snark for CNN model inference, providing a zero-knowledge proof protocol for neural network computations. | 70 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,828 |
 zegl/goriak | A Go library that simplifies interaction with Riak KV using a type-safe interface | 30 |
 sstadick/gzp | A multi-threaded data compression library written in Rust. | 154 |