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

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