Laten we ZK uitleggen: 📚 ZK staat voor Zero Knowledge en het ontgrendelt 2 superkrachten: Privacy en Schaal. ZK ligt me na aan het hart, zowel als mede-uitvinder van ZK-STARKs als mede-oprichter van 2 ZK-projecten: @Zcash (gericht op privacy) en @StarkWareLtd (gericht op schaal en nu ook privacy)

@Zcash @StarkWareLtd Hoe werkt ZK? Er zijn twee soorten entiteiten: een Prover en een Verifier De Prover doet het zware werk : - Het registreren van de gegevens van alle txs - Het verwerken van de gegevens - Het bijwerken van de status van het systeem (wat betekent het saldo na alle txs) - Het genereren van een statusupdate en een bewijs

@Zcash @StarkWareLtd Een typische verklaring van de Prover zegt: "Ik, de Prover, ben begonnen met staat A, heb 1.000.000 txs verwerkt, en op basis daarvan, heb ik staat B bereikt". Het bewijs is een reeks getallen en hashes die kunnen worden gecontroleerd om de integriteit van de hele verklaring te bewijzen.

@Zcash @StarkWareLtd De Verifier (die meestal on-chain zit) controleert het bewijs, met behulp van wiskunde en cryptografie om te controleren of de uitspraak waar is voordat deze wordt geaccepteerd. De stellingen die we door de jaren heen hebben bewezen, zeggen dat de Verifier altijd waarheidsgetrouwe uitspraken accepteert en nooit valse uitspraken accepteert.

@Zcash @StarkWareLtd Een kwaadaardige Prover die misschien een Verifier probeert te overtuigen om een valse verklaring te accepteren, moet een vergelijkbare hoeveelheid werk verrichten als het vinden van een botsing in een cryptografische hashfunctie, wat niet kan worden gedaan voordat onze Zon afkoelt.

@Zcash @StarkWareLtd Waarom is ZK goed voor privacy? De Verifier controleert de juistheid van de verklaring niet door de gegevens te verwerken waarvoor hij getuigt. Daarom kunnen gegevens als geldig worden geverifieerd terwijl ze verborgen blijven voor de Verifier.

@Zcash @StarkWareLtd Waarom is ZK goed voor schaal? De Verifier hoeft de berekening die de Prover heeft gedaan niet opnieuw uit te voeren. De prover kan 1 miljoen txs verwerken, maar de Verifier hoeft dit niet te herhalen om de correctheid van al deze txs te verifiëren. Het controleren van het bewijs is voldoende om hun geldigheid te waarborgen.