Саміт з нульовими знаннями 2024: нотатки з місця подій

10 квітня 2024 року в Афінах відбулася 11-та конференція з нульових знань. Приблизно 500 учасників взяли участь у цій одноденній події, під час якої відбулося чотири виступи. Нижче наведено підсумок основних моментів конференції, що охоплює останні досягнення в галузі нульових знань, продуктивності SNARK та проектування мережі доказів.

Розвиток ZK-апаратури

Підтримка апаратного забезпечення для генерації доказів завжди була важливою сферою уваги в галузі. Дві лекції на початку конференції окреслили поточні тенденції розвитку:

• Один дослідник зробив всебічний огляд ZK-апаратури, включаючи класифікацію компаній у цій галузі. Він згадав компанії, які використовують універсальне обладнання, компанії, які виготовляють спеціалізоване обладнання, а також компанії, які запускають децентралізовані мережі доказів. Він прогнозує, що оптимізований zkVM у поєднанні зі спеціалізованим обладнанням має потенціал для досягнення тисячократного підвищення обчислювальної ефективності, що може мати значний вплив на майбутнє Ethereum. Він також розкрив, що буде проведено офіційний конкурс перевірки для доказувачів і валідаторів, з призовим фондом до 20 мільйонів доларів.

• Співзасновник компанії представив систему Binius, а також концепцію одночасного проектування системи доказів та апаратного забезпечення. Binius використовує бінарні баштові поля та протокол sumcheck. Ранні тести показують, що в деяких застосуваннях продуктивність хеш-функції Groestl помітно перевищує продуктивність Keccak.

Децентралізована мережа доказів

Експерти вважають, що в майбутньому генерація доказів масштабних заяв (таких як перевірка правильності пакету транзакцій у Rollup) буде виконуватися конкурентним, децентралізованим ринком професійних доказувачів.

• Співзасновник компанії обговорив їхню майбутню мережу доказувачів. Вона проаналізувала різні потенційні механізми дизайну і вважає, що дизайни на основі конкуренції або майнінгу можуть виявитися неефективними. Вона запропонувала, що цілі дизайну повинні бути наступними: мінімізація витрат, максимізація затримки та антикорупційна здатність. Вона передбачила, що аукціонна модель з найбільшою ймовірністю стане основною, і врешті-решт може бути подібною до поточного способу побудови блоків.

• Один аспірант представив нову статтю про економіку мережі доказувачів. Він зазначив, що двосторонні аукціони піддаються впливу змови між доказувачами та учасниками торгів, тому запропонував альтернативний механізм під назвою Proo-phi, який вводить нові механізми узгодження угод та доказів.

• Технічний директор однієї компанії обговорив ринок доказів, що підтримують багатосторонні обчислення (MPC), зокрема, як використовувати MPC для підтримання конфіденційності між невеликими клієнтами та великими доказувачами. Він розглянув, як вибрати комбінацію систем доказів для виконання лінійних операцій, щоб мінімізувати витрати в MPC.

Інновації ZK-сертифікатів

На конференції також обговорювалися численні зусилля щодо створення нульових доказів на основі існуючої системи ідентифікації:

• Співзасновник певного проєкту представив доказ володіння електронною адресою ZK. Ці докази залежать від перевірки підпису DKIM електронних листів, надісланих на певну адресу, і можуть бути використані в таких сценаріях, як анонімні перекази та повідомлення про правопорушення.

• Дослідник певної компанії пояснив технології взаємодії між OpenID connect та традиційною ідентичністю web2, що зробило можливими такі застосування, як перекази на рахунки Google або Facebook.

• Представник певного проекту обговорив, як створити анонімні сертифікати на основі існуючих електронних паспортів, наприклад, підтверджуючи наявність паспорта певної країни та досягнення певного віку, не розкриваючи конкретну особисту інформацію.

Ці інновації відкривають нові можливості для використання технології нульових знань у сфері автентифікації та захисту конфіденційності.