Secrypta
лаборатория криптобезопасности
Инструменты для безопасной работы с криптой: учись на реальном testnet и проверяй смарт-контракты инвариантами.
sandbox · live
Крипто-песочница
Интерактивный тренажёр на реальном testnet: живой кошелёк, настоящие транзакции и учебные security-атаки — учишься не терять деньги, безопасно.
audit · CLI · open-source
Invariant
Open-source CLI-генератор инвариантов и фаззинг-харнессов для смарт-контрактов — помогает находить нарушения свойств до аудита.
Для команд
Нужно обучение сотрудников против дрейнеров или проверка инвариантов под ваш контракт? Напишите — обсудим формат.
Связаться