The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

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

Solidity Compiler for Solana, Polkadot and Stellar

Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

High-performance, well-tested & documented core libraries for Ethereum, in Rust

A graph based, trait pluggable MEV bundle generator with quadratic gradient descent price optimization implemented in Rust.

A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.

Chain-Fox: An all-in-one platform with automatic security detection ability for blockchains and smart contracts

Aderyn 🦜 Rust-based Solidity AST analyzer.

Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust

Puzzles used in the 2022 Paradigm CTF

Extracts function selectors, arguments, state mutability and storage layout from EVM bytecode, even for unverified contracts

Generate tests based on the Branching Tree Technique.

Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)

Solidity-Compiler Version Manager

Ethereum Signature Database

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

Hyperbridge scales verifiable interoperability