Исторически разработчики несли бремя обеспечения безопасности погашения флеш-займов через проверки во время выполнения. Мы исследовали, как Sui Move переосмысляет безопасность флеш-займов с помощью гарантий на уровне компилятора.