Storicamente, gli sviluppatori si sono assunti il compito di garantire la sicurezza del rimborso dei prestiti flash attraverso controlli in fase di esecuzione. Abbiamo esplorato come Sui Move ripensi la sicurezza dei prestiti flash con garanzie a livello di compilatore.