文章目录

摘要

动机

原理

详述

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-project/neo-vm/pull/39

原文链接：https://github.com/neo-project/proposals/blob/master/nep-8.mediawiki