简讯

  • EIP-8288 将把抗量子签名和 STARK 证明打包为每个以太坊区块的单一证明。
  • Buterin 表示,如今实现量子安全需要花费约 1000 万 gas 的隐私交易,其成本可能会降至数万。
  • 该提案目前仍是草案,并建立在他周日推动的交易改革 Frames 之上。

以太坊联合创始人 Vitalik Buterin 于周三表示,他希望看到一项将量子安全隐私交易成本降低 99% 以上的提案被纳入未来的网络升级。

他于 6 月参与合著的EIP-8288,将把最繁重的密码学运算移出网络的执行路径。目前,后量子签名长达 2 到 3 千字节,验证需要花费 15 万到 20 万 gas。

STARK 证明的情况更糟,其大小超过 128 千字节,快速生成时甚至可达 512 千字节,这使得验证需要花费数百万 gas。Buterin 发推称,如今一笔精心设计的隐私交易花费约 30 万 gas,而若要实现量子安全,则大约需要 1000 万 gas。Buterin 表示,在 EIP-8288 下,两者的成本都将降至数万的低位。

其运作方式是完全不把密码学运算放到链上。相反,一笔交易会声明一个“依赖项”——即一个简短的声明,声称某条消息由某个密钥签名,或某些数据满足某个证明——其大小为 96 字节。随后,内存池节点每秒收集这些声明,生成一个单一的递归 STARK 一次性证明所有这些声明,并将其传递下去。区块中只携带一个覆盖其中所有内容的证明。

关于 RISC-V 的决定

递归证明需要一种通用语言来表达语句,而主要候选者是RISC-V,一种用于芯片设计的开放指令集。采纳该提案将使其成为以太坊事实上的规范指令集,Buterin 称这是一个“重大决定”,应当谨慎对待,而他认为这是必要的。

Myriad:当比特币突破10万美元时,ETH会突破4000美元吗?点击做出你的预测。
Myriad:当比特币突破10万美元时,ETH会突破4000美元吗?点击做出你的预测。

他在7月提出了同样的举措,在一份精简以太坊路线图中,该路线图将在三到四年内重建几乎所有主要协议组件,并将递归STARKs置于核心地位。

他构想的另一个用途是隐私账户抽象:将账户的逻辑在链上隐藏起来,然后在单笔交易中更改与其关联的每个头寸和持仓的所有权,而不透露具体是哪些。

EIP-8288由Buterin与Thomas Coratger共同撰写,依赖于Frames,这是他在周日推广的交易改革——而该改革本身也尚未排期。他希望两者都纳入I-star,即Hegota之后的升级,他曾表示这将是精简时代开始前以太坊的最后一次升级。两者都尚未被分配到任何分叉。