🟢 币圈
EthSystems 利用 AI 辅助验证以太坊隐私资金池，发现验证工具存在缺陷
吴说获悉，以太坊隐私基础设施研发公司 EthSystems 公布隐私资金池（Shielded Pool）形式化验证研究，验证范围从协议规范、零知识证明电路延伸至 Sepolia 测试网上部署的合约字节码。团队使用 Lean、Halmos、Kontrol、Aeneas 和 Verus 等工具，对防止双重支付、资产守恒、智能合约及钱包实现等进行多层验证。
这条消息在 Telegram 频道 币圈NEWS·24H 实时推送
关注 #ETH 等币种，异动、到价、新闻、交易所公告由机器人私信提醒，免费使用。
频道里的样子
24
币圈NEWS·24H
🟢 #币圈 EthSystems 利用 AI 辅助验证以太坊隐私资金池，发现验证工具存在缺陷
吴说获悉，以太坊隐私基础设施研发公司 EthSystems 公布隐私资金池（Shielded Pool）形式化验证研究，验证范围从协议规范、零知识证明电路延伸至 Sepolia 测试网上部署的合约字节码。团队使用 Lean、Halmos、Kontrol、Aeneas 和 Verus 等工具，对防止双重支付、资产守恒、智能合约及钱包实现等进行多层验证。 原文链接
#吴说 #ETH · 🕐 10-27 20:43
吴说获悉，以太坊隐私基础设施研发公司 EthSystems 公布隐私资金池（Shielded Pool）形式化验证研究，验证范围从协议规范、零知识证明电路延伸至 Sepolia 测试网上部署的合约字节码。团队使用 Lean、Halmos、Kontrol、Aeneas 和 Verus 等工具，对防止双重支付、资产守恒、智能合约及钱包实现等进行多层验证。 原文链接
#吴说 #ETH · 🕐 10-27 20:43
20:43