Verificando bitcoin, com uma prova STARK, um Raspberry Pi, en 25 milissegundos, toda a cadeia de cabeçalhos da mainnet, 16 anos de história.