Skip to content
@zkmove

zkMove

Pinned Loading

  1. zkmove zkmove Public

    A zero-knowledge Move language runtime environment.

    Move 79 8

  2. halo2-verifier.move halo2-verifier.move Public

    A set of tooling of halo2 circuits verification in Move environments

    Move 16 3

Repositories

Showing 10 of 16 repositories
  • aptos-core Public Forked from aptos-labs/aptos-core

    Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

    zkmove/aptos-core’s past year of commit activity
    Rust 0 4,461 0 1 Updated Apr 16, 2025
  • zkVerify Public Forked from zkVerify/zkVerify

    zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.

    zkmove/zkVerify’s past year of commit activity
    Rust 0 Apache-2.0 71 0 0 Updated Apr 14, 2025
  • openvm Public Forked from openvm-org/openvm

    A performant and modular zkVM framework built for customization and extensibility.

    zkmove/openvm’s past year of commit activity
    Rust 0 MIT 55 0 0 Updated Jan 22, 2025
  • zkmove Public

    A zero-knowledge Move language runtime environment.

    zkmove/zkmove’s past year of commit activity
    Move 79 Apache-2.0 8 0 0 Updated Jan 15, 2025
  • zkmove.github.io Public
    zkmove/zkmove.github.io’s past year of commit activity
    HTML 0 MIT 1 0 0 Updated Jan 15, 2025
  • smt-circuit Public

    A Sparse Merkle Tree circuit constructed with Halo2 poseidon.

    zkmove/smt-circuit’s past year of commit activity
    Rust 18 Apache-2.0 3 1 (1 issue needs help) 0 Updated Nov 6, 2024
  • halo2-verifier.move Public

    A set of tooling of halo2 circuits verification in Move environments

    zkmove/halo2-verifier.move’s past year of commit activity
    Move 16 Apache-2.0 3 8 0 Updated Aug 6, 2024
  • zkevm-circuits Public Forked from privacy-scaling-explorations/zkevm-circuits
    zkmove/zkevm-circuits’s past year of commit activity
    Rust 0 951 0 0 Updated Apr 10, 2024
  • Lasso Public Forked from a16z/jolt

    The lookup singularity. Based on Spartan; built on Arkworks.

    zkmove/Lasso’s past year of commit activity
    Rust 0 MIT 229 0 0 Updated Feb 29, 2024
  • snark-verifier Public Forked from scroll-tech/snark-verifier
    zkmove/snark-verifier’s past year of commit activity
    Rust 0 Apache-2.0 148 0 0 Updated Dec 22, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…