Tag feed

#invariant-testing

7 posts0 followers

Explore Hashnode

Alternatives

Trending tags this week

MGMayckon Giovaniprotocol101.hashnode.devMay 26 · 4 min read

Protocol Core 101 — Bugs Are Not Exceptions

Software engineering still treats bugs as anomalous events: deviations from intended behavior caused by incorrect logic, incomplete validation, or implementation mistakes. This framing is convenient b

0

LCLilian Cariourasengansec.hashnode.devFeb 1 · 14 min read

Mum, I'm auditing a math heavy codebase, what do I do ?

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...

0

APAbhilash PSabhilashps.meJan 12 · 5 min read

Invariants and Their Role in Software Systems

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...

0

AAAbhiram Ablog.bitcodex.techAug 14, 2025 · 10 min read

Zero to Hero in Foundry - Part 4: Fuzz & Invariant Tests

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...

0

LCLilian Cariourasengansec.hashnode.devDec 19, 2024 · 7 min read

Invariant Testing : From 0 to Hero

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 ...

0

DDaciandacian.meNov 10, 2024 · 14 min read

Find Highs Before External Auditors Using Invariant Fuzz Testing

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...

1

SP

Ddecentraluisdecentraluis.hashnode.devJul 7, 2023 · 4 min read

Introducción rápida al invariant Testing

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...

0

#invariant-testing

Search Hashnode

#invariant-testing

Explore Hashnode

Trending tags this week

Protocol Core 101 — Bugs Are Not Exceptions

Mum, I'm auditing a math heavy codebase, what do I do ?

Invariants and Their Role in Software Systems

Zero to Hero in Foundry - Part 4: Fuzz & Invariant Tests

Invariant Testing : From 0 to Hero

Find Highs Before External Auditors Using Invariant Fuzz Testing

Introducción rápida al invariant Testing