Foresight News hat auf X (ehemals Twitter) gepostet. Vitalik Buterin sprach über den Schutz der Privatsphäre und darüber, wie Blockchain-Systeme die Berechnung verifizieren. Er sagte, dass die herkömmliche Validierung erfordert, dass Nodes Transaktionen unabhängig ausführen und Ergebnisse vergleichen, was die Verifikation zwar ermöglicht, aber die Arbeit dupliziert und die Menge der Berechnungen begrenzt, die ein Netzwerk bewältigen kann.
Buterin beschrieb eine Alternative, bei der die Partei, die die Berechnung durchführt, nach Abschluss der Arbeit einen kryptografischen Beweis erzeugt und andere Teilnehmer diesen Beweis verifizieren, um zu bestätigen, dass die Berechnung den Regeln gefolgt ist. Er sagte, Beweissysteme wie SNARKs und STARKs könnten die Verifikation effizienter machen als das erneute Ausführen komplexer Berechnungen. Wenn diese Systeme zudem Eigenschaften der Zero-Knowledge-Funktionalität aufweisen, können sie bestätigen, dass ein Ergebnis gültig ist, während sie Eingabeinformationen verbergen, die nicht offengelegt werden müssen.
Er sagte, es gebe zwei verwandte, aber unterschiedliche Ziele: die Reduzierung wiederholter Berechnungen und der Schutz der Privatsphäre. Beweise zu verwenden, um ein System zu skalieren, mache Transaktionen nicht automatisch privat, und Privatsphäre erfordert weiterhin Anwendungs- und Protokolldesign.
Buterin erwähnte außerdem vollhomomorphe Verschlüsselung, also FHE, die es einer Rechenpartei ermöglicht, verschlüsselte Daten zu verarbeiten, ohne sie zuvor zu entschlüsseln. Er sagte, die Technologie biete eine Möglichkeit, anderen Berechnungen zu ermöglichen, ohne die Originaldaten herauszugeben.
Er fügte hinzu, dass diese Tools den Gestaltungsspielraum für Anwendungen erweitern, indem sie Entwicklern mehr Flexibilität geben, wo die Berechnung stattfindet, wie Ergebnisse verifiziert werden und wer bestimmte Informationen sehen kann.
