Historicky nesli vývojáři břemeno zajištění bezpečnosti splácení flash půjček prostřednictvím kontrol za běhu. Zkoumali jsme, jak společnost Sui Move přehodnocuje zabezpečení bleskových půjček pomocí záruk na úrovni kompilátoru.