Microsoft Research a présenté Magnetar, une machine virtuelle destinée à générer plus rapidement des preuves à knowledge zéro de l’exécution de programmes ordinaires. Selon les chercheurs, le système prend en charge du code compilé en Rust, Go et C et se révèle en moyenne entre 10 et 39 fois plus rapide que certains systèmes de preuve comparables sur les bancs d’essai utilisés. La vérification prend environ 12 millisecondes et repose sur des fonctions de hachage standard, afin de réduire la dépendance à une cryptographie vulnerable aux futures attaques quantiques. Pour les blockchains, cette baisse des coûts pourrait faciliter le calcul vérifiable hors chaîne et la mise en œuvre d’une logique applicative complexe, même si les résultats ne garantissent pas les mêmes gains dans les systèmes de production, dont dépendent l’intégration, le matériel et la taille des preuves.
Source: Lire l’article original
