ERC4626 Property Tests

Primers for Specialist AI Smart Contract Auditors

The critical bug writeups

Here we collect and discuss the best DeFI & Blockchain researches and tools. Feel free to DM me on Twitter or open pool request.

A curated list of Cosmos ecosystem links, focusing on the security aspect of it

Personal portfolio of performed audits and assessments, as well as qualifications and content created.

The Liquidity Book AMM 🌊📘

Institutional-grade web3 security.

The integrated blockchain purpose-built for finance

Symbolic and concrete EVM execution engine

A curated list of awesome EIP2535 Diamonds resources, libraries, tools, articles and more

Reproduce DeFi hacked incidents using Foundry.

A curated list of Cosmos ecosystem links, focusing on the security aspect of it

WebAssembly Smart Contracts for the Cosmos SDK

⛓️ A Framework for Building High Value Public Blockchains ✨

This project was created to assist participants and judges in Code4rena bot races

Twitter bot to send PNL info

Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)

A comparison of solidity fuzzing tools Foundry, Echidna & Medusa

Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities

Pre-built security properties for common Ethereum operations

Solidity Static Analyzer that easily integrates into your editor

A 6-part series on how to use Echidna on real-world codebases

A collection of Solana programs maintained by Solana Labs

CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.

Guidelines and training material to write secure smart contracts