World 开源 ZK 证明系统 Remainder，支持本地运行隐私机器学习模型

World（原 Worldcoin）宣布开源其由 Tools for Humanity 开发的 GKR + Hyrax 证明系统 Remainder。该系统允许用户在移动设备本地针对隐私数据运行机器学习（ML）模型，并生成正确执行的零知识证明。借助 Remainder，World 用户无需重新前往 Orb 即可在设备端直接完成 IrisCode 的升级。目前该项目的开源代码及配套技术文档均已对外发布。