Конференція Zero Knowledge 2024: репортаж з місця подій

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

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

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

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

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

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

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

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

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

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

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

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

1. Доказ власності адреси з нульовим знанням на основі електронної пошти, що спирається на перевірку підпису DKIM.

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

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

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