在2017年初，我和@ameensol以及几位Raiden的同事在柏林的一家肮脏的旅馆里度过了一周，讨论状态通道设计。虽然这并不直接属于L2，但我们当时所做的一些工作为今天的L2铺平了道路。

研究过去的智能合约漏洞对于成为更好的Solidity开发者非常有帮助。 我最近花了一些时间回顾过去几年发生的许多漏洞。 理解黑客攻击的根本原因是学习如何以不同的方式思考编写代码的好方法。 这也让你对在查看新代码库时哪些组件最关键有更好的直觉。 我建议任何想要提高自己Solidity水平的人去查看@RektHQ上的过去漏洞，或者查看@phylaxsystems的文档，我们在其中对黑客攻击进行了分析，并说明了如何通过断言来防止这些攻击。 通过研究这些过去的黑客攻击，我意识到，漏洞往往是由于代码中缺少检查或错误的计算导致协议进入了不应处于的状态。一旦漏洞发生，错误通常显得很明显。我们需要确保协议能够更容易地识别这些问题。 许多协议将受益于花时间定义不变式，并确保这些不变式不会被违反。 编写断言是确保这些不变式永远不会被违反的好方法。 我最近花时间研究的最新漏洞是2025年3月的Abracadabra漏洞，损失约1300万美元： 漏洞：sendValueInCollateral()提取了真实代币，但忘记更新内部会计变量 漏洞利用：orderValueInCollateral()即使在代币被移除后仍然报告相同的抵押价值 结果：攻击者反复借用“虚假抵押品”，直到资金被抽干 一个检查“报告的抵押品”与“实际抵押品”匹配的简单不变式的断言本可以防止这次黑客攻击。

当@mintlify团队在他们的语法高亮工具中破坏了与语言的兼容性时，我非常生气，没有任何警告。 但我得承认，自那以后，他们不断推出很酷的功能，而且高亮工具也很快修复了。

你要么明白为 Tornado Cash 的斗争对加密货币来说是生死攸关的，要么你就不理解加密货币。

可以确认这有效，且和听起来一样简单。

🔥 我们每天都在努力工作16小时，来打这场法庭战斗。 审判快要结束了——但我仍然面临巨额的法律费用。 💸 费用令人难以承受，捐款是我们维持生计的唯一方式。 🙏 我知道我们已经筹集了很多，没有人能预测真正需要多少。 但如果你相信开源、隐私和公平，请帮助我们： 👉 每一分都很重要。谢谢 ❤️

2015年，当我第一次作为独立创始人开始构建Etherscan时，有时会感到"卡住"（那时候没有AI助手！）。一个特别棘手的领域是"内部交易"。我记得深夜在Gitter上联系Peter——他非常乐于助人且友好……他回复了我，解释了问题，甚至画了图。 2016年，在试图弄清楚如何让Etherscan可持续发展（在申请基金会资助时被拒绝😅）时，我申请了@BoostVC。他们需要一个推荐人——Peter很友好地同意了。 Peter不仅帮助了以太坊——他还帮助了围绕它构建的人们。真诚地祝愿你在下一个篇章中一切顺利，@peter_szilagyi。🙏

Ameen 是以太坊。 我们是 Ameen。

这真是太离谱了。 美国司法部/FBI/南区检察官办公室/国税局刑事调查局正试图将罗曼·斯托姆——一名美国软件开发者——监禁数十年，因为朝鲜政府使用了他的软件。他们还引入了证据，声称将他们的证人——一个诈骗受害者——与他的Tornado Cash软件联系在一起... ⤵️

是时候在黑客攻击发生*之前*采取预防措施了。 Credible Layer 的 V1 版本已经上线。 Beta 测试现在开始。 我们已经为此工作了很长时间，并对其可能产生的影响感到非常乐观。 以下是它的工作原理。 Credible Layer 由四个组件组成： > 断言：用 Solidity 编写的安全规则，定义不应发生的状态（例如，“实现地址不应更改”，“价格在单笔交易中不应偏离超过 x%”）。 > 协议：团队为其合约定义断言并在链上注册。 > 区块构建者/排序器：网络基础设施在区块包含之前验证每笔交易是否符合断言，丢弃任何违反安全规则的交易。 > 透明度仪表板：显示哪些协议受到保护以及如何保护。 以下是交易流程的详细分解，以便让您了解它在实际中的工作方式： > 用户向网络提交交易 > 交易进入内存池 > OP-Talos 接收交易以进行潜在包含 > OP-Talos 参考与交易交互的合约相关的断言 > PhEVM 模拟交易执行并创建交易前/后状态快照 > 所有相关断言针对这些状态执行 > 如果任何断言回滚 → 交易标记为无效并被丢弃 > 如果所有断言通过 → 交易包含在区块中 如果一笔交易会导致黑客攻击，并且合约受到 Credible Layer 的保护，则该交易将被丢弃。如果合约没有受到保护，则该交易将被包含。 使上述过程成为可能的系统： > OP-Talos：为 OP Stack rollups 定制的区块构建器，协调验证过程并构建排除违反断言的交易的区块。 > PhEVM（OP-Talos 的执行机构）：在一个隔离的链下环境中执行断言字节码，并提供特殊的预编译以高效访问状态。 > 断言 DA：存储断言源代码和字节码，向区块构建者提供断言代码。 > Credible Layer 协议：管理断言链上注册的智能合约，将断言映射到受保护的合约。 这为您的 dapp 提供了以下功能： • 防止黑客攻击，而不是检测它们：在执行之前阻止攻击 • 无误报：仅阻止明确违反定义规则的交易 • 开发者友好：用 Solidity 编写的断言 • 非侵入性：不需要修改现有合约 • 高性能：在 50 毫秒内处理 1,500 多笔交易 • 透明：所有断言在链上可见 今天可供开发者测试。您可以： > 部署合约 > 编写断言 > 编写测试 > 测试黑客交易是否会破坏您的断言 如果您感兴趣，请联系。我们目前正在进行白名单访问。 安全性正在发生变化。 （重大公告即将发布）。