FazBrowse GitHub Viewer | Trending | | Home

Tools: [Original HTTPS Page]

OpenVM · GitHub

OpenVM

Overview
Repositories
Packages
People

Pinned Loading

openvm openvm Public

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

Rust 394 126
stark-backend stark-backend Public

Proof system backends for OpenVM.

Rust 40 22
openvm-solidity-sdk openvm-solidity-sdk Public

Solidity SDK for OpenVM.

Solidity 8 1
openvm-examples openvm-examples Public

A basic starter program for OpenVM.

Rust 7 1
openvm-fv openvm-fv Public

Formal Verification of the OpenVM RISC-V, Keccak, and SHA-2 Extensions

Lean 14
openvm-coremark openvm-coremark Public

Shell 2

Repositories

Type Language Sort

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

openvm-org/openvm's past year of commit activity

Rust 394 Apache-2.0 126 0 6 Updated Aug 28, 2026
stark-backend Public
Proof system backends for OpenVM.

openvm-org/stark-backend's past year of commit activity

Rust 40 Apache-2.0 22 0 3 Updated Aug 28, 2026
openvm-solidity-sdk Public
Solidity SDK for OpenVM.

openvm-org/openvm-solidity-sdk's past year of commit activity

Solidity 8 Apache-2.0 1 0 0 Updated Aug 11, 2026
openvm-coremark Public

openvm-org/openvm-coremark's past year of commit activity

Shell 2 MIT 0 0 1 Updated Jul 29, 2026
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 1 Apache-2.0 17,243 0 0 Updated Jul 19, 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 1 26 0 0 Updated Jul 17, 2026
openvm-fv Public
Formal Verification of the OpenVM RISC-V, Keccak, and SHA-2 Extensions

openvm-org/openvm-fv's past year of commit activity

Lean 14 Apache-2.0 0 1 0 Updated Jul 15, 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 1 351 0 0 Updated Jul 10, 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 1 CC0-1.0 65 0 0 Updated Jul 10, 2026
openvm-examples Public
A basic starter program for OpenVM.

openvm-org/openvm-examples's past year of commit activity

Rust 7 1 0 0 Updated Jul 10, 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…

Back | FazBrowse Home | New Git URL