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

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

Розвиток апаратного забезпечення з нульовим знанням

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

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

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

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

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

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

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

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

Нульові знання

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

Співзасновник певної компанії представив доказ володіння електронною адресою з нульовими знаннями. Ці докази залежать від перевірки DKIM-підпису електронних листів, надісланих на певну адресу, і можуть використовуватися для анонімних переказів та повідомлень про правопорушення.

Дослідник з певної лабораторії обговорював систему взаємодії з традиційною ідентифікацією Web2 за допомогою OpenID Connect. Ця система може реалізувати такі застосування, як перекази на рахунки Google або Facebook.

Представник проекту обговорив, як на основі існуючого електронного паспорта створити анонімні сертифікати. Наприклад, користувач може довести, що він має паспорт США і досяг віку 25 років, не розкриваючи номер паспорта або точний вік.