Zero Knowledge Summit 2024: звіт з місця подій

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

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

Підтримка апаратного забезпечення для нульових знань завжди була в центрі уваги в галузі. На цьому саміті кілька експертів обговорили стан і майбутнє ZK-апаратного забезпечення:

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

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

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

Багато експертів обговорили майбутні напрямки розвитку мережі децентралізованих доказувачів:

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

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

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

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

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

• Доказ власності електронної адреси ZK на основі підпису DKIM електронної пошти, що може бути застосовано в таких сценаріях, як анонімні перекази та подання скарг.

• Використання OpenID connect для взаємодії з традиційними web2 ідентичностями для реалізації таких застосувань, як перекази на рахунки в соціальних мережах.

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

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