Mum, I'm auditing a math heavy codebase, what do I do ?
Feb 1 · 14 min read · I spent 3 days including saturday and sunday deriving formulas from the Gyro ECLP whitepaper. Line by line. Variable by variable. By Sunday night, I understood the math beautifully, and had found exactly zero bugs. That weekend taught me something im...
Join discussion
Invariants and Their Role in Software Systems
Jan 12 · 5 min read · Definition When we design software systems, we often discuss rules, validations, and best practices. These concepts are familiar and useful, but they operate at the surface level of system behavior. Beneath all of them lies a much stronger idea—one t...
Join discussionZero to Hero in Foundry - Part 4: Fuzz & Invariant Tests
Aug 14, 2025 · 10 min read · Recap Awesome! I see you’re back! Part 3 was a banger with some good old testing fundamentals. We wrote a pretty simple bank contract through which users could deposit and withdraw funds, as well as check their balances. Deployed the same using anvil...
Join discussion
Invariant Testing : From 0 to Hero
Dec 19, 2024 · 7 min read · Invariant testing as kind of super-fuzzing Fuzz Test = many randomly generated values and verify assertion Invariant test : apply same idea but to the system as a whole, during an invariant test, the fuzzer run again all functions in all contracts ...
Join discussion
Find Highs Before External Auditors Using Invariant Fuzz Testing
Nov 10, 2024 · 14 min read · Many high severity findings found during private audits by external auditors could have been found by the protocol developers themselves using invariant fuzz testing prior to engaging external auditors. While this doesn’t require developing an “attac...
SPFire commentedIntroducción rápida al invariant Testing
Jul 7, 2023 · 4 min read · Introducción En el dinámico y creciente universo de las Finanzas Descentralizadas (DeFi), la estabilidad y confiabilidad de los protocolos son elementos cruciales para garantizar la seguridad de los fondos y la integridad del ecosistema. En este cont...
Join discussion
