Worldcoin has announced the open-sourcing of its GKR + Hyrax proof system, Remainder, developed by Tools for Humanity. This system enables users to run machine learning models on private data locally on mobile devices and generate zero-knowledge proofs of correct execution. With Remainder, Worldcoin users can upgrade their IrisCode directly on their devices without needing to revisit the Orb. The project's open-source code and accompanying technical documentation are now publicly available.