Common protocol for generating ZK proofs for blocks on different blockchains.
☆10Feb 9, 2024Updated 2 years ago
Alternatives and similar repositories for proof-protocol-decoder
Users that are interested in proof-protocol-decoder are comparing it to the libraries listed below
Sorting:
- Bringing divine order to remote task execution.☆30Nov 25, 2024Updated last year
- plonky2 proving over paladin☆22Jun 19, 2024Updated last year
- ☆14Dec 13, 2024Updated last year
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- High performance EraVM for zkSync.☆23Feb 20, 2026Updated last week
- Tokens with private balances using zkSNARKs and Homomorphic Encryption☆26Oct 23, 2023Updated 2 years ago
- ☆100May 2, 2025Updated 9 months ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Jun 24, 2019Updated 6 years ago
- ☆23Mar 8, 2024Updated last year
- A simple, IPFS-based multi-party trusted setup utility for snarkjs☆27Mar 13, 2023Updated 2 years ago
- A re-implemented ECC circuits with halo2.☆29Nov 23, 2024Updated last year
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- .ptau deserializer for gnark groth16 bn254 trusted setup☆26Mar 28, 2025Updated 10 months ago
- Describe elliptic curves☆35May 10, 2021Updated 4 years ago
- ☆30Oct 7, 2022Updated 3 years ago
- Elliptic curve search experiments☆35Mar 6, 2023Updated 2 years ago
- zkSNARKs as a service using secure multi-party computation.☆30Jan 19, 2024Updated 2 years ago
- A Language Server Protocol Implementation for Circom☆33Jun 3, 2023Updated 2 years ago
- ☆33Jan 4, 2024Updated 2 years ago
- customizable halo2 circuits batcher☆31Oct 25, 2025Updated 4 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆35Sep 13, 2023Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 3 years ago
- Halo2 Merkle tree circuits☆33May 28, 2021Updated 4 years ago
- ☆10Jun 29, 2022Updated 3 years ago
- ☆18Oct 11, 2023Updated 2 years ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Apr 6, 2023Updated 2 years ago
- MEV Olympics☆44Dec 1, 2024Updated last year
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated last year
- Prove knowledge of smart contract bugs using zkEVM☆43Sep 20, 2024Updated last year
- Repository to reproduce analyses from manuscript titled "Noninvasive blood tests for fetal development predict gestational age and preter…☆11May 13, 2023Updated 2 years ago
- ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs☆41Apr 1, 2024Updated last year
- ☆11Dec 6, 2023Updated 2 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆44Aug 21, 2023Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Dec 5, 2023Updated 2 years ago
- Noir implementation of RSA-verify☆44Dec 20, 2023Updated 2 years ago