Ethereum-Entwickler Barry veröffentlichte neue Fortschritte bei zkEVM-privaten Smart Contracts: Unterstützung für privaten Benutzerstatus, aber nicht für privaten globalen Status

 Ethereum-Entwickler barryWhiteHat schrieb, dass mit der Kommerzialisierung der Zero-Knowledge Proof Virtual Machine (zkEVM) eine interessante Möglichkeit entstanden ist: Sie kann eine private Smart-Contract-Infrastruktur bereitstellen und gleichzeitig die Kompatibilität mit der Ethereum Virtual Machine (EVM) beibehalten. Entwickler können Solidity-Code schreiben und ihn durch eine bestimmte Version des Solidity-Compilers oder einige Nachbearbeitungstools kompilieren, um private Smart Contracts zu erstellen.

Es gibt einige wichtige Kompromisse im Zusammenhang mit privatem globalem Status und Privatsphäre, wobei der Kernpunkt darin liegt: Um etwas zu beweisen, muss man wissen, was man beweist. Daher kann ein privater Smart Contract nicht existieren, der einen globalen öffentlichen Status hat, von dem man nichts weiß. Folglich können auch keine privaten Smart Contracts mit globalem privatem Status existieren. Zum Beispiel können Anwendungen wie Uniswap nicht in privater Form implementiert werden, da der Prover die Guthaben von zwei Liquiditätspools kennen muss, um zu beweisen, dass eine Swap-Transaktion korrekt ausgeführt wurde.

Daher können einige bekannte und beliebte Anwendungen derzeit nicht in privater Form implementiert werden, es sei denn, wir verfügen über Input-Output-(IO)-Fähigkeiten – genau deshalb ist IO entscheidend. Es ermöglicht uns, ein vollständig privates Ethereum zu bauen, dessen Vertrauensannahmen identisch mit denen des nativen Ethereum sind.

Dieser Artikel zielt jedoch darauf ab, zu untersuchen, wie pstore- und pload-Operationen in die Zero-Knowledge Proof Virtual Machine (zkEVM) kompiliert werden können, indem sie zu reth hinzugefügt werden, um einen privaten Smart Contract zu erreichen – diese Verträge haben private Benutzerzustände, aber keinen privaten globalen Status.