За даними ChainCatcher, Віталік Бутерін опублікував детальну технічну статтю про протоколи заплутування (iO), у якій окреслив криптографічні основи та майбутні напрямки досліджень. У статті пояснюється, як заплутування перетворює програми на зашифровані версії, які приховують внутрішню логіку, дозволяючи при цьому обчислення на відкритих вхідних даних, що потенційно може забезпечити майже бездовірні системи голосування, аукціони та інші застосування в поєднанні з блокчейном. Віталік зазначає, що хоча поточні схеми iO є теоретично поліноміальними за часом, практичні накладні витрати значно перевищують вік Всесвіту. У статті аналізується конструкція iO на основі ґраток із використанням повністю гомоморфного шифрування (FHE), шифрування на основі атрибутів (ABE), заплутування схем та інших криптографічних примітивів. За останнє десятиліття ця галузь пройшла шлях від «неможливо» до «доведено безпечно», однак залишаються значні прогалини перед реальним впровадженням. Віталік визначає три майбутні напрямки: подальша оптимізація існуючих підходів на основі ґраток, прийняття сміливіших криптографічних припущень для спрощення конструкції або дослідження зовсім нових основ за межами ґраток.

Переглянути джерело

Застереження: інформація на цій сторінці може походити зі сторонніх джерел і надається виключно для ознайомлення. Вона не відображає позицію чи думку Gate і не є фінансовою, інвестиційною чи юридичною консультацією. Торгівля віртуальними активами пов’язана з високим ризиком. Будь ласка, не покладайтеся лише на інформацію з цієї сторінки під час прийняття рішень. Детальніше дивіться у Застереженні.

Пов’язані новини

4год тому

curl виправляє 18 вразливостей безпеки, одна помилка libcurl існувала ~25 років

06-27 21:51

Пропозиція Bitcoin BIP-110 наближається до серпневого дедлайну з лише 0,31% сигналів майнерів.

06-27 16:28

Aave розширюється на традиційні активи, запускає кредитування цінними паперами через V4

06-27 11:24

OpenAI відкладає IPO до 2027 року на тлі волатильності технологічних акцій; ф'ючерси США падають

06-26 13:02

Команда Monad виявила помилки безпеки, пропущені Claude Opus та Codex, за допомогою формальної верифікації.

Поглиблений аналіз