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.☆84Updated 7 months ago
- Move smart contracts implementing nestable resources on MoveVM blockchains☆19Updated 3 years ago
- General purpose bytecode emulator with per-step proof☆35Updated 2 years ago
- Library of module building blocks for Sui☆15Updated 2 years ago
- ☆11Updated 3 months ago
- Zero Knowledge Proofs Toolkit for CKB☆68Updated 3 years ago
- Elliptic curve group traits and utilities.☆99Updated 8 months ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Updated 2 years ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆81Updated 6 months ago
- Poseidon hash function☆78Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated 2 years ago
- A generalized merkle mountain range implementation.☆62Updated 9 months ago
- Rust PLONK implementation☆39Updated last year
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆143Updated last week
- ☆18Updated last month
- A Sparse Merkle Tree circuit constructed with Halo2 poseidon.☆20Updated last year
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Updated last year
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆27Updated last year
- Rust implementation of the Modified Patricia Tree (aka Trie).☆72Updated last year
- Zero-Knowledge Cryptography Infrastructure Stack☆129Updated 2 years ago
- Rust implementation for zcash/pasta☆84Updated 8 months ago
- Implementation of Language Server protocol for Move language☆25Updated 2 years ago
- dfinance Virtual Machine for Move language☆25Updated 4 years ago
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Updated 2 years ago
- A parallel proving service for ZKM.☆22Updated 2 weeks ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Updated 4 years ago
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated last year
- ☆50Updated 10 months ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Updated 2 years ago
- Parallel EVM layer2☆34Updated 5 months ago