Deweloper Ethereum barry ogłosił nowe postępy w prywatnych smart kontraktach zkEVM: obsługa prywatnych stanów użytkownika, ale brak wsparcia dla prywatnego stanu globalnego.

Jinse Finance poinformowało, że deweloper Ethereum barryWhiteHat napisał, iż wraz z komercjalizacją maszyn wirtualnych zero-knowledge proof (zkEVM) pojawiła się interesująca możliwość: zapewnienie infrastruktury 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 istotne kompromisy związane z prywatnym stanem globalnym i prywatnością, a ich główną przyczyną jest to, że aby coś udowodnić, trzeba wiedzieć, co się udowadnia. W związku z tym nie może istnieć taki prywatny smart kontrakt, który posiada globalny publiczny stan, o którym nie masz wiedzy. Co za tym idzie, nie mogą istnieć prywatne smart kontrakty z globalnym prywatnym stanem. Na przykład, aplikacje takie jak Uniswap nie mogą być zaimplementowane w formie prywatnej, ponieważ dowodzący musi znać salda obu pul, aby udowodnić, że wykonanie swapu (transakcji) było poprawne. Dlatego też niektóre znane i lubiane przez nas aplikacje obecnie nie mogą być zaimplementowane w formie prywatnej, chyba że posiadamy funkcjonalność wejścia/wyjścia (IO) — i to właśnie dlatego IO jest tak istotne. Pozwala nam to zbudować w pełni prywatne Ethereum, którego założenia zaufania są całkowicie zgodne z natywnym Ethereum. Jednakże, celem tego artykułu jest omówienie, jak poprzez dodanie dwóch kodów operacyjnych, pstore i pload, do reth oraz ich kompilację do maszyny wirtualnej zero-knowledge proof (zkEVM), można osiągnąć rodzaj prywatnego smart kontraktu — taki kontrakt posiada prywatny stan użytkownika, ale nie posiada prywatnego globalnego stanu.