AI 正在更快地发现漏洞。它能捕捉到审计员遗漏的东西，还是会取代他们？ 大多数安全工具都在寻找问题所在。而形式化方法则证明了什么是正确的。为什么更多协议没有使用它们？ L2 承诺可组合性。但你仍然需要等待最终确认。如果不需要呢？ 以太坊的下次升级将在几个月内发布。数据可用性层是否为后量子世界而构建？执行层需要改变什么？ AI 代理将需要进行支付。如何在不违反合规的情况下保持隐私？ 七场演讲。Rekt Summit 和 EthCC。