A fast zero-knowledge proof friendly Move language runtime environment.

Last update: May 20, 2023

Overview

zkMove Lite

zkMove Lite is a lightweight zero-knowledge proof friendly Move language virtual machine. Move bytecode is automatically "compiled" into circuit by the virtual machine. The circuit is application specific, and we call it a Move circuit.

Contributing

First off, thanks for taking the time to contribute! Contributions are what makes the open-source community such an amazing place to learn, inspire, and create. Any contributions you make will benefit everybody else and are greatly appreciated.

Please reading our Contributing Guide for details.

License

zkMove is licensed as Apache 2.0.

Comments

[New Feature] a circuit for sparse merkle tree
A native implementation of the sparse merkle tree data structure

includes the Path and SparseMerkleTree structs

the values stored at each nodes are prime field elements (pasta, bn256)

use the poseidon hash function

Construct the circuit for the sparse merkle tree

use halo2

enhancement help wanted
opened by guangyuz 2
clippy warning message eliminate(phase 2)

% cargo fmt -- --check % cargo build Finished dev [unoptimized + debuginfo] target(s) in 0.69s % cargo clippy --all-targets -- -D warnings Finished dev [unoptimized + debuginfo] target(s) in 0.34s

opened by luxebeng 0
clippy warning eliminate

Below lint entry is discarded from "vm/src/lib.rs".

#![allow(clippy::clone_on_copy)] #![allow(clippy::len_without_is_empty)] #![allow(clippy::manual_map)] #![allow(clippy::needless_borrow)] #![allow(clippy::new_without_default)] #![allow(clippy::redundant_closure)] #![allow(clippy::single_match)]

Test result:

% cargo clippy --all-targets -- -D warnings Checking vm v0.1.0 (/Users/benliu/work/exercise/zkmove-lite/vm) Checking functional-tests v0.1.0 (/Users/benliu/work/exercise/zkmove-lite/functional-tests) Checking zkmove-cli v0.1.0 (/Users/benliu/work/exercise/zkmove-lite/cli) Finished dev [unoptimized + debuginfo] target(s) in 1.83s % cargo build Compiling vm v0.1.0 (/Users/benliu/work/exercise/zkmove-lite/vm) Compiling functional-tests v0.1.0 (/Users/benliu/work/exercise/zkmove-lite/functional-tests) Compiling zkmove-cli v0.1.0 (/Users/benliu/work/exercise/zkmove-lite/cli) Finished dev [unoptimized + debuginfo] target(s) in 13.18s

opened by luxebeng 0
handle arithmetic overflow

add constraints to ensure below cases never happen: x + y > max x - y < 0 x * y ... x / y ... x % y ...

add constraints to ensure below output to be 1 or 0: x == y x != y x < y x and y x or y !x
enhancement

opened by guangyuz 0
support bytecode 'lt'

Perform a "less than" operation of the 2 uint at the top of the stack and pushes the result on the stack.

Stack transition use u64 as example: ..., u64_value(1), u64_value(2) -> ..., bool_value

Add constraints to let 'Lt' is in compliance with the spec: let lhs = value(1); let rhs = value(2); let out = result;

constraint#1 out is 0 or 1; constraint#2 if lhs >= rhs, then out = 0, else out = 1;
enhancement

opened by guangyuz 0

Owner

YoungRocks

GitHub https://www.zkmove.net

The Zero Knowledge Whitelist Tool is a powerful utility for managing an address whitelist using Zero-Knowledge (ZK) proofs.

zk_whitelist: A Zero Knowledge Whitelist Tool The Zero Knowledge Whitelist Tool is a powerful utility for managing an address whitelist using Zero-Kno