Library to handle BLS singature verification (Meant for ETH2)

A tool for analyzing the security and parameters of a solidity smart contract

State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.

Guidelines and training material to write secure smart contracts

An EVM low-level language that gives full control over the control flow of the smart contract.

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

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

An extensible and practical demonstration of constructing evm-based sandwich attacks built with ethers-rs and Huff language.

A collection of commonly used, vigorously tested Huff contracts for learning purposes.