🟢 币圈
EthSystems完成隐私池形式化验证，覆盖规范到Sepolia字节码
PANews 10月27日消息，以太坊机构隐私技术机构EthSystems宣布对其隐私池（shielded pool）完成了形式化验证，范围从书面规范一直到Sepolia测试网上运行的字节码。验证按层使用不同工具：模型、电路和哈希用Lean，合约用Halmos和Kontrol，钱包用Aeneas和Verus，验证器和部署通过逐字节重建核对。
这条消息在 Telegram 频道 币圈NEWS·24H 实时推送
关注 #ETH 等币种，异动、到价、新闻、交易所公告由机器人私信提醒，免费使用。
频道里的样子
24
币圈NEWS·24H
🟢 #币圈 EthSystems完成隐私池形式化验证，覆盖规范到Sepolia字节码
PANews 10月27日消息，以太坊机构隐私技术机构EthSystems宣布对其隐私池（shielded pool）完成了形式化验证，范围从书面规范一直到Sepolia测试网上运行的字节码。验证按层使用不同工具：模型、电路和哈希用Lean，合约用Halmos和Kontrol，钱包用Aeneas和Verus，验证器和部署通过逐字节重建核对。 原文链接
#PANews快讯 #ETH · 🕐 10-27 20:08
PANews 10月27日消息，以太坊机构隐私技术机构EthSystems宣布对其隐私池（shielded pool）完成了形式化验证，范围从书面规范一直到Sepolia测试网上运行的字节码。验证按层使用不同工具：模型、电路和哈希用Lean，合约用Halmos和Kontrol，钱包用Aeneas和Verus，验证器和部署通过逐字节重建核对。 原文链接
#PANews快讯 #ETH · 🕐 10-27 20:08
20:08