Vérification de bitcoin, avec une preuve STARK, sur un Raspberry Pi, en 25 millisecondes, toute la chaîne d'en-têtes du mainnet, 16 ans d'histoire.