jsnark
Circuit builder
A Java library for building zk-SNARK circuits using libsnark as a backend.
A Java library for zk-SNARK circuits
210 stars
15 watching
85 forks
Language: Java
last commit: almost 4 years agoLinked from 2 awesome lists
matter-labs/awesome-zero-knowledge-proofs
pirapira/awesome-ethereum-virtual-machineRelated projects:
| Repository | Description | Stars |
|---|---|---|
 zkcrypto/bellman | A crate for building and implementing zk-SNARK circuits | 1,031 |
 consensys/gnark | A fast zk-SNARK library with a high-level API to design circuits. | 1,459 |
 drom/reqack | A JavaScript toolset for designing and analyzing digital circuits based on an elastic transactional protocol | 29 |
 coder5876/libsnark-tutorial | A tutorial and example code project for creating zk-SNARKs using the libsnark software library | 191 |
 iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,801 |
 olofk/fusesoc | A toolset for managing and building digital circuit designs using hardware description languages like Verilog or VHDL | 1,217 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
| iden3/circom_old | A compiler for a specific circuit language used in zkSNARKs proofs | 473 |
 ucsbarchlab/pyrtl | A Pythonic framework for designing and simulating digital circuits | 261 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,836 |
 lucasgleba/zkriscv | A RISC-V CPU emulator implemented as a zero-knowledge verification system to prove program execution correctness | 47 |
 matter-labs-archive/snarkygpu | A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. | 23 |
| iden3/wasmsnark | A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols | 211 |
 jstoxrocky/zksnarks_example | A practical tutorial on creating and verifying zkSNARKs in contracts | 296 |
 o1-labs/o1js | An evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript. | 540 |