A Java library for zk-SNARK circuits
☆215Dec 17, 2022Updated 3 years ago
Alternatives and similar repositories for jsnark
Users that are interested in jsnark are comparing it to the libraries listed below
Sorting:
- A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)☆193Nov 27, 2022Updated 3 years ago
- C++ library for zkSNARKs☆1,916Jun 12, 2025Updated 8 months ago
- Java library for distributed zero knowledge proof systems☆249Apr 13, 2022Updated 3 years ago
- zk-SNARK library.☆1,113Updated this week
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆128Jun 13, 2023Updated 2 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆42Oct 8, 2020Updated 5 years ago
- libsnark: a C++ library for zkSNARK proofs [+ interface for jsnark/Pinocchio ]☆11Dec 17, 2022Updated 3 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆55Jun 2, 2024Updated last year
- ☆137May 13, 2020Updated 5 years ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆127Apr 5, 2022Updated 3 years ago
- snarkpack for arkwork☆22Jun 11, 2023Updated 2 years ago
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆242Oct 28, 2024Updated last year
- A zkSNARK tutorial and development environment☆410Jan 3, 2021Updated 5 years ago
- Tutorial and example code for using libsnark☆190May 17, 2021Updated 4 years ago
- pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!☆18Oct 16, 2017Updated 8 years ago
- ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).☆54Mar 22, 2016Updated 9 years ago
- A toolbox for zkSNARKs on Ethereum☆1,881Aug 1, 2024Updated last year
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆184May 20, 2022Updated 3 years ago
- OCaml DSL for verifiable computation☆505Jan 22, 2026Updated last month
- A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)☆560Mar 24, 2023Updated 2 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆36Feb 9, 2018Updated 8 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆53Mar 20, 2024Updated last year
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆57Mar 19, 2021Updated 4 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆18Jan 24, 2021Updated 5 years ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆104Jul 13, 2017Updated 8 years ago
- zk-SNARK parameter multi-party computation protocol☆176Oct 30, 2019Updated 6 years ago
- Communal zk-SNARK MPC for Public Parameters☆145Jun 1, 2021Updated 4 years ago
- ☆60Oct 11, 2017Updated 8 years ago
- A golang demo for zk-SNARK aggregation☆41Jun 23, 2019Updated 6 years ago
- ☆10Oct 22, 2019Updated 6 years ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆1,116Jul 23, 2024Updated last year
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- A library for generating zk-STARKs.☆147Jul 29, 2022Updated 3 years ago
- ☆79Nov 1, 2016Updated 9 years ago
- The compiler for ObliVM☆65Sep 1, 2020Updated 5 years ago
- A Rust library for building R1CS gadgets☆92Oct 14, 2021Updated 4 years ago
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Jan 24, 2023Updated 3 years ago
- ZKProofs website☆90Oct 25, 2023Updated 2 years ago
- Recursive SNARKs based on Plonk and Halo☆116Oct 19, 2021Updated 4 years ago