Skip to content
Change the repository type filter

All

    Repositories list

    • We made some changes to the move cli to support witness generation for move code.
      Rust
      3.8k000Updated Aug 15, 2025Aug 15, 2025
    • A set of tooling of halo2 circuits verification in Move environments
      Move
      31680Updated Aug 14, 2025Aug 14, 2025
    • sdk

      Public
      A ZK privacy sdk for Move ecosystem.
      Rust
      1241Updated Aug 14, 2025Aug 14, 2025
    • Poseidon hash circuit
      Rust
      42000Updated May 26, 2025May 26, 2025
    • zkmove

      Public
      A zero-knowledge Move language runtime environment.
      Move
      98301Updated May 14, 2025May 14, 2025
    • zkVerify

      Public
      zkVerify is a L1 blockchain for zk proof verification. We added a verifier for zkmove.
      Rust
      97000Updated May 14, 2025May 14, 2025
    • HTML
      1000Updated Jan 15, 2025Jan 15, 2025
    • A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
      Rust
      41910Updated Nov 6, 2024Nov 6, 2024
    • Rust
      851000Updated Apr 10, 2024Apr 10, 2024
    • Rust
      153000Updated Dec 22, 2023Dec 22, 2023
    • halo2-lib

      Public
      Monorepo of halo2 crates
      Rust
      195000Updated Dec 22, 2023Dec 22, 2023
    • A fast zero-knowledge proof friendly Move language runtime environment.
      Rust
      64711Updated Aug 26, 2023Aug 26, 2023
    • Statistics-driven benchmarking library for Rust
      Rust
      343000Updated Jun 9, 2023Jun 9, 2023
    • move

      Public
      Rust
      702000Updated May 30, 2023May 30, 2023
    • ⚡️📊 Compare the performance of Rust project branches
      JavaScript
      26000Updated Apr 25, 2023Apr 25, 2023