Разработчик Ethereum Barry опубликовал новый прогресс по zkEVM приватным смарт-контрактам: поддержка приватного пользовательского состояния, но не приватного глобального состояния.

 Разработчик Ethereum barryWhiteHat написал, что с коммерциализацией виртуальной машины доказательства с нулевым разглашением (zkEVM) появилась интересная возможность: она может предоставить инфраструктуру для приватных смарт-контрактов при сохранении совместимости с Ethereum Virtual Machine (EVM). Разработчики могут писать код на Solidity и компилировать его с помощью определённой версии компилятора Solidity или некоторых инструментов постобработки для создания приватных смарт-контрактов.

Существуют некоторые важные компромиссы, связанные с приватным глобальным состоянием и приватностью, основная причина которых заключается в следующем: чтобы что-то доказать, вы должны знать, что именно вы доказываете. Поэтому не может существовать приватного смарт-контракта с глобальным публичным состоянием, о котором вы не осведомлены. Следовательно, не могут существовать и приватные смарт-контракты с глобальным приватным состоянием. Например, такие приложения, как Uniswap, невозможно реализовать в приватной форме, потому что доказателю необходимо знать балансы двух пулов ликвидности, чтобы доказать, что операция обмена выполнена корректно.

Таким образом, некоторые известные и популярные приложения в настоящее время не могут быть реализованы в приватной форме, если только у нас нет возможностей ввода-вывода (IO) — именно поэтому IO так важно. Это позволяет нам построить полностью приватный Ethereum с теми же предположениями о доверии, что и у нативного Ethereum.

Однако цель этой статьи — исследовать, как скомпилировать операции pstore и pload в виртуальную машину доказательства с нулевым разглашением (zkEVM), добавив их в reth, чтобы реализовать приватный смарт-контракт — такие контракты имеют приватные пользовательские состояния, но не имеют приватных глобальных состояний.