☆12Sep 26, 2024Updated last year
Alternatives and similar repositories for indexed-merkle-tree-halo2
Users that are interested in indexed-merkle-tree-halo2 are comparing it to the libraries listed below
Sorting:
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Dec 3, 2020Updated 5 years ago
- ☆20Apr 10, 2025Updated 11 months ago
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆23Aug 28, 2025Updated 6 months ago
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- proof of pdf☆46Feb 17, 2026Updated 3 weeks ago
- ☆22Dec 19, 2024Updated last year
- ZK Fixed Point Arithmetic with its Application in Machine Learning based on Halo2☆21Oct 23, 2023Updated 2 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- BTCRelay re-implementation in Solidity☆26Oct 2, 2019Updated 6 years ago
- A ziglang implementation of the SSZ serialization protocol☆31Feb 24, 2026Updated 2 weeks ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago
- ☆34Apr 27, 2025Updated 10 months ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆41Aug 20, 2024Updated last year
- Circom arithmetic circuits and concepts explained, in depth.☆31May 26, 2025Updated 9 months ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Jan 24, 2023Updated 3 years ago
- Solidity verifier for Plonk☆42Aug 15, 2024Updated last year
- ☆12Apr 8, 2025Updated 11 months ago
- ☆61Updated this week
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Aug 27, 2024Updated last year
- Omniledger implementation☆36Sep 18, 2018Updated 7 years ago
- ☆83Jan 7, 2025Updated last year
- Optimism-Python: Unofficial Python Client for the OP-Stack☆16Nov 1, 2024Updated last year
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- DODO smart contract on EVM☆10Mar 5, 2023Updated 3 years ago
- ☆12Oct 15, 2016Updated 9 years ago
- ☆10Mar 4, 2024Updated 2 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot …☆41Mar 8, 2023Updated 3 years ago
- Argument systems for inner pairing products☆44Jul 31, 2024Updated last year
- ☆42Jul 8, 2024Updated last year
- Tornado cash fork with blacklist to prevent illegal money laundering☆10Mar 13, 2023Updated 2 years ago
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆14Sep 4, 2024Updated last year
- Implementation of the Fish and Begol signature schemes☆14Jul 3, 2017Updated 8 years ago
- Unsafe 3-round MuSig in Python for experimentation☆11Jan 12, 2023Updated 3 years ago
- MIPS simulator in C++☆13Oct 2, 2019Updated 6 years ago
- Plonky2 implementation of Ed25519☆11Apr 5, 2024Updated last year