zkmove / zkmove-lite
A fast zero-knowledge proof friendly Move language runtime environment.
☆48Updated last year
Alternatives and similar repositories for zkmove-lite:
Users that are interested in zkmove-lite are comparing it to the libraries listed below
- A zero-knowledge Move language runtime environment.☆79Updated 3 months ago
- Rust-libp2p transport for {t,n}-threshold signature schemes☆34Updated 2 years ago
- A parallel proving service for ZKM.☆21Updated this week
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated 10 months ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- ☆23Updated last year
- General purpose bytecode emulator with per-step proof☆35Updated last year
- Poseidon hash function☆75Updated last year
- Rust implementation of the Modified Patricia Tree (aka Trie).☆73Updated last year
- An implementation of a namespaced merkle tree in Rust.☆31Updated 2 weeks ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Updated 2 years ago
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆27Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆71Updated 10 months ago
- Rust PLONK implementation☆38Updated 8 months ago
- Simplified educational python plonk implementation☆44Updated 3 months ago
- STARK book☆20Updated 7 months ago
- A Sparse Merkle Tree circuit constructed with Halo2 poseidon.☆18Updated 6 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆72Updated 3 months ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- ☆23Updated 4 months ago
- Collection of pallets used in Octopus Network☆22Updated last year
- ☆18Updated 4 months ago
- ☆11Updated 2 months ago
- Solidity verifier for Plonk☆42Updated 8 months ago
- Spartan on Arkworks☆41Updated 4 months ago
- Elliptic curve group traits and utilities.☆94Updated 3 weeks ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Updated last year
- ☆42Updated 9 months ago
- ☆20Updated 2 years ago