Verificando bitcoin, com uma prova STARK, em um Rasbperry Pi, em 25 milissegundos, toda a cadeia de cabeçalho da rede principal, 16 anos de história.