ethsystems

ChainCatcher 消息，以太坊机构隐私技术机构 EthSystems 宣布对其隐私池（shielded pool）完成了形式化验证，范围从书面规范一直到 Sepolia 测试网上运行的字节码。验证按层使用不同工具：模型、电路和哈希用 Lean，合约用 Halmos 和 Kontrol，钱包用 Aeneas 和 Verus，验证器和部署通过逐字节重建核对。 双花和价值守恒已由 Lean 定理机器验证。验证中共发现 6 个问题，其中 3 个出在验证工具本身。团队同时列出了仍然依赖的假设：哈希无碰撞、验证器会拒绝伪造证明、合约行为与模型一致。

ChainCatcher 消息，以太坊生态基础设施提供商 EthSystems 宣布与韩国本土机构 Undefined Labs 达成合作，双方将共同推动以太坊技术在韩国金融与数字资产领域的落地应用。 EthSystems 将提供隐私、代币化及金融基础设施等领域的技术支持，Undefined Labs 则依托其对韩国市场的深刻理解与本地行业资源，协助开展教育、研讨会、技术框架设计及用例开发，并推动从早期探索到概念验证、再到生产系统的全流程落地。EthSystems 表示，韩国是以太坊下一阶段采用的重要市场之一，此次合作是其亚洲布局的起点。

ChainCatcher 消息，以太坊机构隐私技术公司 EthSystems 宣布正式启动，并获得 Bitmine、Sharplink Gaming、Joe Lubin、SNZ Holding 等生态支持者的战略资金支持。 EthSystems 专注于开发面向银行、资产管理公司及其他受监管机构的隐私技术，使机构能够在 Ethereum 网络上大规模执行金融交易，同时保护交易细节、客户身份等敏感信息。 该公司由以太坊基金会（Ethereum Foundation）机构隐私工作组（Institutional Privacy Task Force，IPTF）核心团队创立。团队此前已在 EthSystems 官网公开进行了长达一年的开源研发，并与多家央行、监管机构、大型银行及资产管理机构建立合作关系。EthSystems 表示，虽然机构已经开始探索稳定币、代币化资产以及基于以太坊的结算方案，但大规模采用仍面临隐私和合规挑战。 金融机构需要的不只是接入区块链网络，而是一套能够满足商业机密保护、监管要求以及现有金融系统兼容性的完整基础设施，目标是打造“可选择披露”的隐私架构，让交易参与方仅能查看自身有权限获取的信息，同时保留以太坊去中心化、安全性和开放性的核心优势并与其他两个组织形成互补：Ethlabs：专注于以太坊核心协议和基础设施研发；Ethereum Institutional：负责机构合作、教育、市场研究及生态协调；EthSystems：聚焦应用层技术，将机构需求转化为可实际运行的隐私协议和金融系统。