zkSNARK
Un zkSNARK est une preuve cryptographique courte qui démontre qu'un calcul est juste sans en révéler les données. Aleo en a fait la base de son minage.
zkSNARK est l'abréviation anglaise d'un « argument de connaissance succinct et non interactif à divulgation nulle de connaissance ». C'est une technique cryptographique qui permet de prouver qu'un calcul a été fait correctement, ou qu'on connaît une information, sans révéler les données elles-mêmes. La preuve obtenue est courte et se vérifie très vite, même si le calcul d'origine était lourd.
Ces preuves servent d'abord à la confidentialité : Zcash les utilise pour ses transactions protégées. Aleo, lancée en 2024, va plus loin et en fait le cœur de son minage. Au lieu de calculer des hachages, les mineurs, appelés provers, résolvent un puzzle qui consiste à produire des preuves de ce type. Ils sont récompensés selon les solutions valides qu'ils trouvent, tandis que la validation des blocs repose sur un autre mécanisme.
Le calcul de ces preuves sollicite surtout des opérations mathématiques lourdes sur de très grands nombres. Il a d'abord été réalisé sur cartes graphiques, puis des ASIC dédiés sont apparus, comme ceux de la gamme IceRiver AE. Le hashrate s'exprime dans une unité propre à ce calcul, et non en hashs : on ne peut donc pas le comparer à celui d'un autre algorithme. Regardez l'efficience, la consommation et les pools compatibles avant d'acheter.
Notre collection Aleo regroupe les machines adaptées à ce type de minage.