A curated list of awesome Ethereum security references

My work for Rareskills ZK Book.

zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!

The fastest, most feature-complete zkVM for developers.

Empowering everyone to build reliable and efficient software.

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

A tool that performs extraction of storage layouts based on EVM bytecode.

A collection of EVM puzzles

Zuzalu Passport

🧰 Export Ethereum contract bytecode on compilation ⚙️

Cross-chain create2 factory for Safe contract deployments

An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu

A quick reference for EVM opcodes

Solidity, the Smart Contract Programming Language

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

Diff EVM-compatible chains in a friendly format

Vitalik's annotated eth2 spec. Not intended to be "the" annotated spec; other documents like Ben Edgington's https://benjaminion.xyz/eth2-annotated-spec/ also exist. This one is intended to focus m…

A web application showcasing the implementation and usage of EIP-6963 for Multi Injected Provider Discovery

Go implementation of the Ethereum protocol

Collection of APIs provided by Ethereum execution layer clients

Specification for the Execution Layer. Tracking network upgrades.

Platform to experiment with the AI Software Engineer. Terminal based. NOTE: Very different from https://gptengineer.app

🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4

Noir is a domain specific language for zero knowledge proofs

Uniswap V3 Development Book

Open source software that helps you create and deploy high-frequency crypto trading bots

A Decentralized Operating System for ZK Applications