Швидка нотатка з конференції нульових знань 2024 року

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

Прогрес в ZK-апаратному забезпеченні

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

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

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

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

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

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

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

ZK-докази застосування

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

• Доказ власності адреси на основі підпису DKIM електронної пошти
• Система взаємодії з традиційними web2-ідентифікаціями за допомогою OpenID connect
• Метод побудови анонімних сертифікатів на основі електронного паспорта

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