DApp Store | Web3 Hub für Ereignisse und Spiele

Trend-Themen

Bobbin Threadbare

Blockchains, Zero-Knowledge-Proofs, virtuelle Maschinen. Arbeiten an @0xMiden

Es ist absolut möglich, DeFi-Protokolle (und vieles mehr) zu schreiben, während man sich auf ZKPs für die Privatsphäre verlässt - genau dafür wurde Miden entwickelt. Der Haupttrick besteht darin, sich neu vorzustellen, wie der Zustand funktioniert, und anstelle eines monolithischen Zustands das Actor Model anzupassen (etwas, das seit Jahrzehnten in verteilten Systemen verwendet wird). Dann können wir private Akteure haben, die mit öffentlichen Akteuren interagieren können, die den gemeinsamen Zustand kontrollieren. Oder wir könnten halbprivate Akteure haben (der Zustand ist einer bestimmten Benutzergruppe bekannt, aber nicht dem gesamten Netzwerk), und diese können ebenfalls sowohl mit vollständig privaten Akteuren als auch mit öffentlichen Akteuren interagieren. Dies ist ein sehr leistungsfähiges Modell, das eine große Anzahl von DeFi-Anwendungsfällen abdeckt - von anonymen AMMs und CLBOs bis hin zu privaten konformen Stablecoins. Und noch eine andere schöne Sache: Um diese DeFi-Protokolle zu schreiben, benötigen wir keine Ingenieure, die ZKPs verstehen - man kann alles in Rust schreiben. Ich mag FHE - wirklich coole Technologie, und sie ermöglicht einige Anwendungsfälle, die ZKPs nicht abdecken können (d.h. einen wirklich privaten gemeinsamen Zustand zu haben) - aber sie bringt auch enorme Leistungsüberhänge für das Netzwerk mit sich. Die Schönheit von ZKPs besteht darin, dass sie tatsächlich die Netzwerkbelastung reduzieren - eine lokal bewiesene Transaktion muss nicht vom Netzwerk ausgeführt werden (die Überprüfung von ZK-Beweisen ist sehr günstig) - wir nennen dieses Konzept die Edge-Blockchain. Während bei FHE jede Transaktion 100x (oder 1000x) teurer für das Netzwerk wird. ASICs werden hier auf jeden Fall helfen, aber das bedeutet auch, dass jeder validierende Knoten diese ASICs betreiben muss, sonst kann er dem Netzwerk nicht folgen. Und von jedem Knoten zu verlangen, einen ASIC zu haben, ist ein bisschen so, als würde man von jedem Bitcoin-Knoten verlangen, ein Miner zu sein.

6/ b) ist das subtilste und am schwersten zu verstehende. Hier scheitert ZK Um zu verstehen, warum, betrachten wir die einfachste Datenschutz-App: zcash (kein DeFi). Wenn Sie eine geschützte zcash-Transaktion einreichen, erzeugen Sie einen Beweis, der ungefähr sagt: "Ich sende Münzen, sodass mein Kontostand nach dieser Transaktion >0 bleibt." Nun, wenn Sie 1000 dieser Transaktionen aggregieren und dann den Zustand der Kette als Außenstehender betrachten, was wissen Sie über den Zustand? Nichts Stellen Sie sich nun vor, Sie versuchen, DeFi darauf aufzubauen. Wie machen Sie DeFi, wenn Ihre Transaktion buchstäblich nicht die Vermögenswerte anderer sehen oder mit ihnen interagieren kann? Eine Reihe von Teams hat in den letzten zehn Jahren versucht, dies anzugehen, darunter Aztec, Aleo und wahrscheinlich noch einige mehr, an die ich mich gerade nicht erinnern kann. Die grundlegende Herausforderung, mit der jedes dieser Teams konfrontiert ist, ist die oben beschriebene Herausforderung. Grundsätzlich, wie entwerfen Sie ZKPs, um selektive Informationen für die Außenwelt sichtbar zu machen (z. B. wie viel Sicherheiten eine Kreditvergabe absichert) Stellen Sie sich nun vor, Sie sind ein DeFi-Entwickler. Sie müssen nicht nur Ihr DeFi-Protokoll entwerfen, sondern müssen dies auch 1) auf eine teilweise eingeschränkte Weise tun und 2) Sie müssen verstehen, wie ZKPs funktionieren. Wer möchte der Entwickler sein, der ein DeFi-System mit 9 oder 10 Ziffern aufbaut, mit all diesen zusätzlichen Risiken? Das ist beängstigende Materie Viele der zk DeFi-Teams haben daran gearbeitet, diese Dinge verständlicher zu machen, aber die zugrunde liegende Realität ist einfach extrem schwierig zu bewältigen. Darüber hinaus erfordert dies, jedes DeFi-Primitiv von Grund auf neu zu bauen. Die grundlegende Herausforderung hier ist, dass DeFi, wie wir es derzeit kennen, *die Fähigkeit erfordert, über global geteilte Zustände nachzudenken.* Vielleicht gibt es einen Weg, DeFi von Grund auf mit selektiver Argumentation neu zu bauen, aber ich bin extrem skeptisch gegenüber dieser Behauptung. Und diese Behauptung der breiten Öffentlichkeit auf eine Weise zu demonstrieren, die jeder andere glauben wird, wird ein jahrzehntelanges Unterfangen sein, angesichts des hohen technischen Risikos mit Dutzenden von maßgeschneiderten zk-Schaltungen. Was ist also FHE? FHE ermöglicht es Ihnen, über verschlüsselte Daten zu rechnen. Dies wurde seit Jahrzehnten als der heilige Gral der Kryptographie angesehen. Über privates DeFi nachzudenken, wobei FHE als primäre kryptografische Konstruktion verwendet wird, ist tatsächlich ziemlich einfach. Sie denken darüber nach, als wäre es transparent! Es ist nur so, dass alles magisch nicht transparent ist, aber Sie können trotzdem darüber rechnen. Ja, das ist Magie.

Top

Ranking

Favoriten