zkmove / zkmove-liteLinks
A fast zero-knowledge proof friendly Move language runtime environment.
☆47Updated 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.☆83Updated 4 months ago
- Zero Knowledge Proofs Toolkit for CKB☆67Updated 2 years ago
- ☆11Updated 3 weeks ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Updated 2 years ago
- Rust implementation of the Modified Patricia Tree (aka Trie).☆73Updated last year
- A generalized merkle mountain range implementation.☆60Updated 7 months ago
- Poseidon hash function☆76Updated 2 years ago
- Elliptic curve group traits and utilities.☆95Updated 5 months ago
- ☆18Updated this week
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated last year
- Library of module building blocks for Sui☆15Updated last year
- Axon is a Layer 2 framework of CKB with native cross-chain and interoperability.☆64Updated last year
- Implementation of Language Server protocol for Move language☆25Updated 2 years ago
- Move smart contracts implementing nestable resources on MoveVM blockchains☆19Updated 3 years ago
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆28Updated last year
- A parallel proving service for ZKM.☆22Updated last month
- ☆17Updated 3 years ago
- A Sparse Merkle Tree circuit constructed with Halo2 poseidon.☆20Updated 11 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆78Updated 4 months ago
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆56Updated last year
- ☆55Updated 3 weeks ago
- The Dusk Rust WASM VM implementation☆56Updated 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
- dfinance Virtual Machine for Move language☆25Updated 4 years ago
- General purpose bytecode emulator with per-step proof☆34Updated 2 years ago
- Building the first permissionless layer2 orderbook DEX on Ethereum, powered by PLONK zk-rollup☆40Updated 3 years ago
- Rust implementation for zcash/pasta☆83Updated 5 months ago
- Collection of pallets used in Octopus Network☆21Updated last year
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Updated 2 years ago
- Circuit components definition library for zkLLVM circuit compiler☆42Updated last year