rooch-network / smt
Sparse Merkle Tree
☆13Updated last year
Related projects ⓘ
Alternatives and complementary repositories for smt
- ☆10Updated last year
- Manta Network SDK☆15Updated 4 months ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Rust implementation of ElGamal encryption☆14Updated 9 months ago
- A Sparse Merkle Tree circuit constructed with Halo2 poseidon.☆17Updated this week
- Pure Move implementation of U256 numbers☆28Updated 8 months ago
- ☆16Updated 2 years ago
- ☆20Updated this week
- A fast zero-knowledge proof friendly Move language runtime environment.☆49Updated last year
- Template for zkGraph.☆19Updated 8 months ago
- DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees☆16Updated 10 months ago
- ☆12Updated 2 years ago
- A parallel proving service for ZKM.☆18Updated last month
- ☆17Updated 3 weeks ago
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆27Updated 8 months ago
- Library of module building blocks for Sui☆14Updated last year
- zk-rollup☆22Updated last year
- An elliptic curve verifiable random function☆18Updated last year
- Pessimistic proof for the AggLayer.☆26Updated 4 months ago
- Deterministic executor + network sim for tokio-based systems.☆14Updated last month
- ⚙️ Diem's Move VM for WASM Runtime.☆19Updated last year
- Cryptography libraries for ZKsync☆20Updated last week
- ☆23Updated last year
- ☆40Updated 3 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 2 months ago
- ☆20Updated 2 years ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆18Updated last year