Verificación de bitcoin, con una prueba STARK, en un Rasbperry Pi, en 25 milisegundos, toda la cadena de cabecera de la red principal, 16 años de historia.