Glossary
Preuve Récursive
Une preuve à divulgation nulle de connaissance dont le circuit vérifie une ou plusieurs autres preuves, permettant de comprimer toute une chaîne d'énoncés en une seule preuve succincte.
Une preuve récursive est une preuve à divulgation nulle de connaissance dont le circuit exécute lui-même un vérificateur pour d'autres preuves. Plutôt que de vérifier de nombreuses preuves on-chain, un prover les replie ensemble : chaque nouvelle preuve atteste que la preuve précédente était valide, si bien qu'une seule preuve finale garantit un historique arbitrairement long.
Cela permet l'agrégation de preuves et le calcul vérifiable de manière incrémentale. Les rollups l'utilisent pour regrouper des milliers de preuves de transactions en une seule vérification on-chain bon marché, et des chaînes comme Mina gardent toute la blockchain prouvable en quelques kilo-octets en prouvant récursivement chaque nouveau bloc sur le précédent.