EthSystems 利用 AI 辅助验证以太坊隐私资金池，发现验证工具存在缺陷

吴说获悉，以太坊隐私基础设施研发公司 EthSystems 公布隐私资金池（Shielded Pool）形式化验证研究，验证范围从协议规范、零知识证明电路延伸至 Sepolia 测试网上部署的合约字节...