5/ Starknet. Since Nov 3 2025, S-two is live on mainnet and proves every single block. Same prover, built to make local proving viable on consumer devices, phones included. 🔗 (the prover itself: Day…

2/ Cairo runs over a ~252-bit prime field, big, expensive multiplications. S-two flips it: it proves over "M31 = 2³¹ − 1" (a Mersenne prime), splitting those big values into small 31-bit limbs that…

3/ Cairo doesn't stand alone, the part everyone skips. Starknet executes with CairoVM & proves it with a validity system: Execution → Proof → Verification → Ethereum Ethereum doesn't redo the work,…