Accumulateurs efficaces: techniques de calcul vérifiables

Cette séance de cours traite du concept d'accumulateurs d'ensemble efficaces et de leur application dans le calcul vérifiable. L'instructeur commence par expliquer l'importance des accumulateurs réglés, en particulier en se concentrant sur les arbres Merkle et les accumulateurs RSA. La séance de cours détaille comment ces structures permettent des preuves d'adhésion et des mises à jour d'état efficaces. L'instructeur introduit le concept des preuves Vesolevsky, qui facilitent la démonstration de l'exponentiation d'une manière efficace sur le plan informatique. La discussion passe ensuite à la mise en œuvre d'opérations par lots, mettant en évidence les avantages de l'utilisation d'accumulateurs RSA pour les insertions et les retraits multiples. La séance de cours souligne l'importance de minimiser les contraintes dans le calcul vérifiable pour améliorer la génération de preuves et la vitesse de vérification. L'instructeur présente un nouveau mécanisme de mise à jour d'état séquentiel appelé multiswap, qui optimise le processus de mises à jour d'état dans les systèmes de paiement et les applications de mémoire vive. La séance de cours se termine par une comparaison des coûts de calcul associés aux méthodes traditionnelles et à l'approche multi-échange proposée, démontrant son efficacité pour les lots de taille modérée à grande.