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

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

Нульові знання апаратного забезпечення

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

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

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

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

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

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

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

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

Нульові знання свідчення

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

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

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

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

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