Verifiera bitcoin, med ett STARK-bevis, på en Rasbperry Pi, på 25 millisekunder, hela mainnet-huvudkedjan, 16 års historia.