j'ai lu aujourd'hui une très bonne explication simplifiée des preuves zk : - l'idée derrière zk est que vous n'avez pas besoin de connaître les données réelles pour vérifier qu'elles répondent à certaines exigences. - par exemple, s'il y a une porte avec un mot de passe, je n'ai pas besoin de vous dire le mot de passe. Je peux juste vous montrer que je peux ouvrir la porte et c'est la preuve que je connais le mot de passe. c'est essentiellement ce qu'est une preuve à connaissance nulle. ce que succinct fait avec zk, c'est qu'il peut créer une preuve zk de pratiquement n'importe quoi. par exemple : - je pourrais utiliser succinct pour prouver que j'ai plus de 18 ans (ou 21) sans révéler ma date de naissance - je pourrais utiliser succinct pour prouver que je vis dans un pays qui n'est pas restreint sans révéler mes informations de passeport - ou même plus simplement, comme je peux prouver que 3 nombres cachés s'additionnent à 42 aujourd'hui, le plus grand cas d'utilisation de pmf pour zk est la blockchain, et la blockchain a grand besoin de zk. les plus grands clients de succinct (plus de 35 protocoles) utilisent zk pour transformer d'énormes calculs, comme l'exécution de milliers de transactions d'un bloc sur un rollup, en preuves vérifiables en millisecondes. 1 preuve zk extrêmement petite produite par succinct est suffisante pour qu'une chaîne/rollup entière avec des milliards de TVL conclue que "ce bloc a été exécuté selon les règles." c'est la puissance de succinct.