Skip to content

@openvm-org OpenVM

Change the repository type filter

All

    Repositories list

    12 repositories

    • openvm

      Public
      A performant and modular zkVM framework built for customization and extensibility.
      Rust
      •
      Apache License 2.0
      •97•337•3•9•Updated Apr 11, 2026Apr 11, 2026

    • openvm-coremark

      Public
      Shell
      •
      MIT License
      •0•0•0•0•Updated Apr 11, 2026Apr 11, 2026

    • stark-backend

      Public
      Proof system backends for OpenVM.
      Rust
      •
      Apache License 2.0
      •18•37•0•2•Updated Apr 11, 2026Apr 11, 2026

    • soundcalc

      Public
      A universal soundness calculator across hash-based zkEVMs and security regimes
      Python
      •23•0•0•0•Updated Apr 10, 2026Apr 10, 2026

    • openvm-solidity-sdk

      Public
      Solidity SDK for OpenVM.
      Solidity
      •
      Apache License 2.0
      •1•7•0•1•Updated Apr 10, 2026Apr 10, 2026

    • uint

      Public
      Rust
      •
      MIT License
      •0•0•0•1•Updated Apr 9, 2026Apr 9, 2026

    • hashes

      Public
      Collection of cryptographic hash functions written in pure Rust
      Rust
      •312•0•0•3•Updated Apr 9, 2026Apr 9, 2026

    • tiny-keccak

      Public
      An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve
      Rust
      •
      Creative Commons Zero v1.0 Universal
      •63•0•0•1•Updated Apr 9, 2026Apr 9, 2026

    • openvm-fv

      Public
      Formal Verification of the OpenVM RISC-V Extension
      Lean
      •
      Apache License 2.0
      •0•3•1•0•Updated Mar 23, 2026Mar 23, 2026

    • v2-verify-stark

      Public archive
      Rust
      •0•0•0•0•Updated Feb 16, 2026Feb 16, 2026

    • rust

      Public
      Empowering everyone to build reliable and efficient software.
      Rust
      •
      Other
      •15k•0•0•1•Updated Dec 10, 2025Dec 10, 2025

    • openvm-examples

      Public
      A basic starter program for OpenVM.
      Rust
      •1•6•0•0•Updated Oct 27, 2025Oct 27, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.