Verificando bitcoin, con una prueba STARK, en un Raspberry Pi, en 25 milisegundos, la cadena de encabezados de todo el mainnet, 16 años de historia.