简讯 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美元吗?点击做出你的预测。 他在7月提出了同样的举措,在一份精简以太坊路线图 中,该路线图将在三到四年内重建几乎所有主要协议组件,并将递归STARKs置于核心地位。
他构想的另一个用途是隐私账户抽象:将账户的逻辑在链上隐藏起来,然后在单笔交易中更改与其关联的每个头寸和持仓的所有权,而不透露具体是哪些。
EIP-8288由Buterin与Thomas Coratger共同撰写,依赖于Frames ,这是他在周日推广的交易改革——而该改革本身也尚未排期。他希望两者都纳入I-star,即Hegota 之后的升级,他曾表示这将是精简时代开始前以太坊的最后一次升级。两者都尚未被分配到任何分叉。