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

Jinse Finance сообщает, что разработчик Ethereum barryWhiteHat опубликовал статью, в которой говорится, что с коммерциализацией виртуальных машин с нулевым разглашением (zkEVM) появилась интересная возможность: предоставлять инфраструктуру для приватных смарт-контрактов, сохраняя при этом совместимость с Ethereum Virtual Machine (EVM). Разработчики могут писать код на Solidity и компилировать его с помощью определённых версий компилятора Solidity или некоторых инструментов постобработки, чтобы создавать приватные смарт-контракты. Вокруг приватного глобального состояния и приватности существуют важные компромиссы, основная причина которых заключается в следующем: чтобы что-то доказать, необходимо знать, что именно доказывается. Поэтому не может существовать такого приватного смарт-контракта, который обладает глобальным публичным состоянием, о котором вы не знаете. Следовательно, не может существовать приватного смарт-контракта с глобальным приватным состоянием. Например, такие приложения, как Uniswap, не могут быть реализованы в приватной форме, потому что доказатель должен знать балансы двух пулов, чтобы доказать корректность выполнения swap (транзакции). Поэтому некоторые известные и любимые нами приложения на данный момент не могут быть реализованы в приватной форме, если только у нас нет функции ввода-вывода (IO) — именно поэтому IO так важен. Он позволяет нам построить полностью приватный Ethereum с теми же доверительными предпосылками, что и у нативного Ethereum. Однако цель данной статьи — рассмотреть, как с помощью добавления двух опкодов pstore и pload в reth и их компиляции в виртуальную машину с нулевым разглашением (zkEVM) можно реализовать тип приватного смарт-контракта — такие контракты имеют приватное пользовательское состояние, но не обладают приватным глобальным состоянием.