STARK
Système de preuve cryptographique dont l’acronyme signifie Scalable Transparent ARgument of Knowledge. Les STARK permettent à un prouveur de démontrer la validité d’un calcul à un vérificateur, sans révéler les données sous-jacentes et sans nécessiter de configuration de confiance initiale (trusted setup). Cette propriété de « transparence » les distingue des SNARK, qui requièrent généralement une cérémonie de configuration préalable. Les STARK reposent sur des fonctions de hachage et sur le protocole FRI (Fast Reed-Solomon Interactive Oracle Proof of Proximity), ce qui les rend résistants aux attaques quantiques. En contrepartie, les preuves STARK sont significativement plus volumineuses que les preuves SNARK (de l’ordre de plusieurs dizaines de kilo-octets), ce qui les rend moins adaptées à la vérification directe on-chain. Pour contourner cette limitation, il est courant d’encapsuler une preuve STARK dans une preuve SNARK plus compacte avant publication. C’est l’approche adoptée par le rollup Citrea sur Bitcoin, via le framework RISC Zero.