Lilian Cariourasengansec.hashnode.dev·Dec 19, 2024Invariant Testing : From 0 to HeroInvariant 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 ...echidna
Daciandacian.me·Nov 10, 2024Find Highs Before External Auditors Using Invariant Fuzz TestingMany 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...17 likes·1.6K readsDeep DivesEthereum
decentraluisdecentraluis.hashnode.dev·Jul 7, 2023Introducción rápida al invariant TestingIntroducció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...fuzzing
