Historisch gesehen trugen die Entwickler die Verantwortung dafür, die Sicherheit der Rückzahlung von Flash-Darlehen durch Laufzeitprüfungen zu gewährleisten. Wir haben untersucht, wie Sui Move die Sicherheit von Flash-Darlehen mit Compiler-Level-Garantien neu denkt.