Ik las vandaag een echt goede ELI5 van zk-bewijzen: - Het idee achter zk is dat je de werkelijke gegevens niet hoeft te kennen om te verifiëren of het aan bepaalde vereisten voldoet. - Bijvoorbeeld, als er een deur is met een wachtwoord, hoef ik je het wachtwoord niet te vertellen. Ik kan je gewoon laten zien dat ik de deur kan openen en dat is het bewijs dat ik het wachtwoord ken. Dat is in wezen wat een zero knowledge proof is. Wat succinct doet met zk is dat het een zk-bewijs kan creëren van in principe alles. Bijvoorbeeld: - Ik zou succinct kunnen gebruiken om te bewijzen dat ik ouder dan 18 (of 21) ben zonder mijn verjaardag te onthullen. - Ik zou succinct kunnen gebruiken om te bewijzen dat ik in een land woon dat niet beperkt is zonder mijn paspoortinformatie te onthullen. - Of nog eenvoudiger, zoals ik kan bewijzen dat 3 verborgen getallen optellen tot 42. d vandaag is de grootste PMF-toepassing voor zk blockchain, en blockchain heeft zk hard nodig. De grootste klanten van succinct (meer dan 35+ protocollen) gebruiken zk om enorme berekeningen, zoals het uitvoeren van duizenden transacties van een blok op een rollup, om te zetten in kleine, milliseconde-verifieerbare bewijzen. 1 extreem klein zk-bewijs geproduceerd door succinct is genoeg voor een hele keten/rollup met miljarden TVL om te concluderen dat "dit blok is uitgevoerd volgens de regels." Dat is de kracht van succinct.