RecodeX 重构消息，以太坊隐私基础设施研发公司EthSystems公布了一项针对隐私资金池（Shielded Pool）的形式化验证研究，验证范围从协议规范、零知识证明电路延伸至部署在Sepolia测试网上的合约字节码。研究过程中还发现所用验证工具本身存在缺陷。