Конференція зі зворотними знаннями 2024: Запис з місця подій

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

ZK-апаратура

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

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

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

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

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

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

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

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

ZK сертифікат

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

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

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

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