Okm165

A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.

Cairo STARK proof verifier for Starknet

Cairo-VM Stark Verifier Rust implementation

Shared peer-to-peer network of zero-knowledge provers

Zero-Knowledge Proof systems: A Deep Dive from Foundations to Frontiers

Herodotus Data Processor using SP1 as backend

Cairo-VM Stark Verifier Solana deployment

Swift-based zkSNARK Proving&Verifying tool for noir-lang

Utility package designed to facilitate interaction within the Aleph zero ecosystem

Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

stone-cli is a CLI for proving and verifying Cairo programs.

A curated list of zkVM, zero-knowledge virtual machine