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

Журнал “Золотая экономика” сообщает, что разработчик Ethereum barryWhiteHat опубликовал сообщение, в котором говорится, что с коммерциализацией виртуальной машины с нулевыми знаниями (zkEVM) возникла интересная возможность: можно предоставить инфраструктуру для частных смарт-контрактов и при этом сохранить совместимость с виртуальной машиной Ethereum (EVM). Разработчики могут писать код на Solidity и компилировать его с помощью определенной версии компилятора Solidity или некоторых инструментов постобработки, чтобы создать частные смарт-контракты. Существует несколько важных компромиссов между частным глобальным состоянием и конфиденциальностью, и основная причина заключается в том, что для проведения доказательства необходимо знать, что именно нужно доказать. Следовательно, не может существовать такого частного смарт-контракта — у него не может быть глобального публичного состояния, о котором вы не знаете. Таким образом, также не может существовать частный смарт-контракт с глобальным частным состоянием. Например, приложения, такие как Uniswap, не могут быть реализованы в частном формате, потому что доказателю нужно знать балансы двух пулов ликвидности, чтобы доказать, что выполнение свопа (торговли) является правильным. Таким образом, некоторые из приложений, которые мы знаем и любим, в настоящее время не могут быть реализованы в частном порядке, если у нас нет функции ввода-вывода (IO) — именно поэтому IO имеет решающее значение. Оно позволяет нам построить полностью частный Эфир, при этом его предположения о доверии полностью совпадают с оригинальным Эфиром. Тем не менее, цель данной статьи заключается в том, чтобы обсудить, как добавление двух опкодов pstore и pload в reth может быть скомпилировано в виртуальную машину доказательства с нулевыми знаниями (zkEVM), тем самым реализовав частный смарт-контракт — такие контракты имеют частное состояние пользователя, но не имеют частного глобального состояния.