Historicamente, os desenvolvedores suportavam o fardo de garantir a segurança do reembolso de empréstimos relâmpago através de verificações em tempo de execução. Exploramos como o Sui Move repensa a segurança dos empréstimos relâmpago com garantias a nível de compilador.