Master programming by recreating your favorite technologies from scratch.

The best smart contracts in one place.

Upgradeable variant of OpenZeppelin Contracts, meant for use in upgradeable contracts.

Formal verification for Solidity smart contracts with Coq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!

SC Audit Studio, also known as Smart Contract Audit Studio, is a powerful tool that serves as an all-in-one Integrated Development Environment for smart contract auditing.

Titanoboa-based vyper smart contract development framework

Developer Wallet & DevTools for Anvil

White hat frontrunning script to outpace hackers and secure funds from compromised wallets.

Website for the Underhanded Solidity Contest

A list of public audit reports conducted by the Cyfrin team

A portfolio repository for Egis Security's past audits

A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.

A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.

Observations and tips checklist for auditing protocols on multiple chains 🧐

A library of blockchain security resources for various categories in blockchain.

📖 A curated list of resources dedicated to Account Abstraction (EIP-4337)

Public reports of audits performed by Nethermind Security

A hyper gas optimized and formally verified smart contract, written in huff. 🐎

weird erc20 tokens

Information about web3 security and programming tutorials/tools

⚡️ Ethernaut CTF 2024 Challenges & Solutions

Gaining the most elusive of tips. Add your input and let's collect them all!

DeFi Developer roadmap is a curated Developer handbook which includes a list of the best tools for DApps development, resources and references!

A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.

A Python package to clone a repo and automatically prepare it for audit report generation