Core Insights - World (formerly Worldcoin) has announced the open-sourcing of its GKR + Hyrax proof system called Remainder, developed by Tools for Humanity [1] - The Remainder system enables users to run machine learning (ML) models locally on mobile devices for privacy data and generate correct zero-knowledge proofs [1] - With Remainder, World users can upgrade their IrisCode directly on their devices without needing to return to the Orb [1] - The open-source code and accompanying technical documentation for this project have been released to the public [1]