A opensource blazing fast EVM relayer - built in rust.

Secure and fast microVMs for serverless computing.

Rust benchmarks of EVM implementations

Create a Stark prover & verifier from zero

Rust performance debug toolkit. Live profiling for allocations, timings, threads, and channel/stream data flows.

A comprehensive framework and node for developing, deploying, and interacting with smart contracts written in Rust and Solidity (including any language that compiles to EVM bytecode, such as Vyper,…

A model of the hash-based signature scheme proposed by Ethereum Foundation.

Binary Proofs, Blazing Fast

A simple RISC-V runtime.

Lean Ethereum protocol specifications and test vector generation framework.

A high-performance algorithmic trading platform and event-driven backtester

Collection of tools for private delegated proving of arbitrary programs.

RISC-V prover system for ZKsync OS

Generalized RISC-V based state transition function for the ZKsync protocol

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

🪿 UltraHonk verifier written in pure TypeScript. It may not be blazing fast, but it's blazing sexy

ream: an Ethereum Lean client written in Rust

the race to prove Ethereum in real-time

On-chain BLS Signature Verification with EIP-2537

The RISC-V EVM Experiment aims to bridge the gap between the RISC-V instruction set architecture and the Ethereum Virtual Machine (EVM). By integrating RISC-V with the EVM, we seek to create a more…

Beacon Chain SNARK zkVM prover

Expander Compiler

JSON-RPC, simplified, using tower and axum

On-chain Ethereum light client built with SP1

Quick Merkle Database

Solidity libraries and contracts for verifying WHIR proofs on the EVM.

Python framework for creating, editing, and invoking Noisy Intermediate-Scale Quantum (NISQ) circuits.