rooch-network / smt
Sparse Merkle Tree
☆13Updated last year
Related projects ⓘ
Alternatives and complementary repositories for smt
- A fast zero-knowledge proof friendly Move language runtime environment.☆49Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- ☆16Updated 2 years ago
- powdr application running Ethereum tests via revm☆16Updated 4 months ago
- Pure Move implementation of U256 numbers☆28Updated 8 months ago
- ☆20Updated this week
- DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees☆16Updated 10 months ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- Template for zkGraph.☆19Updated 8 months ago
- A Sparse Merkle Tree circuit constructed with Halo2 poseidon.☆17Updated 2 weeks ago
- ☆17Updated last month
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- Rust implementation of ElGamal encryption☆14Updated 9 months ago
- ☆40Updated 3 months ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆18Updated last year
- An implementation of a namespaced merkle tree in Rust.☆27Updated 2 months ago
- STARK book☆21Updated last month
- A parallel proving service for ZKM.☆18Updated last month
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- ⚙️ Diem's Move VM for WASM Runtime.☆19Updated 2 years ago
- Cryptography libraries for ZKsync☆20Updated this week
- Solidity source debugger built around EthereumJS☆23Updated 2 weeks ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆29Updated last year
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆27Updated 9 months ago
- circom runtime☆20Updated last month
- ☆20Updated 2 years ago
- Solidity verifier for Plonk☆41Updated 3 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 2 months ago
- ☆17Updated last year