zkmove / zkmove-liteLinks
A fast zero-knowledge proof friendly Move language runtime environment.
☆46Updated 2 years ago
Alternatives and similar repositories for zkmove-lite
Users that are interested in zkmove-lite are comparing it to the libraries listed below
Sorting:
- A zero-knowledge Move language runtime environment.☆82Updated 5 months ago
- Zero Knowledge Proofs Toolkit for CKB☆67Updated 2 years ago
- A generalized merkle mountain range implementation.☆61Updated 7 months ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Updated 2 years ago
- ☆11Updated last month
- Elliptic curve group traits and utilities.☆96Updated 6 months ago
- Rust implementation of the Modified Patricia Tree (aka Trie).☆72Updated last year
- Poseidon hash function☆76Updated 2 years ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆78Updated 4 months ago
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Updated 2 years ago
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆28Updated last year
- A Sparse Merkle Tree circuit constructed with Halo2 poseidon.☆20Updated 11 months ago
- General purpose bytecode emulator with per-step proof☆34Updated 2 years ago
- Rust PLONK implementation☆39Updated last year
- ☆17Updated 3 years ago
- Building the first permissionless layer2 orderbook DEX on Ethereum, powered by PLONK zk-rollup☆40Updated 3 years ago
- Library of module building blocks for Sui☆15Updated 2 years ago
- A parallel proving service for ZKM.☆22Updated this week
- The Dusk Rust WASM VM implementation☆57Updated 3 years ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Updated 2 years ago
- Rust implementation for zcash/pasta☆83Updated 6 months ago
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆57Updated last year
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆139Updated 2 months ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Updated 4 years ago
- ☆55Updated last month
- Zero-Knowledge Cryptography Infrastructure Stack☆129Updated 2 years ago
- ☆18Updated 3 weeks ago
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated last year
- Move smart contracts implementing nestable resources on MoveVM blockchains☆19Updated 3 years ago
- Cryptography libraries for ZKsync☆35Updated 2 weeks ago