BCH恢复禁用的脚本操作码草案

Version 0.1, 2018-01-19 – 草案供讨论

讨论草案

为了讨论这个草案，附加说明包含在标题草案的标题中。这些打算从这个文件的finalalized版本被删除。

可选规则由表示，其中预期将在工作组内达成共识之后采用所呈现的选项。

引言

本文档描述了重新激活几个脚本操作码的建议要求。 2011年，在OP_LSHIFT和OP_RETURN中发现了两个严重的错误，提示禁用这些和另外13个操作码。 以下的禁用操作码列表按类别细分。

拼接操作

按位逻辑

算术

建议操作码重新启用

建议在分阶段过程中重新引入这些操作码（或等效功能）。第一阶段是在五月硬叉中启用一个有限的子集。

拼接操作：,

按位逻辑：, ,

算术：,

New:

- – 将二进制数组“x”转换为有效（规范）数字元素

- – 将数值“n”转换为长度为“m”的字节数组

提出了一个新的操作，作为，和的替代。所有三种操作都可以用，和的不同组合来模拟。

在按位操作下进一步讨论这些新操作的目的。

脚本数据类型

应该注意的是，在脚本操作中，堆栈中的数据值被解释为二进制字符串（即字节数组）或数字。除非特别声明为解释为数字，否则堆栈上的所有数据都被解释为一个字节数组。

数字类型有特定的限制：

使用的编码是带有明确的符号位（最后一个字节的最高位）的小端。

它们的长度不能超过4个字节。

它们必须使用尽可能最短的字节长度进行编码（没有零填充）3:规则3有一个例外：如果有多于一个字节并且第二个最重要字节的最高有效位被设置， 与符号位冲突。 在这种情况下，左边允许单个0×00或0×80字节。

负零不被允许。

新提出的可以用来在需要时将二进制数组转换为规范的数字。

新提出的操作码可用于将数字转换为长度为n的零填充二进制数组，同时保留符号位。

Endian符号

为了便于阅读，本文档中使用了十六进制字符串，其中使用了大端符号。即：0×0100表示十进制256而不是十进制1。

风险和哲学方法

一般而言，采取的方法是尽可能地限制边缘案例的极简主义方法。 在可能的情况下，与现有的操作码结合使用的原始操作码可能被组合，以产生比一组更复杂的操作码更优选的更复杂的操作。 导致模糊或未定义行为的输入条件应该快速失败。

应针对以下风险状况检查每个操作代码并明确定义缓解行为：

- 操作数字节长度不匹配。在通常预期两个操作数具有匹配的字节长度的情况下，应当定义所产生的行为。

- 带符号的整数是否有符号整数是允许的操作数并且是否需要特殊处理。

- 堆栈大小的影响。元素的数量和元素的总大小。

- 溢出。在操作结果超出MAX_SCRIPT_ELEMENT_SIZE的实例中定义的行为

- 空字节向量操作数。是否允许空字节向量表示为零。

- 空字节向量输出。 请注意，输出一个空字节数组的操作已经有效地将false推送到堆栈上。 如果这是脚本中的最后一个操作，或者如果条件操作符紧跟在脚本之后，则作者必须考虑这种可能性。 对于许多现有的操作码而言，这是现在的情况，所以继续允许这种行为是一致的。

定义

- 堆栈内存使用 – 堆栈元素大小的总和 – 显示对内存使用的影响

- 操作数顺序 – 按照惯例，其中指定了多个操作数，最上面的堆栈项是最后一个操作数。例如x1 x2 OP_CAT – > x2是顶层堆栈项，x1是顶层的下一个堆栈项

- 空字节数组 – 在整个文档中，OP_0用作空字节数组的简便表示。虽然这是一个推送数据操作代码，但它的效果是推空字节数组到堆栈。

拼接操作

OP_CAT

Opcode (decimal): 126 Opcode (hex): 0x7e

连接两个操作数。

x1 x2 OP_CAT out

例如：

Ox11 0x2233 OP_CAT -> 0x112233

这个操作会失败如果：

– 操作无法输出违反元素大小约束的元素

请注意，零长度操作数的连接是有效的

成功执行的影响：

- 堆栈内存使用是不变的

- 堆栈上的元素数量减少一个

输出长度的限制可以防止内存耗尽攻击，导致操作对堆栈大小的影响比现有的OP_DUP操作符小。

单元测试：

其中！ isnum（a）或 ！isnum（b） – 两个操作数都必须是有效的数字

– 除以正零（所有大小），负零（所有大小），OP_0

其中ai>

检查不同长度1..4的操作数的有效结果

OP_MOD

Opcode (decimal): 151 Opcode (hex): 0x97

返回除以b后的余数。输出将使用所需的最少字节数来表示。

a b OP_MOD out where a and b are interpreted as numbers

这个操作会失败如果：

- – 两个操作数都不是有效的数字

-- b是负数或等于任何类型的零

成功执行的影响：

- 堆栈内存使用减少（删除一个元素）

- 堆栈上的元素数量减少一个

单元测试：

其中或- 两个操作数都必须是有效的数字

– 除以正零（所有大小），负零（所有大小），OP_0

其中 ai>

检查不同长度1..4的操作数的有效结果

新操作

草案讨论

为了便于按位逻辑的“操作数必须等长”规则。 需要额外的操作员为脚本作者提供填充操作数的合理方式。 填充字节数组和填充数字之间必须有明确的区别。

结束草案讨论

OP_BIN2NUM

取代并使用它的操作码

Opcode (decimal): 128 Opcode (hex): 0x80

另见

例如：

这个操作会失败，如果：

- 数字值超出可接受的数值范围（当前大小限制为4个字节）

OP_NUM2BIN

取代并使用它的操作码

Opcode (decimal): 129 Opcode (hex): 0x81

将数字值转换为特定大小的二进制数组，考虑符号位。

n m OP_NUM2BIN -> x where m and n are interpreted as numbers

另见。

例如：

这个操作会失败，如果：

n或m不是有效的数字值

mi>

m> MAX_SCRIPT_ELEMENT_SIZE – 结果太大

参考实现

TODO

参考

[1] https://en.bitcoin.it/wiki/Script#Opcodes

引用

原文:https://github.com/shadders/uahf-spec/blob/reenable-op-codes/reenable-op-codes.md