Secrypta
лаборатория криптобезопасности
Инструменты для безопасной работы с криптой: учись на реальном testnet и проверяй смарт-контракты инвариантами.
Крипто-песочница
Интерактивный тренажёр на реальном testnet: живой кошелёк, настоящие транзакции и учебные security-атаки – учишься не терять деньги, безопасно.
Invariant
Open-source CLI-генератор инвариантов и фаззинг-харнессов для смарт-контрактов – помогает находить нарушения свойств до аудита.
Статьи и разборы
Все статьи →Открываем исходники: инвариант-харнесс для ERC-4626
MIT-набор для ERC-4626-хранилищ: каталог инвариантов + фаззинг на Foundry. Ловит donation/inflation с нулём ложных срабатываний.
Читать → ЛентаЛента угроз
Короткие датированные алерты и разборы drain-векторов: permit-подписи, address poisoning и другое – по мере появления.
Открыть ленту →Для команд
Нужна проверка инвариантов под ваш контракт? Напишите – обсудим формат.
Связаться