Смарт-контракты

Работа с деньгами в блокчейне, написанная так, будто её уже атакуют.

Хранилища, обмены, расчёты и intent-потоки. Код в блокчейне публичен и не правится незаметно, поэтому его проверяют построчно и тестируют намеренными атаками до того, как он получит реальные деньги.

• Расчёты, хранилища, AMM и intent-потоки
• Тесты инвариантов и свойств до выхода любого сценария в основную сеть
• Обновление, пауза и администрирование рассматриваются как поверхность атаки