Skip to content

@zkmove zkMove

Change the repository type filter

All

    Repositories list

    14 repositories

    • zkmove

      Public
      A zero-knowledge Move language runtime environment.
      smart-contractsmove-languagezero-knowledge-proof
      Move
      •
      Apache License 2.0
      •8•77•0•0•Updated Jan 15, 2025Jan 15, 2025

    • zkmove.github.io

      Public
      HTML
      •
      MIT License
      •1•0•0•0•Updated Jan 15, 2025Jan 15, 2025

    • smt-circuit

      Public
      A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
      poseidonhalo2sparse-merkle-tree
      Rust
      •
      Apache License 2.0
      •3•17•1•0•Updated Nov 6, 2024Nov 6, 2024

    • aptos-core

      Public
      Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
      Rust
      •
      Other
      •3.7k•0•0•2•Updated Oct 18, 2024Oct 18, 2024

    • halo2-verifier.move

      Public
      A set of tooling of halo2 circuits verification in Move environments
      rustmovehalo2zkpzkproof
      Move
      •
      Apache License 2.0
      •3•16•8•0•Updated Aug 6, 2024Aug 6, 2024

    • zkevm-circuits

      Public
      Rust
      •
      Other
      •843•0•0•0•Updated Apr 10, 2024Apr 10, 2024

    • Lasso

      Public
      The lookup singularity. Based on Spartan; built on Arkworks.
      Rust
      •
      MIT License
      •187•0•0•0•Updated Feb 29, 2024Feb 29, 2024

    • snark-verifier

      Public
      Rust
      •
      Apache License 2.0
      •145•0•0•0•Updated Dec 22, 2023Dec 22, 2023

    • halo2-lib

      Public
      Monorepo of halo2 crates
      Rust
      •
      MIT License
      •164•0•0•0•Updated Dec 22, 2023Dec 22, 2023

    • agger

      Public
      zkmove tds node
      Rust
      •
      Apache License 2.0
      •1•2•4•1•Updated Sep 25, 2023Sep 25, 2023

    • zkmove-lite

      Public
      A fast zero-knowledge proof friendly Move language runtime environment.
      virtual-machinezero-knowledge-proofsmove-language
      Rust
      •
      Apache License 2.0
      •7•48•1•1•Updated Aug 26, 2023Aug 26, 2023

    • criterion.rs

      Public
      Statistics-driven benchmarking library for Rust
      Rust
      •
      Apache License 2.0
      •319•0•0•0•Updated Jun 9, 2023Jun 9, 2023

    • move

      Public
      Rust
      •
      Apache License 2.0
      •688•0•0•0•Updated May 30, 2023May 30, 2023

    • criterion-compare-action

      Public
      ⚡️📊 Compare the performance of Rust project branches
      JavaScript
      •
      ISC License
      •28•0•0•0•Updated Apr 25, 2023Apr 25, 2023