Zero Knowledge Summit 2024: Записки з нульового знання

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

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

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

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

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

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

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

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

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

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

Нульові знання свідоцтва

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

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

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

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

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