Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture

Client side zero-knowledge proving.

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Lightweight coding agent that runs in your terminal

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

Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol

The ZK Compression Protocol For Solana

Commonware Library Primitives and Examples

Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

A Decentralized Operating System for ZK Applications

Core components of the Miden protocol

A curated list of insanely awesome libraries, packages and resources for Quants (Quantitative Finance)

ream: an Ethereum Lean client written in Rust

Reference implementation of the node for the Miden blockchain

Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.

Making client-side proving on mobile simple.

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.

RPC server for Soroban contracts.

Solidity implementation of the Renegade darkpool

A Python library for trading automation on DeFi, data research and integration. Supporting Uniswap, Aave, Chainlink, USDC and other protocols.

Internet Computer Developer Portal

A robust execution client for Ethereum node operators.

Internet Computer blockchain source: the client/replica software run by nodes

A deterministic EVM bytecode obfuscator written in Rust

Go implementation of Ethereum proof of stake

STARK-based virtual machine