A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
☆20Nov 6, 2024Updated last year
Alternatives and similar repositories for smt-circuit
Users that are interested in smt-circuit are comparing it to the libraries listed below
Sorting:
- Stargate is the layer2 state channel protocol and implements of Starcoin☆14Jun 17, 2022Updated 3 years ago
- Halo2 Merkle tree circuits☆33May 28, 2021Updated 4 years ago
- Starcoin Blockchain Explorer☆13Aug 30, 2024Updated last year
- A smart contract and arbitrate oracle service on LightningNetwork☆13May 13, 2019Updated 6 years ago
- Port of Circom Sparse Merkle Tree verifier to Noir.☆14Jan 26, 2024Updated 2 years ago
- Schnorr Signature algorithm usiing BLS12-381 Curve☆13Jan 10, 2024Updated 2 years ago
- Poseidon Rust library☆39Mar 13, 2023Updated 2 years ago
- ☆14Feb 7, 2023Updated 3 years ago
- ☆155Feb 26, 2024Updated 2 years ago
- ☆63Feb 10, 2026Updated last month
- ☆106Aug 25, 2025Updated 6 months ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Apr 6, 2023Updated 2 years ago
- ☆17Jul 11, 2025Updated 7 months ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated 2 years ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆68Oct 1, 2024Updated last year
- halo2 ecc circuit☆116Feb 17, 2023Updated 3 years ago
- ☆20May 31, 2024Updated last year
- A set of tooling of halo2 circuits verification in Move environments☆16Updated this week
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 3 years ago
- ☆124Nov 30, 2024Updated last year
- ☆18Oct 27, 2025Updated 4 months ago
- ☆51Mar 7, 2024Updated 2 years ago
- Experimental folding schemes library☆262Feb 23, 2026Updated 2 weeks ago
- List of halo2-related resources☆203Jan 30, 2025Updated last year
- Installation tooling for Noir☆33Feb 14, 2026Updated 3 weeks ago
- Javascript version of the Move language compiler, supports compiling Move code into Move bytecode in the browser.☆23Feb 26, 2024Updated 2 years ago
- A re-implemented ECC circuits with halo2.☆29Nov 23, 2024Updated last year
- Implementation of Language Server protocol for Move language☆25Mar 25, 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 STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Feb 12, 2025Updated last year
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated 2 years ago
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Jan 24, 2023Updated 3 years ago
- Solidity implementation of Nova proving system verifier☆66Mar 17, 2024Updated last year
- EigenTrust - A distributed reputation system☆118Nov 23, 2023Updated 2 years ago
- RSA verification circuit using halo2 library.☆58Apr 26, 2023Updated 2 years ago
- ☆28Jan 12, 2026Updated last month
- Evaluating & benchmarking ZKP compilation strategies.☆121Dec 19, 2023Updated 2 years ago
- Email verification circuit in halo2☆69Jul 3, 2024Updated last year