本NEP提议NeoVM计算栈堆栈隔离,以确保动态调用的安全性,并为未来的新功能提供支持。git
如今已经实现了NEP-4(动态调用),但因为NeoVM计算栈未被隔离,动态调用的合约可能会在运行时中打断调用者的堆栈,从而致使合约未按预期执行。
另外一方面,某些功能(例如异常处理)也须要实现堆栈隔离。github
咱们须要一组新的指令,以便每次调用都建立一个单独的计算栈,并自动将函数的参数复制到新堆栈。函数运行完毕后,返回值将自动复制到调用者的堆栈中。这样,调用的合约对栈的修改,不会影响调用者的行为。安全
咱们添加了五条用于启动堆栈隔离调用的新指令:
CALL_I,CALL_E,CALL_ED,CALL_ET,CALL_EDT。函数
指令CALL_I与老指令CALL很相似。不一样之处在于CALL_I须要在其以后跟随一个操做数来表示参数的数量和返回的要拷贝的值。get
指令CALL_E与老指令APPCALL很相似在用于静态调用时。不一样之处在于CALL_E须要在其以后跟随一个操做数来表示参数的数量和返回的要拷贝的值。it
指令CALL_ED与老指令APPCALL很相似在用于动态调用时。不一样之处在于CALL_ED须要在其以后跟随一个操做数来表示参数的数量和返回的要拷贝的值。ast
指令CALL_ET与指令CALL_E很相似。不一样之处在于CALL_ET会开启一个尾调用。兼容性
指令CALL_EDT与指令CALL_ED很相似。不一样之处在于CALL_EDT会开启一个尾调用。原理
全部旧合约均可以在原始指令集中正确执行,可是不建议新合约继续使用旧指令。当新合约须要动态调用时,应避免使用旧指令。im