Deweloper Ethereum Barry opublikował nowe postępy w zakresie prywatnych smart kontraktów zkEVM: wsparcie dla prywatnego stanu użytkownika, ale brak wsparcia dla prywatnego stanu globalnego

 Deweloper Ethereum barryWhiteHat napisał, że wraz z komercjalizacją zero-knowledge proof virtual machine (zkEVM) pojawiła się interesująca możliwość: może ona zapewnić infrastrukturę prywatnych smart kontraktów przy jednoczesnym zachowaniu kompatybilności z Ethereum Virtual Machine (EVM). Programiści mogą pisać kod w Solidity i kompilować go za pomocą określonej wersji kompilatora Solidity lub niektórych narzędzi do post-processingu, aby tworzyć prywatne smart kontrakty.

Istnieją jednak pewne istotne kompromisy dotyczące prywatnego globalnego stanu i prywatności, a głównym powodem jest to: aby coś udowodnić, musisz wiedzieć, co udowadniasz. Dlatego prywatny smart kontrakt nie może istnieć, jeśli posiada globalny publiczny stan, o którym nie masz wiedzy. W konsekwencji, prywatne smart kontrakty z globalnym prywatnym stanem również nie mogą istnieć. Na przykład aplikacje takie jak Uniswap nie mogą być zaimplementowane w formie prywatnej, ponieważ dowodzący musi znać salda dwóch pul płynności, aby udowodnić, że transakcja swap została wykonana poprawnie.

W związku z tym niektóre znane i popularne aplikacje nie mogą być obecnie zaimplementowane w formie prywatnej, chyba że posiadamy możliwości input-output (IO) – i to właśnie dlatego IO jest kluczowe. Pozwala nam to zbudować całkowicie prywatne Ethereum, którego założenia dotyczące zaufania są identyczne jak w natywnym Ethereum.

Niniejszy artykuł ma jednak na celu zbadanie, jak skompilować operacje pstore i pload do zero-knowledge proof virtual machine (zkEVM) poprzez dodanie ich do reth, aby osiągnąć prywatny smart kontrakt – takie kontrakty mają prywatne stany użytkowników, ale nie mają prywatnych globalnych stanów.