Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
☆93Jan 20, 2023Updated 3 years ago
Alternatives and similar repositories for zero-knowledge-gadgets
Users that are interested in zero-knowledge-gadgets are comparing it to the libraries listed below
Sorting:
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- Webb protocol implementation in Substrate.☆37Jun 23, 2023Updated 2 years ago
- ☆155Feb 26, 2024Updated 2 years ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆61May 2, 2023Updated 2 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years ago
- ☆19May 5, 2020Updated 5 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago
- ☆12Nov 11, 2022Updated 3 years ago
- A pure Rust PLONK implementation using arkworks as a backend.☆314Sep 18, 2023Updated 2 years ago
- A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system☆14May 1, 2025Updated 10 months ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆280Aug 26, 2025Updated 6 months ago
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated 2 years ago
- Multy-party threshold ECDSA (GG20) Substrate node☆60Dec 18, 2023Updated 2 years ago
- ☆114Feb 6, 2024Updated 2 years ago
- ☆31Feb 19, 2026Updated last month
- ☆111Nov 27, 2025Updated 3 months ago
- A basic implementation of Yao's Garbled Circuits☆30Apr 18, 2022Updated 3 years ago
- ☆76Mar 30, 2023Updated 2 years ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆62May 22, 2023Updated 2 years ago
- A Rust library for building R1CS gadgets☆92Oct 14, 2021Updated 4 years ago
- snarkpack for arkwork☆22Jun 11, 2023Updated 2 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Jun 27, 2023Updated 2 years ago
- A Sparse Merkle Tree circuit constructed with Halo2 poseidon.☆20Nov 6, 2024Updated last year
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- ☆52Oct 10, 2023Updated 2 years ago
- DPC with Universal Setup☆46May 25, 2023Updated 2 years ago
- Recursive SNARKs based on Plonk and Halo☆117Oct 19, 2021Updated 4 years ago
- Port of Circom Sparse Merkle Tree verifier to Noir.☆14Jan 26, 2024Updated 2 years ago
- Cryptographic protocols☆38Apr 19, 2023Updated 2 years ago
- An implementation of ZKBoo☆33May 10, 2022Updated 3 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆39Nov 18, 2022Updated 3 years ago
- GPU-acceselerated cryptography libraries for ZKsync☆22Mar 13, 2026Updated last week
- ☆203Nov 25, 2023Updated 2 years ago
- Zero-Knowledge Cryptography Infrastructure Stack☆129Apr 10, 2023Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 2 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- Pure Rust implementation of Ethereum Virtual Machine☆24Apr 1, 2022Updated 3 years ago