aerius-labs / indexed-merkle-tree-halo2View external linksLinks
☆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 10 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 5 months ago
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- proof of pdf☆47Dec 20, 2025Updated last month
- ☆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
- A ziglang implementation of the SSZ serialization protocol☆30Feb 11, 2026Updated last week
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago
- ☆34Apr 27, 2025Updated 9 months ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆41Aug 20, 2024Updated last year
- BTCRelay re-implementation in Solidity☆26Oct 2, 2019Updated 6 years ago
- Circom arithmetic circuits and concepts explained, in depth.☆31May 26, 2025Updated 8 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 10 months ago
- ☆60Feb 10, 2026Updated last week
- Omniledger implementation☆36Sep 18, 2018Updated 7 years ago
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Aug 27, 2024Updated last year
- ☆83Jan 7, 2025Updated last year
- ☆10Mar 4, 2024Updated last year
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- Optimism-Python: Unofficial Python Client for the OP-Stack☆16Nov 1, 2024Updated last year
- ☆12Oct 15, 2016Updated 9 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- DODO smart contract on EVM☆10Mar 5, 2023Updated 2 years ago
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 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 …☆42Mar 8, 2023Updated 2 years ago
- Argument systems for inner pairing products☆44Jul 31, 2024Updated last year
- ☆42Jul 8, 2024Updated last year
- Collection of sponge functions written in pure Rust☆49Updated this week
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 5 years ago
- BlindDB: an Encrypted, Distributed, and Searchable Key-value Store☆10Oct 10, 2017Updated 8 years ago
- Provider library - a library of small helpers. These may or may not become part of OpenSSL at some point☆12May 15, 2025Updated 9 months ago
- ☆47Aug 21, 2023Updated 2 years ago
- Unsafe 3-round MuSig in Python for experimentation☆11Jan 12, 2023Updated 3 years ago