Bitcoin verifiëren, met een STARK bewijs, op een Raspberry Pi, in 25 milliseconden, de hele mainnet header keten, 16 jaar geschiedenis.