Розробник 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, щоб досягти приватного смарт-контракту — ці контракти мають приватні стани користувачів, але не мають приватних глобальних станів.
Відмова від відповідальності: зміст цієї статті відображає виключно думку автора і не представляє платформу в будь-якій якості. Ця стаття не повинна бути орієнтиром під час прийняття інвестиційних рішень.
Вас також може зацікавити
Що купувати після обвалу акцій AI? Oppenheimer: Зосередьтеся на «реалізації прибутку», першими обирайте Microsoft, Oracle і SAP
Опитування Oppenheimer серед 449 IT-закупівельників показало, що програмні продукти з AI-агентами досі намагаються отримати більшу частку корпоративних бюджетів, проте клієнти починають приділяти більшу увагу перевірці окупності інвестицій. Темп розширення витрат у 2027 році може сповільнитися, і для всієї галузі програмного забезпечення немає гарантій загального прискорення зростання. Саме тому Microsoft, Oracle та SAP були командою аналітиків Oppenheimer визначені як основні потенційні бенефіціари.
Ф’ючерси зросли майже на 7% + ціни на нафту знизилися, AI-система потужності знову атакує: сьогодні ввечері дані CPI стануть випробуванням
Бюро статистики праці США опублікує у вівторок звіт про індекс споживчих цін за жовтень, при цьому очікується загальний приріст на 0,3% та базовий приріст на 0,2%. Хоча через торішній урядовий шатдаун звіт не міститиме річної інфляційної ставки, результати можуть свідчити про інфляцію, яка значно перевищує цільове значення Федеральної резервної системи у 2%. "Ми повинні прийняти поразку як у витратах, так і в інфляції," – заявив голова Федерального резервного банку Чикаго Остін Ґулсбі у понеділок.
Ціни на криптовалюти
Більше
