Ingyenes letöltés1 rész · 2 percÍrta: Dezső Mező · Megjelent .mdtemplateSolidity + Markdownblockchainfoundryinvariantaudit
Indulósablon invariáns-teszteléshez Foundryban · handlerek, ghost-változók, 8 pattern kész kóddal. MIT.
Foundry invariáns-teszt scaffold · base Handler, ghost state, pre/post-delta assertek, cross-function coupling teszt, konzerváció, monotonicity, bounded-state. 200k fuzz-run készen.
01Mit tartalmaz a fájl
- Base Handler contract sablon
- 8 invariáns pattern kész Foundry-kóddal
- Ghost-változó minta property-tracking-re
- forge-config + optimális fuzz-run paraméterek
- CI-integráció · GitHub Actions workflow
Amit érdemes elvinni
- Base Handler contract sablon
- 8 invariáns pattern kész Foundry-kóddal
- Ghost-változó minta property-tracking-re
- forge-config + optimális fuzz-run paraméterek
- CI-integráció · GitHub Actions workflow
Az írásban használt fogalmak
Több a laborból
Összes bejegyzés- Okosszerződés threat model sablon
- ERC-4337 paymaster starter
Mennyibe kerül tényleg a Solana-RPC, amikor a prototípus már működik
Solana buktatók, amiket az Anchor nem szüntet meg
Megnézzük ugyanezt a te rendszereden?Kezdjünk bele
