Skip to content
@openvm-org

OpenVM

Pinned Loading

  1. openvm openvm Public

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

    Rust 337 98

  2. stark-backend stark-backend Public

    Proof system backends for OpenVM.

    Rust 37 18

  3. openvm-solidity-sdk openvm-solidity-sdk Public

    Solidity SDK for OpenVM.

    Solidity 7 1

  4. openvm-examples openvm-examples Public

    A basic starter program for OpenVM.

    Rust 6 1

  5. openvm-fv openvm-fv Public

    Formal Verification of the OpenVM RISC-V Extension

    Lean 3

  6. openvm-coremark openvm-coremark Public

    Shell 1

Repositories

Showing 10 of 12 repositories
  • openvm-coremark Public
    openvm-org/openvm-coremark’s past year of commit activity
    Shell 1 MIT 0 0 1 Updated Apr 14, 2026
  • openvm Public

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

    openvm-org/openvm’s past year of commit activity
    Rust 337 Apache-2.0 98 3 9 Updated Apr 14, 2026
  • stark-backend Public

    Proof system backends for OpenVM.

    openvm-org/stark-backend’s past year of commit activity
    Rust 37 Apache-2.0 18 0 1 Updated Apr 14, 2026
  • soundcalc Public Forked from ethereum/soundcalc

    A universal soundness calculator across hash-based zkEVMs and security regimes

    openvm-org/soundcalc’s past year of commit activity
    Python 0 23 0 1 Updated Apr 13, 2026
  • openvm-solidity-sdk Public

    Solidity SDK for OpenVM.

    openvm-org/openvm-solidity-sdk’s past year of commit activity
    Solidity 7 Apache-2.0 1 0 1 Updated Apr 10, 2026
  • uint Public
    openvm-org/uint’s past year of commit activity
    Rust 0 MIT 0 0 1 Updated Apr 9, 2026
  • hashes Public Forked from RustCrypto/hashes

    Collection of cryptographic hash functions written in pure Rust

    openvm-org/hashes’s past year of commit activity
    Rust 0 325 0 3 Updated Apr 9, 2026
  • tiny-keccak Public Forked from debris/tiny-keccak

    An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve

    openvm-org/tiny-keccak’s past year of commit activity
    Rust 0 CC0-1.0 65 0 1 Updated Apr 9, 2026
  • openvm-fv Public

    Formal Verification of the OpenVM RISC-V Extension

    openvm-org/openvm-fv’s past year of commit activity
    Lean 3 Apache-2.0 0 1 0 Updated Mar 23, 2026
  • v2-verify-stark Public archive
    openvm-org/v2-verify-stark’s past year of commit activity
    Rust 0 0 0 0 Updated Feb 16, 2026
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…