Verifizierung von Bitcoin, mit einem STARK-Beweis, auf einem Raspberry Pi, in 25 Millisekunden, die gesamte Hauptnetz-Header-Kette, 16 Jahre Geschichte.