SourceReddit r/MachineLearning•Stalecollected in 9m
GKR + Hyrax for On-Device ZK-ML
#zk-ml#verifiable-ml#on-device-proofs#gkr-protocolremainder-proverremainder-provertools-for-humanityworldgkrhyrax
💡Breakthrough in mobile ZK-ML: GKR+Hyrax enables verifiable on-device AI without melting batteries.
⚡ 30-Second TL;DR
What Changed
Remainder prover open-sourced by Tools for Humanity for World project
Why It Matters
Advances on-device verifiable AI, enabling decentralized Proof of Personhood/Model without battery drain. Sets benchmark for mobile ZK-ML, potentially unlocking privacy-preserving edge inference.
What To Do Next
Clone Remainder prover repo and benchmark GKR proofs on your mobile GPU.
Who should care:Researchers & Academics
Key Points
- •Remainder prover open-sourced by Tools for Humanity for World project
- •GKR + Hyrax chosen for balancing prover time and mobile hardware limits
- •GKR theoretically doubly-efficient but hard to implement on consumer GPUs
- •Shifts trust from hardware sensors to mathematical ZK proofs
- •Benchmarks production-grade on-device ML layer proving
🧠 Deep Insight
Background and context from public sources — not the original article. 6 sources cited.
🔑 Enhanced Key Takeaways
- •Remainder was open-sourced by Tools for Humanity as part of a broader announcement on the World Foundation's engineering blog, alongside the World Chain developer preview launching on the OP Stack with a target of 1,000 million gas per second (1GGas/s)—a 400x increase over OP Mainnet's current capacity[1][2].
- •The Orb's compute architecture uses NVIDIA Jetson for local processing of five camera streams, supplemented by two Arm Cortex M4 microcontrollers running Zephyr RTOS for power management and tamper detection, with a dedicated secure element storing private signing keys in a tamper-resistant enclosure[1].
- •Tools for Humanity has deployed approximately 250 Orbs across South Korea with a goal to verify 1 million Koreans within 12 months, building on earlier deployments since 2023 that verified roughly 55,000 people[3].
- •The World project aims to verify 50 million people by the end of 2025, with an ultimate goal of signing up every human on the planet; the free Worldcoin token serves as both an incentive and entry point into what the company envisions as the world's largest financial network[3].
- •Tools for Humanity has raised over $250 million in funding from investors including Blockchain Capital and a16z, positioning the Orb and World ID as infrastructure for distinguishing humans from AI agents and enabling accountability for AI actions[4].
🛠️ Technical Deep Dive
Remainder_ Prover
- •Remainder is Tools for Humanity's in-house GKR + Hyrax proof system, enabling users to run ML models locally over private data and prove correct execution[1][2].
- •The Orb's compute stack centers on NVIDIA Jetson for processing five camera streams to verify World ID in seconds[1].
- •Two Arm Cortex M4 microcontrollers running Zephyr RTOS handle real-time controls, power management, and tamper detection[1].
- •Dedicated secure element stores private signing keys in a tamper-resistant enclosure, similar to hardware wallet architecture[1].
- •World Chain is built on the OP Stack and secured by Ethereum as an L2, integrated with the Worldcoin protocol and engineered for scalability within the Superchain ecosystem[2].
- •World Chain sequencer uses Reth, a high-performance Ethereum execution client written in Rust, targeting 1,000 million gas per second throughput[2].
🔮 Future ImplicationsAI analysis grounded in cited sources
ZK-ML infrastructure may become critical for AI-human verification at scale
As AI agents proliferate, mathematical proof systems like Remainder could replace or augment hardware-based biometric verification, enabling delegation of human authorization to AI systems while maintaining accountability[3].
World Chain's 400x gas throughput increase could enable real-time on-device proof verification
The target of 1GGas/s on World Chain, combined with Remainder's local ML proving capability, may make continuous human-AI verification feasible at consumer scale without centralized bottlenecks[2].
Decentralized audits of Orb software could reduce regulatory friction globally
Support for secure version reporting and public reproducible builds enables independent verification of Orb behavior, potentially addressing privacy and surveillance concerns that have hindered deployment in regulated markets[1].
⏳ Timeline
2022-01
Tools for Humanity founded by Sam Altman and Alex Blania with goal of enabling humans to thrive in the age of AI
2023-01
Orb deployment begins in South Korea, verifying approximately 55,000 people by early 2024
2024-04
Tools for Humanity raises $250 million from Blockchain Capital, a16z, and other investors; Worldcoin project publicly described as using iris scanning for human verification
2025-06
World Chain developer preview launches on OP Stack; migration of 10M+ users from OP Mainnet to World Chain expected for summer 2025
2026-03
World Foundation open-sources Remainder (GKR + Hyrax prover) and announces World Chain developer preview with Reth sequencer targeting 1GGas/s throughput
📎 Sources (6)
Factual claims are grounded in the sources below. Forward-looking analysis is AI-generated interpretation.
- world.org — World Foundation Open Sources Core Components Orb Software
- world.org — Worldcoin Foundation Launches World Chain Developer Preview
- time.com — SAM Altman Orb Tools for Humanity
- youtube.com — Watch
- businessinsider.com — SAM Altman Orb Eye Scanning Startup Billion User Goal Viability 2025 11
- futurism.com — SAM Altman Orb Cult
📰
Weekly AI Recap
Read this week's curated digest of top AI events →
👉Related Updates
AI-curated news aggregator. All content rights belong to original publishers.
Original source: Reddit r/MachineLearning ↗
This is a summary, not the original. Read the source, or get the weekly briefing.
The weekly digest
One email a week. Unsubscribe anytime.