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

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

Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus.

Threshold Schnorr Signatures based on FROST in Rust

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

A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use

cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

Building blocks of a Circle STARK verifier in Bitcoin script

An observatory fork of SP1

A toolkit for polynomial IOPs (PIOPs)

Source code for "Building Cryptographic Proofs from Hash Functions"

The ultimate TypeScript environment for Circom development

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

A zkVM for Decentralized Private Computations (DPC)

A Decentralized Operating System for ZK Applications

Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

A storage system inspired by Besu using Starknet Merkle Trees

A STARK-based VM focused on code reuse, performance, and modularity

A Solidity library for interacting with fhevm.

The Nexus zkVM: The zero-knowledge virtual machine

Fly through your shell history. Great Scott!

Baby SNARK (do do dodo dodo)

Kaspa full-node reference implementation and related libraries in the Rust programming language

Implementation of LTE downlink sniffer based on srsRAN library.

transforming your .proto files into .dot files (and .svg, .png if you happen to have graphviz installed)