raxhvl

execution-spec-tests

A Python framework and collection of test cases to generate test vectors for Ethereum execution clients

yellowpaper-distilled

Easy to read notes on Ethereum "Yellow Paper".

eclair

A Solidity interpreter

huff-rs

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

evm-bench

🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.

evm-from-scratch

Super secret 100% practical EVM course. Please do not share

EVMYulLean

Executable formal model of the EVM and Yul in Lean 4.

revmc

JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.

ecdsa-private-key-recovery

A simple library to recover the private key of ECDSA and DSA signatures sharing the same nonce k and therefore having identical signature parameter r

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

crysol

Elliptic curve cryptography in pure Solidity for on- and offchain operations

ronkathon

Cryptography Educational Foundations

nimbus-eth2

Nim implementation of the Ethereum Beacon Chain

constantine

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

heimdall-rs

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

zk-bug-tracker

A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

public-disclosures

solidity_ensure

Usage of require(condition) pattern with Custom Errors

magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

evmole

Extracts function selectors and arguments from bytecode, even for unverified contracts

public-pentesting-reports

A list of public penetration test reports published by several consulting firms and academic security groups.

write-up

:smirk_cat: CTF write-ups

goevmlab

Evm laboratory

mud

MUD is a framework for building autonomous worlds

quickcheck

Automatic testing of Haskell programs.

echidna

Ethereum smart contract fuzzer

ethereum-consensus

evm.codes

Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference

DeFiHackLabs

Reproduce DeFi hacked incidents using Foundry.

ZKHack_project