Конференція з нульовими знаннями 2024: репортаж з місця подій
10 квітня 2024 року в Афінах відбудеться 11-та конференція з нульових знань. Цю конференцію організував подкаст Zero Knowledge, в ній візьмуть участь близько 500 учасників, протягом одного дня відбудуться чотири паралельні виступи. Нижче наведено підсумок важливих тем конференції, який охоплює останні досягнення в нульовому знанні апаратного забезпечення, продуктивності SNARK та дизайні мережі доказів.
Розвиток ZK-апаратури
Протягом тривалого часу апаратна підтримка генерації доказів залишалася в центрі уваги галузі. На головній сцені цього саміту дві доповіді окреслили останні досягнення в цій сфері.
Дослідник певного фонду надав всебічний огляд ZK-апаратури, включаючи класифікацію компаній у цій галузі. Ці компанії включають ті, що використовують універсальне обладнання, компанії, які виготовляють спеціалізоване обладнання, а також компанії, що керують децентралізованими мережами доказів. Він прогнозує, що "кінцева стадія" zkVM може досягти підвищення обчислювальної ефективності в 1000 разів, що матиме глибокий вплив на майбутнє технологій блокчейн. Він також зазначив, що певний фонд оголосить конкурс на формальну верифікацію доказувачів і верифікаторів з призовим фондом до 20 мільйонів доларів.
Співзасновники компанії обговорили концепцію одночасного проектування системи доказів та апаратного забезпечення. Їхня система використовує бінарні поля та протокол sumcheck. Одним з цікавих висновків, отриманих з ранніх тестів, є те, що продуктивність хеш-функції Groestl значно перевищує Keccak, що означає, що в деяких застосуваннях використання Groestl може бути більш вигідним.
Децентралізована мережа доказувачів
Багато людей в індустрії уявляли собі майбутню картину: генерування доказів великих звітів (таких як правильність партії транзакцій у Rollup) буде виконуватися конкурентним, децентралізованим ринком професійних доказувачів.
Співзасновник компанії представила їхню мережу доказувачів, яка незабаром буде запущена. Вона обговорила різні потенційні механізми дизайну децентралізованої мережі доказувачів і передбачила, що дизайни, засновані на змаганнях або майнінгу, можуть не дати бажаних результатів. Вона вважає, що цільовий дизайн повинен бути наступним: мінімізація витрат, максимізація затримки та стійкість до цензури. Вона прогнозує, що модель випуску/стейкінгу може бути ефективною, але модель аукціону, ймовірно, матиме найбільші шанси на успіх, зрештою, можливо, вона буде схожа на поточну модель побудови блоків.
Докторант одного університету представив нову статтю про економіку мережі доказувачів. Він зазначив, що двосторонні аукціони легко підпадають під вплив змови між доказувачами та учасниками торгів, вони запропонували альтернативний механізм під назвою Proo-phi, який вводить нові механізми відповідності угод та доказів.
Головний технічний директор компанії обговорив ринок доказів, що підтримують багатосторонні обчислення (MPC), зокрема, як використовувати MPC для захисту конфіденційності між малими клієнтами та великими доказувачами. Він розглянув, як вибрати комбінацію систем доказів для виконання лінійних обчислень з метою мінімізації витрат у MPC.
ZK-підтвердження
На саміті також відбулися три дискусії про побудову нульових знань на основі існуючих систем ідентифікації, кожна з яких спирається на різні існуючі системи ідентифікації.
Співзасновники певного проєкту обговорили доказ володіння ZK адресами електронної пошти. Ці докази залежать від перевірки DKIM підписів електронних листів, надісланих на певну адресу, DKIM вже широко впроваджений провідними постачальниками електронної пошти. Цю технологію можна застосувати в різних сценаріях, таких як анонімні перекази на адреси електронної пошти або анонімні повідомлення про правопорушення.
Дослідники в лабораторії представили проект, який використовує OpenID connect для взаємодії з традиційними веб-ідентифікаціями. Цей проект може взаємодіяти з існуючими постачальниками OpenID і підтверджувати, що користувач контролює дану адресу, що дозволяє створити додатки, подібні до переказу коштів на соціальні медіа-акаунти.
Деякі учасники команди проекту обговорили, як побудувати анонімні свідоцтва на основі існуючих електронних паспортів. Наприклад, користувач може підтвердити, що він має паспорт певної країни та досяг певного віку, не розкриваючи конкретний номер паспорта чи точний вік.
Ці обговорення демонструють широкий потенціал технології нульових знань у сфері автентифікації та захисту приватності, відкриваючи нові можливості для управління цифровою ідентичністю в майбутньому.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
11 лайків
Нагородити
11
5
Репост
Поділіться
Прокоментувати
0/400
WalletDoomsDay
· 10год тому
zk конференція пахне чудово, на передньому ряду взяли мікрофон.
Переглянути оригіналвідповісти на0
TokenDustCollector
· 10год тому
Хто завгодно намагається використати трафік web3.
Переглянути оригіналвідповісти на0
ZKProofster
· 10год тому
чесно кажучи, 1000x виглядає надто оптимістично... спочатку покажіть мені математику
Переглянути оригіналвідповісти на0
ZenMiner
· 10год тому
Не встиг купити квиток — це також певний фатум.
Переглянути оригіналвідповісти на0
SignatureCollector
· 11год тому
Мати гроші для інвестицій у ZK краще, ніж отримати підпис на місці.
2024 Конференція нульових знань: нові досягнення в ZK-апаратурі, мережах доказів та ідентифікації
Конференція з нульовими знаннями 2024: репортаж з місця подій
10 квітня 2024 року в Афінах відбудеться 11-та конференція з нульових знань. Цю конференцію організував подкаст Zero Knowledge, в ній візьмуть участь близько 500 учасників, протягом одного дня відбудуться чотири паралельні виступи. Нижче наведено підсумок важливих тем конференції, який охоплює останні досягнення в нульовому знанні апаратного забезпечення, продуктивності SNARK та дизайні мережі доказів.
Розвиток ZK-апаратури
Протягом тривалого часу апаратна підтримка генерації доказів залишалася в центрі уваги галузі. На головній сцені цього саміту дві доповіді окреслили останні досягнення в цій сфері.
Дослідник певного фонду надав всебічний огляд ZK-апаратури, включаючи класифікацію компаній у цій галузі. Ці компанії включають ті, що використовують універсальне обладнання, компанії, які виготовляють спеціалізоване обладнання, а також компанії, що керують децентралізованими мережами доказів. Він прогнозує, що "кінцева стадія" zkVM може досягти підвищення обчислювальної ефективності в 1000 разів, що матиме глибокий вплив на майбутнє технологій блокчейн. Він також зазначив, що певний фонд оголосить конкурс на формальну верифікацію доказувачів і верифікаторів з призовим фондом до 20 мільйонів доларів.
Співзасновники компанії обговорили концепцію одночасного проектування системи доказів та апаратного забезпечення. Їхня система використовує бінарні поля та протокол sumcheck. Одним з цікавих висновків, отриманих з ранніх тестів, є те, що продуктивність хеш-функції Groestl значно перевищує Keccak, що означає, що в деяких застосуваннях використання Groestl може бути більш вигідним.
Децентралізована мережа доказувачів
Багато людей в індустрії уявляли собі майбутню картину: генерування доказів великих звітів (таких як правильність партії транзакцій у Rollup) буде виконуватися конкурентним, децентралізованим ринком професійних доказувачів.
Співзасновник компанії представила їхню мережу доказувачів, яка незабаром буде запущена. Вона обговорила різні потенційні механізми дизайну децентралізованої мережі доказувачів і передбачила, що дизайни, засновані на змаганнях або майнінгу, можуть не дати бажаних результатів. Вона вважає, що цільовий дизайн повинен бути наступним: мінімізація витрат, максимізація затримки та стійкість до цензури. Вона прогнозує, що модель випуску/стейкінгу може бути ефективною, але модель аукціону, ймовірно, матиме найбільші шанси на успіх, зрештою, можливо, вона буде схожа на поточну модель побудови блоків.
Докторант одного університету представив нову статтю про економіку мережі доказувачів. Він зазначив, що двосторонні аукціони легко підпадають під вплив змови між доказувачами та учасниками торгів, вони запропонували альтернативний механізм під назвою Proo-phi, який вводить нові механізми відповідності угод та доказів.
Головний технічний директор компанії обговорив ринок доказів, що підтримують багатосторонні обчислення (MPC), зокрема, як використовувати MPC для захисту конфіденційності між малими клієнтами та великими доказувачами. Він розглянув, як вибрати комбінацію систем доказів для виконання лінійних обчислень з метою мінімізації витрат у MPC.
ZK-підтвердження
На саміті також відбулися три дискусії про побудову нульових знань на основі існуючих систем ідентифікації, кожна з яких спирається на різні існуючі системи ідентифікації.
Співзасновники певного проєкту обговорили доказ володіння ZK адресами електронної пошти. Ці докази залежать від перевірки DKIM підписів електронних листів, надісланих на певну адресу, DKIM вже широко впроваджений провідними постачальниками електронної пошти. Цю технологію можна застосувати в різних сценаріях, таких як анонімні перекази на адреси електронної пошти або анонімні повідомлення про правопорушення.
Дослідники в лабораторії представили проект, який використовує OpenID connect для взаємодії з традиційними веб-ідентифікаціями. Цей проект може взаємодіяти з існуючими постачальниками OpenID і підтверджувати, що користувач контролює дану адресу, що дозволяє створити додатки, подібні до переказу коштів на соціальні медіа-акаунти.
Деякі учасники команди проекту обговорили, як побудувати анонімні свідоцтва на основі існуючих електронних паспортів. Наприклад, користувач може підтвердити, що він має паспорт певної країни та досяг певного віку, не розкриваючи конкретний номер паспорта чи точний вік.
Ці обговорення демонструють широкий потенціал технології нульових знань у сфері автентифікації та захисту приватності, відкриваючи нові можливості для управління цифровою ідентичністю в майбутньому.