Открываем исходники: инвариант-харнесс для ERC-4626

Мы выложили небольшой набор инструментов с лицензией MIT для проверки «хранилищ» (vaults) на Ethereum: каталог инвариантов, которые должно соблюдать любое ERC-4626-хранилище, и фаззинг-харнесс на Foundry, который автоматически прогоняет тысячи операций по контракту и сигналит о любом нарушенном правиле.

Чтобы доказать, что он работает, в комплекте идут игрушечные контракты — часть намеренно сломана, часть корректна. Харнесс ловит баг donation/inflation на сломанных и молчит на исправленном — с нулём ложных срабатываний.

На наивном хранилище атакующий забирает 100% вклада жертвы; с offset ≥ 3 от OpenZeppelin потери — пыль.

Полезно, если вы пишете хранилища (наведите харнесс на свой контракт) или изучаете, как инвариант-тестирование работает на практике. Код и полный разбор — на GitHub.