Historisch gezien droegen ontwikkelaars de verantwoordelijkheid voor het waarborgen van de veiligheid van de terugbetaling van flashleningen door runtime-controles. We hebben onderzocht hoe Sui Move de veiligheid van flashleningen heroverweegt met garanties op compiler-niveau.