BlockChain

If you don't understand how numbers behave in Solidity, you are auditing blind. Links in the comments 👇

ERC4626 Property Tests

Are you a security researcher looking to join a world-class team? Apply to open positions at Guardian here: https://guardianaudits.com Interested in getting hands-on training to become an expert security researcher in a matter of months? Get the guide to becoming a senior auditor in 6 months here: https://www.intogateway.com/guide Looking for a Smart Contract Audit? Apply to work with the Guardian team on our website: https://guardianaudits.com Join our community aimed at building and sharing a wealth of blockchain and solidity knowledge to help developers/auditors of all levels transform the web3 ecosystem: https://lab.guardianaudits.com/ If you're still not 100% confident in your web3 auditing skills, I collaborated with several other top security professionals in the space to bring you the most comprehensive & effective web3 security course ever! You can take $50 off using my link here: https://smartcontractshacking.com/?referral=owen 00:00 - Intro 02:25 - The Boolean formula 04:11 - How this translates to a smart contract 06:14 - The SMT checker 09:51 - What to do to make this invariant hold 13:22 - Other flags that can be used 17:17 - Get a free quote 18:12 - Join the Solidity lab

EVM transactions querying CLI powered by Revm

Welcome to The Notorious Bug Digest #3—a curated compilation of insights into recent Web3 bugs and security incidents.

A curated list of smart contracts security audits checklists and resources. - rudraimmunefi/awesome-audits-checklists

Ethereum transaction visualizer. Generates UML sequence diagram for a transaction's contract calls. - naddison36/tx2uml

Rust For Web3 and Solana Development Encyclopedia 🌐 (WIP) - wiseaidev/rust-web3-solana

Code examples for the technical note "Liquidity Math in Uniswap v3" - atiselsts/uniswap-v3-liquidity-math

DeFi Risk Specialists: Building Trust, Transparency, and Growth in Decentralized Finance

A new tool that blends your everyday work apps into one. It's the all-in-one workspace for you and your team

A complete collection of all the Solana programming resources available for developers. - SolanaNatives/Solana-Programming-Resources

You should read these articles 👇 👉 Typical vulnerabilities in lending and CDP protocols: 🔗 👉 Typical vulnerabilities in LSD protocols: 🔗 👉 Typical… — Shieldify Security (@ShieldifySec)

We will explore the recent onslaught of rounding issue exploits haunting the world of DeFi. From relatively smal and unknown Compound v2 fork exploits to Bal...

However, not many people are sharing how to prepare for the audit. If you're planning on joining the audit next… — 33Audits (@solidityauditor)

Preface In the current blockchain ecosystem, Solana is […]

SekaiCTF ZOO author writeup

List of resources to understand what 'mev' is. . Contribute to Lilyjjo/mev_reading_list development by creating an account on GitHub.

Solidity × Any-Language Transpiler for Foundry. Contribute to ZeroEkkusu/solx development by creating an account on GitHub.

with simplified examples

English version. Contribute to agiletechvn/go-ethereum-code-analysis development by creating an account on GitHub.

Observations and tips checklist for auditing protocols on multiple chains 🧐 - 0xJuancito/multichain-auditor

The purpose of this class is to bring together students and interdisciplinary experts in Computer Science and Finance to discuss the emerging area of Decentralized Finance (or DeFi). DeFi has experienced an unprecedented growth, with hundreds of projects and a countless stream of financial, distributed systems, and blockchain innovations.