Конференція Zero Knowledge 2024: Огляд подій

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

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

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

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

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

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

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

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

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

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

Нульові знання

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

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

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

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