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

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

Розвиток ZK-апаратури

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

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

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

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

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

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

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

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

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

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

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

Інший проект зосереджується на використанні OpenID connect для взаємодії з традиційною ідентичністю web2, що робить можливими такі застосунки, як перекази на рахунки Google або Facebook.

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

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