bluele

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

reth

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

usbipd-win

Windows software for sharing locally connected USB devices to other machines, including Hyper-V guests and WSL 2.

oil

Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!

hashes

Collection of cryptographic hash functions written in pure Rust

rustsec

RustSec API & Tooling

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

tendermint-rs

Client libraries for Tendermint/CometBFT in Rust!

rust-simple_logger

A rust logger that prints all messages with a readable output format.

nvtrust

Ancillary open source software to support confidential computing on NVIDIA GPUs

mystikos

Tools and runtime for launching unmodified container images in Trusted Execution Environments

minimal-elf

Creating a minimal ELF file

tendermint-sol

Tendermint in Solidity

lcp

A proxy for light client verification executed in TEE.

cosmos-ethereum-ibc-lcp

A bridge demo between Cosmos and Ethereum using IBC and LCP

ibc-proxy

IBC-Proxy is a module that proxies light client verification

tendermint-zk-ibc

Tendermint ZK Light Client for ibc-solidity

yui-relayer-build

IBC Relayer for heterogeneous blockchains

ethereum-ibc-rs

Ethereum Light Client for IBC

ethereum-ibc-relay-chain

forge-tx-replay

A small library for Forge that makes it easy to replay transactions and inspect the contract code and state

ethereum-ibc-relay-prover

parlia-elc

cross-cdt

ibc-quorum-relay

Relayer module for GoQuorum

solidity-mpt

A verification library for Merkle Particia Tree in Solidity

ethereum-light-client-rs

A rust implementation of the ethereum light client that supports no_std

fabric-batch-chaincode

This library enables batch transactions in chaincode without additional trusted systems.

ibc-proxy-relay

A yui-relayer module to enable IBC between chains that use ibc-proxy.