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

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

Розвиток апаратного забезпечення ZK

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

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

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

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

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

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

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

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

Інновації ZK-підтверджень

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

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

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

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

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