共计 831 个字符,预计需要花费 3 分钟才能阅读完成。
文章目录
摘要
动机
原理
详述 CALL_I CALL_E CALL_ED CALL_ET CALL_EDT
向后兼容性
实现
摘要
本 NEP 提议 NeoVM 计算栈堆栈隔离,以确保动态调用的安全性,并为将来的新功能提供支持。
动机
现在已经实现了 NEP-4(动态调用),但由于 NeoVM 计算栈未被隔离,动态调用的合约可能会在运行时中打断调用者的堆栈,从而导致合约未按预期执行。另一方面,某些功能(例如异常处理)也需要实现堆栈隔离。
原理
我们需要一组新的指令,以便每次调用都创建一个单独的计算栈,并自动将函数的参数复制到新堆栈。函数运行完毕后,返回值将自动复制到调用者的堆栈中。这样,调用的合约对栈的修改,不会影响调用者的行为。
详述
我们添加了五条用于启动堆栈隔离调用的新指令:CALL_I,CALL_E,CALL_ED,CALL_ET,CALL_EDT。
CALL_I 指令 CALL_I 与老指令 CALL 很类似。不同之处在于 CALL_I 需要在其之后跟随一个操作数来表示参数的数量和返回的要拷贝的值。
CALL_E 指令 CALL_E 与老指令 APPCALL 很类似在用于静态调用时。不同之处在于 CALL_E 需要在其之后跟随一个操作数来表示参数的数量和返回的要拷贝的值。
CALL_ED 指令 CALL_ED 与老指令 APPCALL 很类似在用于动态调用时。不同之处在于 CALL_ED 需要在其之后跟随一个操作数来表示参数的数量和返回的要拷贝的值。
CALL_ET 指令 CALL_ET 与指令 CALL_E 很类似。不同之处在于 CALL_ET 会开启一个尾调用。
CALL_EDT 指令 CALL_EDT 与指令 CALL_ED 很类似。不同之处在于 CALL_EDT 会开启一个尾调用。
向后兼容性
所有旧合约都可以在原始指令集中正确执行,但是不建议新合约继续使用旧指令。当新合约需要动态调用时,应避免使用旧指令。
实现
https://github.com/neo-projec…
原文链接:https://github.com/neo-projec…