Розробник Ethereum Barry опублікував новий прогрес у zkEVM приватних смарт-контрактах: підтримка приватного стану користувача, але не приватного глобального стану
Розробник Ethereum barryWhiteHat написав, що з комерціалізацією zero-knowledge proof virtual machine (zkEVM) з’явилася цікава можливість: вона може забезпечити інфраструктуру приватних смарт-контрактів, зберігаючи сумісність з Ethereum Virtual Machine (EVM). Розробники можуть писати код на Solidity та компілювати його за допомогою певної версії компілятора Solidity або деяких постпроцесингових інструментів для створення приватних смарт-контрактів.
Існують важливі компроміси щодо приватного глобального стану та конфіденційності, основна причина яких полягає в наступному: щоб щось довести, ви повинні знати, що саме ви доводите. Тому не може існувати приватного смарт-контракту, який має глобальний публічний стан, про який ви не знаєте. Відповідно, не можуть існувати й приватні смарт-контракти з глобальним приватним станом. Наприклад, такі застосунки, як Uniswap, не можуть бути реалізовані у приватній формі, оскільки доводцю потрібно знати баланси двох пулів ліквідності, щоб довести, що транзакція обміну виконана правильно.
Тому деякі відомі та популярні застосунки наразі не можуть бути реалізовані у приватній формі, якщо у нас немає можливостей input-output (IO) — саме тому IO є критично важливим. Це дозволяє нам побудувати повністю приватний Ethereum із такими ж довірчими припущеннями, як і у нативного Ethereum.
Однак мета цієї статті — дослідити, як скомпілювати операції pstore та pload у zero-knowledge proof virtual machine (zkEVM), додавши їх до reth, щоб досягти приватного смарт-контракту — ці контракти мають приватні стани користувачів, але не мають приватних глобальних станів.
Відмова від відповідальності: зміст цієї статті відображає виключно думку автора і не представляє платформу в будь-якій якості. Ця стаття не повинна бути орієнтиром під час прийняття інвестиційних рішень.
Вас також може зацікавити
120 тисяч bitcoin були перехоплені? Глибокий аналіз регуляторних труднощів у справі "Prince Group"
Тодішня регуляторна політика, досягаючи поставлених цілей, водночас могла позбавити нас частини ініціативи у майбутній новій хвилі глобальної фінансової конкуренції.

120 000 Bitcoins конфісковано? Детальний аналіз регуляторної дилеми у справі "Prince Group"
Попередня регуляторна політика, хоча й досягла своїх поставлених цілей, можливо, також коштувала нам частини нашої майбутньої самостійності у майбутньому раунді глобальної фінансової конкуренції.

Від ставок до облігацій: як ринки прогнозів стають новим фронтиром Wall Street
Ринки прогнозів більше не є маргінальними криптовалютними ставками — вони стають реальною фінансовою інфраструктурою. Завдяки інвестиціям ICE у розмірі мільярдів і схваленню CFTC такі платформи, як Kalshi та Polymarket, переосмислюють, як фінанси оцінюють передбачення — навіть попри те, що деякі штати США вважають це азартними іграми.

Trezor запускає Trezor Safe 7: перший апаратний гаманець із прозорим захищеним елементом
Повністю бездротовий апаратний гаманець представляє перший у світі аудиторський безпечний елемент і квантово-стійку архітектуру для захисту наступного покоління Прага, 21 жовтня 2025: Trezor, оригінальна компанія з виробництва апаратних гаманців, випустила Trezor Safe 7 — апаратний гаманець нового покоління, який впроваджує декілька галузевих нововведень: повністю аудиторський безпечний елемент (TROPIC01) та квантово-стійку архітектуру. Також він має безшовну...

У тренді
БільшеЦіни на криптовалюти
Більше








