Top Repositories
A zero-knowledge Move language runtime environment.
A fast zero-knowledge proof friendly Move language runtime environment.
A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
A set of tooling of halo2 circuits verification in Move environments
deprecated.
We made some changes to the move cli to support witness generation for move code.
Repositories
16A set of tooling of halo2 circuits verification in Move environments
A zero-knowledge Move language runtime environment.
We made some changes to the move cli to support witness generation for move code.
No description provided.
A fast zero-knowledge proof friendly Move language runtime environment.
deprecated.
Poseidon hash circuit
No description provided.
A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
zkVerify is a L1 blockchain for zk proof verification. We added a verifier for zkmove.
No description provided.
No description provided.
Monorepo of halo2 crates
No description provided.
⚡️📊 Compare the performance of Rust project branches
Statistics-driven benchmarking library for Rust