Skip to content

Pinned Loading

  1. openvm openvm Public

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

    Rust 298 84

  2. stark-backend stark-backend Public

    Proof system backends for OpenVM.

    Rust 31 14

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

    Solidity SDK for OpenVM.

    Solidity 5 1

  4. openvm-examples openvm-examples Public

    A basic starter program for OpenVM.

    Rust 5 1

Repositories

Showing 8 of 8 repositories
  • stark-backend Public

    Proof system backends for OpenVM.

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

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

    openvm-org/openvm’s past year of commit activity
    Rust 298 Apache-2.0 84 4 12 Updated Jan 8, 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 0 Updated Dec 30, 2025
  • 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 16 0 0 Updated Dec 23, 2025
  • rust Public Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    openvm-org/rust’s past year of commit activity
    Rust 0 15,081 0 1 Updated Dec 10, 2025
  • openvm-org/v2-verify-stark’s past year of commit activity
    Rust 0 0 0 0 Updated Nov 19, 2025
  • openvm-examples Public

    A basic starter program for OpenVM.

    openvm-org/openvm-examples’s past year of commit activity
    Rust 5 1 0 0 Updated Oct 27, 2025
  • openvm-solidity-sdk Public

    Solidity SDK for OpenVM.

    openvm-org/openvm-solidity-sdk’s past year of commit activity
    Solidity 5 Apache-2.0 1 0 0 Updated Sep 2, 2025

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…