Verifica di bitcoin, con una prova STARK, su un Raspberry Pi, in 25 millisecondi, la catena di intestazione dell'intera mainnet, 16 anni di storia.