Конференція нульових знань 2024: польові спостереження

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

Нульові знання апаратного забезпечення

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

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

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

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

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

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

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

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

Нульові знання свідоцтв

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

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

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