➕ A low-level, highly efficient extension to Yul, an intermediate language for the Ethereum Virtual Machine.

Smart contract library for advanced fixed-point math

In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU

⚡️ Ethernaut CTF 2024 Challenges & Solutions

⚡ Modern, opinionated, and gas optimized base for smart contract development.

Multicall: Aggregate multiple constant function call results into one

A collection of EVM puzzles

Optimized Solidity snippets.

A list of Blockchain Security audit companies, solo auditors and location of public audits.

Algorithms and data structures implemented in Solidity

To learn common smart contract vulnerabilities using Foundry!

Here we collect and discuss the best DeFI & Blockchain researches and tools. Feel free to DM me on Twitter or open pool request.

Best resources for Solidity gas optimizations ⛽

A curated list of resources for Huff language

Ethereum solidity graph plain debugger. To have the whole picture when debugging.

A guide to available tools and platforms for developing on Ethereum.

A 6-part series on how to use Echidna on real-world codebases

awesome crypto books

Heuristics for smart contract auditors

Modern, opinionated, and gas optimized building blocks for smart contract development.

Blockchain educational resources curated by the OpenZeppelin team

The Auditor Book

A repo of starter kits for working with various languages and frameworks across the smart contract ecosystem.

UniswapV1 clone made in educational purposes

This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart con…

Correctness proofs of Ethereum token contracts

MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts