zkmove / smt-circuitView external linksLinks
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
- Schnorr Signature algorithm usiing BLS12-381 Curve☆13Jan 10, 2024Updated 2 years ago
- Port of Circom Sparse Merkle Tree verifier to Noir.☆14Jan 26, 2024Updated 2 years ago
- A smart contract and arbitrate oracle service on LightningNetwork☆13May 13, 2019Updated 6 years ago
- a blockchain layer 2 protocol implementation☆15Mar 25, 2019Updated 6 years ago
- Poseidon Rust library☆38Mar 13, 2023Updated 2 years ago
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- ☆14Feb 7, 2023Updated 3 years ago
- ☆155Feb 26, 2024Updated last year
- ☆63Feb 10, 2026Updated last week
- ☆105Aug 25, 2025Updated 5 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 last year
- 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
- A set of tooling of halo2 circuits verification in Move environments☆16Feb 4, 2026Updated last week
- ☆20May 31, 2024Updated last year
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 2 years ago
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- ☆124Nov 30, 2024Updated last year
- ☆18Oct 27, 2025Updated 3 months ago
- ☆50Mar 7, 2024Updated last year
- Experimental folding schemes library☆260Feb 6, 2026Updated last week
- List of halo2-related resources☆203Jan 30, 2025Updated last year
- Javascript version of the Move language compiler, supports compiling Move code into Move bytecode in the browser.☆23Feb 26, 2024Updated last year
- A re-implemented ECC circuits with halo2.☆28Nov 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
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Feb 12, 2025Updated last year
- 📝 Diem's Move language in VSCode☆25Jul 12, 2023Updated 2 years ago
- Solidity implementation of Nova proving system verifier☆66Mar 17, 2024Updated last year
- EigenTrust - A distributed reputation system☆116Nov 23, 2023Updated 2 years ago
- RSA verification circuit using halo2 library.☆58Apr 26, 2023Updated 2 years ago
- ☆28Jan 12, 2026Updated last month
- Email verification circuit in halo2☆68Jul 3, 2024Updated last year