【英文长推】Taiko 上线多重 ZK 证明,为什么我仍然认为它更像 Optimistic Rollup?
Chainfeeds 导读:
最近 L2 领域最大的新闻之一是,Taiko 主网上线多重 ZK 证明,启用了由 RISC Zero 和 Succinct 提供支持的两个不同的 zk 证明者。然而,加密研究员 bartek.eth 认为 Taiko 更像 Optimistic Rollup:只有部分区块有 Zk 证明,具有类似于欺诈证明窗口的冷却期机制。
文章来源:
https://x.com/bkiepuszewski/status/1858586713569771720
文章作者:
bartek.eth
观点:
bartek.eth:Taiko 有一个多重证明系统,可以用更高级别的证明覆盖更低级别的证明。层级定义如下: 1. SGX 证明 2. Risk0 的 ZK 证明 3. SP1 的 ZK 证明 4. 1/8 少数人监护人 MSig 5. 6/8 多数监护人 MSig 当你提交 SGX 证明时,它可以被更高层次的任何证明覆盖。Taiko 不会强迫你使用 ZkProofs,当你提出一个区块时,你可以用 SGX 证明它。他们确实强迫自己的证明者用 ZK 证明来证明一小部分区块,但他们证明的大部分区块目前只有 SGX 证明。因此,只有部分区块有 Zk 证明。 与 Zk Rollups 必须通过 Zk Proofs 证明「每个」 L2 区块不同,在 Taiko 中,只有少数区块有 Zk Proofs,其余区块则是 SGX 证明或 MultiSig 证明。此外,由于每个证明(除顶层外)都可以提出质疑,因此会有一个「冷却期」—— 类似于 Optimistic Rollups 中的欺诈证明窗口,在此期间你可以提出质疑。只有在冷却期结束后,L1 上的新 L2 状态根才会「最终确定」。这就是为什么即使引入了 ZkProofs,Taiko 仍然更像 Optimistic Rollup。它们有冷却期(欺诈证明窗口),一些状态根根本没有 Zk 证明。 那么,目前 Taiko 的信任假设是什么呢?事实证明,它们还是很薄弱。如果恶意提议者成功贿赂了当前 8 个 MultiSig 签名者中的 3 个(即少数),那么恶意状态根可以简单地由其中一个添加(即 1/8 MultiSig)。此恶意状态根无法受到质疑,因为下一个(也是最后一个)证明层级是 6/8 MultiSig,如果有 3 个恶意成员,则无法达到法定人数。因此,该恶意状态根将在冷却期结束后最终确定。少数恶意用户能影响系统的安全性(即窃取用户资金),这使得 Taiko 仍然处于阶段 0。我希望他们能尽快进入 Stage1—— 他们似乎已经具备了 Stage1 的所有必要条件。【原文为英文】
内容来源免责声明:文章中的所有内容仅代表作者的观点,与本平台无关。用户不应以本文作为投资决策的参考。
你也可能喜欢
Virtuals Protocol年度总结:从生态建设,到打造AI智能体的数字国度
未来几年内,完全有可能出现一个以智能体为主体的“国家”,其 GDP 超过当今世界上的主要经济体。
Solana 重质押协议 Solayer 获得治理代币和基金会
Solayer基金会已成立,旨在支持Solana的再质押协议Solayer。LAYER治理代币也将推出,旨在促进再质押平台的进一步发展,并计划进行即将到来的认领,尽管尚未提供具体日期。
据报道,Terraform Labs联合创始人Do Kwon在引渡后于曼哈顿法院对刑事指控表示不认罪
简讯 Terraform Labs联合创始人Do Kwon被指控多项罪名,其中包括洗钱罪。据Inner City Press在X平台上的一篇报道中称,“Do Kwon正在与他的其中一位律师交谈,面带微笑——显然心情不错。”
每日新闻:Kekius Maximus 山寨币在埃隆·马斯克更改个人资料后暴跌,以太坊ETF月流入创纪录达20亿美元及更多内容
快速摘要:埃隆·马斯克将其X个人资料从Kekius Maximus改回,引发了基于以太坊的同名模因币在元旦当天一个多小时内价格暴跌75%。美国的现货以太坊ETF在12月创下超过20亿美元的资金流入记录,几乎是11月的两倍。美国国税局将新的加密货币成本基础报告规则的实施推迟到2026年1月1日,给予经纪商更多时间进行调整。以下文章改编自The Block的通讯