10 квітня 2024 року в Афінах відбулася 11-та конференція з нульовими знаннями. Близько 500 учасників взяли участь у цій одноденній події, під час якої відбулося чотири виступи. Ось короткий підсумок основних тем конференції, що охоплюють новітні апаратні засоби нульових знань, продуктивність SNARK та проектування децентралізованих мереж доказів.
Розвиток ZK-апаратного забезпечення
Підтримка апаратного забезпечення для генерації доказів завжди була важливою метою в галузі нульових знань. Два доповіді на головній сцені охоплюють поточний стан розвитку:
Один дослідник зробив всебічний огляд ZK-апаратури, включаючи класифікацію компаній у цій галузі. Він згадував компанії, які використовують універсальне обладнання, компанії, які виробляють спеціалізоване обладнання, а також компанії, які здійснюють децентралізовані мережі доказів. Він прогнозує, що оптимізована система zkVM може досягти тисячократного підвищення обчислювальної ефективності, що матиме значний вплив на майбутні версії Ethereum. Він також зазначив, що більшість доказів, ймовірно, використовуватимуть структуру Groth16, і анонсував майбутні змагання з офіційної верифікації для доказувачів та валідаторів.
Співзасновник компанії представив систему Binius, яка одночасно розробляє систему доказів і апаратуру. Binius використовує бінарну вежу та протокол sumcheck. Цікаво, що ранні тестування показали, що хеш-функція Groestl може мати перевагу над Keccak у певних застосуваннях.
Децентралізована мережа доказувачів
Багато експертів вважають, що в майбутньому генерація доказів для великих звітів буде здійснюватися через конкурентний, децентралізований ринок професійних доказувачів.
Співзасновник певної компанії обговорив їхню майбутню мережу доказувачів. Вона проаналізувала різні потенційні механізми дизайну, вважаючи, що дизайни на основі конкуренції або видобутку, ймовірно, не принесуть бажаних результатів. Вона запропонувала, що ціль дизайну повинна бути в такій послідовності: мінімізація витрат, максимізація затримки та стійкість до цензури. Вона прогнозує, що аукціонна модель має найбільшу ймовірність успіху і, врешті-решт, може бути подібною до побудови блоків сьогодні.
Докторант одного університету представив нову статтю про економіку мережі доказів. Він зазначив, що двосторонні аукціони легко піддаються впливу змови та представив альтернативний механізм під назвою Proo-phi, який запроваджує нові механізми відповідності угод та доказів.
Головний технічний директор компанії обговорив ринок доказів для багатосторонніх обчислень (MPC), зокрема, як використовувати MPC для підтримки конфіденційності між малими клієнтами та великими доказувачами. Він розглянув, як вибрати комбінації систем доказів для оптимізації лінійних обчислень у MPC з метою мінімізації витрат.
Інновації ZK-підтверджень
Три дискусії зосереджені на зусиллях побудови нульових знань сертифікатів на основі існуючих ідентифікаційних систем:
Співзасновник певного проєкту представив доказ власності на анонімну особу на основі електронної пошти. Ці докази залежать від перевірки DKIM-підпису електронної пошти для певної адреси, що може бути використано в таких застосуваннях, як анонімні електронні перекази.
Дослідник з певної лабораторії обговорив технологію взаємодії між OpenID Connect та традиційними веб2 ідентифікаторами. Це робить можливими такі застосунки, як перекази на рахунки Google або Facebook.
Деякі учасники проекту обговорили, як створити анонімні сертифікати на основі існуючих електронних паспортів. Наприклад, користувач може підтвердити, що він має паспорт певної країни та досягнув певного віку, не розкриваючи конкретну особисту інформацію.
Ці інновації відкривають нові можливості для перевірки особи при збереженні конфіденційності, з потенціалом для широкого застосування в багатьох сферах.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
2024 конференція нульових знань: фокус на ZK апаратному забезпеченні, мережах доказів та інноваціях в ідентифікації
Саміт нульових знань 2024: звіт з місця подій
10 квітня 2024 року в Афінах відбулася 11-та конференція з нульовими знаннями. Близько 500 учасників взяли участь у цій одноденній події, під час якої відбулося чотири виступи. Ось короткий підсумок основних тем конференції, що охоплюють новітні апаратні засоби нульових знань, продуктивність SNARK та проектування децентралізованих мереж доказів.
Розвиток ZK-апаратного забезпечення
Підтримка апаратного забезпечення для генерації доказів завжди була важливою метою в галузі нульових знань. Два доповіді на головній сцені охоплюють поточний стан розвитку:
Один дослідник зробив всебічний огляд ZK-апаратури, включаючи класифікацію компаній у цій галузі. Він згадував компанії, які використовують універсальне обладнання, компанії, які виробляють спеціалізоване обладнання, а також компанії, які здійснюють децентралізовані мережі доказів. Він прогнозує, що оптимізована система zkVM може досягти тисячократного підвищення обчислювальної ефективності, що матиме значний вплив на майбутні версії Ethereum. Він також зазначив, що більшість доказів, ймовірно, використовуватимуть структуру Groth16, і анонсував майбутні змагання з офіційної верифікації для доказувачів та валідаторів.
Співзасновник компанії представив систему Binius, яка одночасно розробляє систему доказів і апаратуру. Binius використовує бінарну вежу та протокол sumcheck. Цікаво, що ранні тестування показали, що хеш-функція Groestl може мати перевагу над Keccak у певних застосуваннях.
Децентралізована мережа доказувачів
Багато експертів вважають, що в майбутньому генерація доказів для великих звітів буде здійснюватися через конкурентний, децентралізований ринок професійних доказувачів.
Співзасновник певної компанії обговорив їхню майбутню мережу доказувачів. Вона проаналізувала різні потенційні механізми дизайну, вважаючи, що дизайни на основі конкуренції або видобутку, ймовірно, не принесуть бажаних результатів. Вона запропонувала, що ціль дизайну повинна бути в такій послідовності: мінімізація витрат, максимізація затримки та стійкість до цензури. Вона прогнозує, що аукціонна модель має найбільшу ймовірність успіху і, врешті-решт, може бути подібною до побудови блоків сьогодні.
Докторант одного університету представив нову статтю про економіку мережі доказів. Він зазначив, що двосторонні аукціони легко піддаються впливу змови та представив альтернативний механізм під назвою Proo-phi, який запроваджує нові механізми відповідності угод та доказів.
Головний технічний директор компанії обговорив ринок доказів для багатосторонніх обчислень (MPC), зокрема, як використовувати MPC для підтримки конфіденційності між малими клієнтами та великими доказувачами. Він розглянув, як вибрати комбінації систем доказів для оптимізації лінійних обчислень у MPC з метою мінімізації витрат.
Інновації ZK-підтверджень
Три дискусії зосереджені на зусиллях побудови нульових знань сертифікатів на основі існуючих ідентифікаційних систем:
Співзасновник певного проєкту представив доказ власності на анонімну особу на основі електронної пошти. Ці докази залежать від перевірки DKIM-підпису електронної пошти для певної адреси, що може бути використано в таких застосуваннях, як анонімні електронні перекази.
Дослідник з певної лабораторії обговорив технологію взаємодії між OpenID Connect та традиційними веб2 ідентифікаторами. Це робить можливими такі застосунки, як перекази на рахунки Google або Facebook.
Деякі учасники проекту обговорили, як створити анонімні сертифікати на основі існуючих електронних паспортів. Наприклад, користувач може підтвердити, що він має паспорт певної країни та досягнув певного віку, не розкриваючи конкретну особисту інформацію.
Ці інновації відкривають нові можливості для перевірки особи при збереженні конфіденційності, з потенціалом для широкого застосування в багатьох сферах.