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

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