GetlySolidity Contracts
defi-lab — ERC-4626 Vault Audit Toolkit
$79.00
or $19.75 x 4 installments
Product Description
Local lab + on-chain radar for the ERC-4626 inflation/donation attack class.
Features:
- VULNERABLE — victim diluted AND attacker extracted value
- PROTECTED — post-donation deposits/redeems break (strategy-coupled vaults
- GRIEFING — donation bricks deposits (maxDeposit underflow or panic);
- PARTIAL — victim diluted but attacker cannot exit with the value
- SKIP — not ERC-4626-shaped, at deposit cap, or non-standard token storage
- src/VulnerableVault.sol — ERC-4626-style vault with totalAssets() reading
- src/SafeVault.sol — same vault with the OpenZeppelin virtual-offset fix.
- test/InflationAttack.t.sol — the full attack, end to end, then the same
- test/ForkRecon.t.sol — fork-mode recon against real mainnet contracts
---
*Trading software carries risk of financial loss. Always run in paper/testnet mode first. Source code as-is.*
What you get
1 file · 353.89 KB
- defi-lab.zipZIP · 353.89 KB
Solidity Contracts
defi-lab — ERC-4626 Vault Audit Toolkit
$79.00
or $19.75 x 4 installments
CategorySolidity Contracts
LicenceCommercial use allowed
Package checkPassed
PublishedSep 30, 2026
File size353.89 KB
File formatZIP
Versionv1.0
arideh
Frequently asked questions
Do I get access instantly?
Yes. This is a digital product - you can download it right after checkout, straight from your library.
Can I use it for commercial projects?
Yes. Commercial use is allowed: use it in your own business and in things you sell. You may not resell or redistribute the file itself.
What's your refund policy?
You're covered by a 30-day money-back guarantee. If something isn't right, request a refund from your order and the Getly team reviews it.
What file formats and sizes will I get?
You'll download 1 file - ZIP - 353.89 KB in total.
Do I get free updates?
Yes - when the seller ships a new version, you can re-download the latest files from your library at no extra cost. Check the changelog for recent updates.
Price
$79.00