The code in this repository is a part of the Ethereum Developer Program. Kindly check the wiki to access the course content.

Solidity library of smart contracts from the OpenZeppelin Community

This Bash script calculates the Safe transaction hashes by retrieving transaction details from the Safe transaction service API and computing both the domain and message hashes using the EIP-712 st…

Safe allows secure management of blockchain assets.

The Web3 Security Resources Hub is a comprehensive collection of curated tools, guides, and best practices for securing decentralized systems and smart contracts in the blockchain space.

Solidity exploits & challenges.

A sequence of smart contracts to practice gas optimization. These are used as practice assignments for RareSkills.io and the Udemy Gas Optimization Course

These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.

Exercises to learn solidity. This accompanies the RareSkills Learn Solidity resource.

Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.

DeFi Security Breaches: Comprehensive Root Cause Analysis

Interactive formal verification tool for Yul programs

solc inside a browser web worker

starknet-staking

Finds matching solidity function signatures for a given 4 byte signature hash and arguments.

Tool for computing vanity Safe addresses

The Red Guild's devcontainer focused in web3 and security.

K Semantics of the Ethereum Virtual Machine (EVM)

zkSafe allows Safe owners to collectively sign transactions, without revealing who exactly signed it.

A list of public fuzzing campaigns

Fetch Bürgeramt appointments and broadcast them via websockets

A collection of inspiring resources related to engineering management and tech leadership

Certora tutorials

A 100% opensource CLI that goes along with building blocks of smart contract. This toolbox can reduce L2 gas cost by encoding calldata for dApps development to use as little bytes of calldata as po…

Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)