主网测试版在这里看起来不错。 - 证明者竞争异常激烈 - 在 Boundless 上证明几乎是免费的 - 所有证明者都是第三方（Boundless 团队不进行任何证明，完全去中心化） Boundless 是合法的。

在观看SBC的Jigsaw演讲时，我得到了写这个的想法（），这是一种基于coSNARK的私有智能合约方法。

如何通过以下方式构建私有智能合约： - zkSNARK：状态是承诺，一个单一的证明者在明文上计算并发布一个zkSNARK，没有全局解密或访问控制。 - coSNARK：状态是承诺，计算通过MPC在链外进行，因此没有单一服务器看到完整的见证，仍然没有全局解密或访问控制。 - TEE：状态是外部的密文，内部是明文，计算和政策门控解密在远程证明的安全区内运行，依赖于硬件/证明的完整性。 - FHE：状态是一个共同的FHE密钥下的密文，任何人都可以通过链上验证进行同态评估，解密由一个阈值委员会（合谋风险）进行政策门控。 - iO：状态是密文，计算是同态的，一个公共的模糊解密器在没有活跃密钥持有者的情况下强制执行解密政策（没有合谋风险）。

看到这么多主要的L2现在处于第一阶段，真是令人惊叹。 在我看来，我们下一个目标应该是实现快速（<1小时）提款时间，这需要通过有效性（即ZK）证明系统来实现。 我认为这比第二阶段更为重要。 快速提款时间很重要，因为等待一周才能提款对人们来说实在是太长了，即使是基于意图的桥接（例如ERC-7683），如果流动性提供者必须等待一周，资本成本也会变得过高。这会导致人们更倾向于使用具有不可接受信任假设的解决方案（例如多重签名/MPC），这破坏了使用L2而不是完全独立的L1的整个意义。 如果我们能将本地提款时间缩短到短期内1小时以内，中期12秒，那么我们可以进一步巩固以太坊L1作为发行资产的默认场所，以及以太坊生态系统的经济中心。 为此，我们需要摆脱乐观证明系统，因为这些系统本质上需要等待多天才能提款。 历史上，ZK证明技术一直不成熟且成本高，这使得乐观证明成为明智和安全的选择。但最近，这种情况正在迅速改变。是跟踪ZK-EVM证明进展的绝佳地方，这些证明正在迅速改善。ZK证明的形式验证也在进步。 今年早些时候，我提出了一种2-of-3 ZK + OP + TEE证明系统策略，旨在在安全性、速度和成熟度之间找到平衡： * 2 of 3系统（ZK，OP）是无信任的，因此没有单一参与者（包括TEE制造商或侧信道攻击者）可以通过违反信任假设来破坏证明系统 * 2 of 3系统（ZK，TEE）是即时的，因此在正常情况下可以快速提款 * 2 of 3系统（TEE，OP）在各种环境中已经投入生产多年 这是一种方法；也许人们会选择ZK + ZK + OP平局，或ZK + ZK + 安全委员会平局。我对此没有强烈的看法，我关心的是根本目标，即在正常情况下快速且安全。 有了这样的证明系统，快速结算的唯一瓶颈就是在链上提交证明的燃气成本。这就是为什么我说短期内每小时一次：如果你尝试更频繁地提交一个500k+燃气的ZK证明（或一个5m燃气的STARK），会增加很高的额外成本。 从长远来看，我们可以通过聚合来解决这个问题：来自N个rollup的N个证明（加上来自隐私协议用户的交易）可以被一个单一的证明替代，该证明证明了N个证明的有效性。这在每个时隙提交一次变得经济可行，从而实现最终目标：通过L1实现近乎即时的本地跨L2资产转移。 让我们共同努力实现这一目标。

去找女孩们 @chippedsocial 💕

去中心化排序是一种抵抗审查和最小化信任的解决方案。它并不一定意味着更好的正常运行时间。 Rollups能够保持极高的正常运行时间，因为它们拥有集中化的基础设施。去中心化排序（在不受信任的参与者之间）会面临排序者失败的持续风险。虽然网络可能会更快地从这些失败中恢复（与昨天的@base相比，恢复时间少于33分钟），但发生失败的可能性更高。 去中心化排序有许多好处，但它并不是解决我们所有问题的灵丹妙药。

如果你正在使用EigenCloud构建，那么你仍然处于早期阶段 🫡

Depot之前的Rust螃蟹：☠️ 插入Depot Cache + 更快的跑者之后：🦀💨 完整指南在🧵

在2023年，Arbitrum 是一个 FIFO 链，并且没有优先的燃气排序 由于其集中式排序器，Arbitrum 与集中式交易所没有区别

我如何差点摧毁 Arbitrum - 以及它如何让我激进化 🧵