Саміт нульових знань 2024: нотатки з місця подій

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

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

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

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

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

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

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

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

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

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

ZK-підтвердження застосування

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

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

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

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

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