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
- ☆23Updated last year
- Rust-libp2p transport for {t,n}-threshold signature schemes☆33Updated 2 years ago
- A parallel proving service for ZKM.☆21Updated this week
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆27Updated last year
- ☆18Updated 4 months ago
- ☆11Updated last month
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated 9 months ago
- Simplified educational python plonk implementation☆43Updated 2 months ago
- Poseidon hash function☆75Updated last year
- ☆21Updated last month
- Cryptography libraries for ZKsync☆30Updated 2 weeks ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆69Updated 9 months ago
- A Sparse Merkle Tree circuit constructed with Halo2 poseidon.☆18Updated 5 months ago
- Rust PLONK implementation☆38Updated 7 months ago
- Elliptic curve group traits and utilities.☆94Updated this week
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Move smart contracts implementing nestable resources on MoveVM blockchains☆18Updated 2 years ago
- A toy Cairo VM implementation in Rust™☆73Updated 2 years ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- A generalized merkle mountain range implementation.☆57Updated last month
- General purpose bytecode emulator with per-step proof☆35Updated last year
- A minimalist library to interact with encrypted JSON keystores☆41Updated last year
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Updated 2 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Updated last year
- Zero Knowledge Proofs Toolkit for CKB☆67Updated 2 years ago
- Rust implementation of the Modified Patricia Tree (aka Trie).☆73Updated last year
- ☆28Updated 2 years ago
- FHE in the Risc0 zkVM☆25Updated last year