CESC '22: Польові нотатки з семінару Zero Knowledge Workshop

Примітка редактора: Польові нотатки – це серіал, у якому ми звітуємо про важливі галузеві, дослідницькі та інші події. У цьому випуску Валерія Ніколаєнко, партнер a16z у сфері криптодосліджень, ділиться короткими висновками з Семінар з підтвердження нульового знання пов'язаний з Конференція з безпеки криптовалютної економіки (CESC), який відбувся 30 жовтня в Каліфорнійському університеті в Берклі. The програма спрямований на об’єднання дослідників і практиків для демонстрації та обговорення останніх розробок у блокчейні та web3. Ви можете переглянути записи презентацій тут.

• Пісня світанку (UC Berkeley). новий MOOC на весну 2023 року про докази з нульовим знанням, що заплановано на розпочнеться 17 січня 2023 року та нагадав про MOOC, які вже проводяться восени 2022 року:

• Юпен Чжан (Техаський університет A&M) представив a підручник з останніх розробок систем ЗКП, винятковий огляд різних підходів до побудови систем перевірки zk, розподіляючи їх по 4 осях: лаконічність, ефективність перевірки та верифікації, а також прозорі та надійні налаштування.

• Ден Боне (Стенфордський університет) представлений огляд абстракції IOP загалом і полінома Plonk-IOP зокрема.

Ден також пояснив нову систему під назвою Гіперплонк, який може усунути дорогі ШПФ на стороні перевірки та обробляє вентилі високого ступеня набагато ефективніше, зменшуючи як час перевірки, так і розмір перевірки. Цікавим параметром, який слід пам’ятати, є те, що ШПФ домінують у часі перевірки, коли кількість вентилів перевищує 2²⁰.

• Тяньчен Се (UC Berkeley) представлений на zkBridge (прочитайте статтю тут), підкреслюючи важливість кращого дизайну для мостів у світлі численних недавніх хаків (Експлуатація мосту Роніна, Злом червоточини, Nomad bridge дренаж, і так далі). zkBridge мінімізує довіру та покращує продуктивність за допомогою системи захисту від нульового знання deVirgo.
• Пісня світанку (Каліфорнійський університет у Берклі) анонсувала zkCollective — основу для безпечної міжланцюгової взаємодії. Форму для участі в акції можна заповнити тут.
• Лео Фан (Cysic) висвітлили свої результати щодо прискорення мультискалярного множення (MSM) на FPGA для zk-пріверу, де на MSM часто припадає більше 50% часу првера. За оцінками, вони швидше, ніж аналогічні зусилля (Труба МСМ та ЦиклонМСМ). Їх кінцевою метою є створення ASIC.
• Марек Ольшевський (Celo) показав чудову демонстрацію запуску легкого клієнта Celo, Plumo, який розроблявся 2 роки та був запущений цього року. Клієнт розроблений як масивна схема з 2²⁷ воріт, і живиться оптимістичним повноваження-тау церемонія, яка може бути корисною для інших проектів. Учасники спільноти генерують SNARK-докази щодня (після кожної зміни епохи), доведення займає ~1 годину на 256-ядерній машині. Їх бібліотека WASM дозволяє перевіряти докази з веб-додатків.
• Говард Ву (Алео) представив ідеї, що лежать в основі дизайну Aleo, який створює блокчейн для приватних транзакцій, що забезпечує паралельність і ефективне оновлення стану.
• Джеремі Брюстл (Risc0) пояснив обґрунтування дизайну створення zkVM для набору інструкцій RISC-V, реалізованого за допомогою zkSTARK. RISC-V має дуже невеликий набір інструкцій (<40), добре підтримується різними компіляторами, повністю відкритий. І, що найважливіше, він розроблений для ефективних апаратних реалізацій, що передбачає ефективне проектування схем для перевірки zk.
• Ума Рой (Короткі лабораторії) надав огляд способу стислої перевірки консенсусу Ethereum із zkSNARK із часом перевірки лише 1 хвилиною.

Валерія Ніколаєнко є дослідницьким партнером a16z crypto. Її дослідження зосереджені на криптографії та безпеці блокчейну. Вона також працювала над такими темами, як далекі атаки в консенсусних протоколах PoS, схеми підписів, постквантовий захист і багатосторонні обчислення. Вона має ступінь доктора філософії з криптографії в Стенфордському університеті та працювала над блокчейном Diem як частина основної дослідницької групи.

-

Погляди, висловлені тут, є поглядами окремих співробітників AH Capital Management, LLC («a16z»), які цитуються, і не є поглядами a16z або його філій. Певна інформація, що міститься тут, була отримана зі сторонніх джерел, зокрема від портфельних компаній фондів, якими керує a16z. Хоча отримано з джерел, які вважаються надійними, a16z не перевіряв таку інформацію незалежно та не робить жодних заяв щодо тривалої точності інформації чи її відповідності певній ситуації. Крім того, цей вміст може містити рекламу третіх сторін; a16z не переглядав такі оголошення та не схвалює будь-який рекламний вміст, що міститься в них.

Цей вміст надається лише в інформаційних цілях, і на нього не можна покладатися як на юридичну, ділову, інвестиційну чи податкову консультацію. Ви повинні проконсультуватися з власними радниками щодо цих питань. Посилання на будь-які цінні папери чи цифрові активи наведено лише з метою ілюстрації та не є інвестиційною рекомендацією чи пропозицією надати інвестиційні консультаційні послуги. Крім того, цей вміст не призначений для будь-яких інвесторів чи потенційних інвесторів і не призначений для використання ними, і за жодних обставин на нього не можна покладатися при прийнятті рішення інвестувати в будь-який фонд, яким керує a16z. (Пропозиція інвестувати у фонд a16z буде зроблена лише на підставі меморандуму про приватне розміщення, угоди про підписку та іншої відповідної документації будь-якого такого фонду, і її слід читати повністю.) Будь-які інвестиційні чи портфельні компанії, згадані, згадані або описані не є репрезентативними для всіх інвестицій у транспортні засоби, якими керує a16z, і не може бути гарантії, що інвестиції будуть прибутковими або що інші інвестиції, здійснені в майбутньому, матимуть подібні характеристики чи результати. Список інвестицій, здійснених фондами під управлінням Andreessen Horowitz (за винятком інвестицій, щодо яких емітент не надав дозволу a16z на оприлюднення, а також неоголошених інвестицій у публічні цифрові активи) доступний за адресою https://a16z.com/investments /.

Наведені в ньому діаграми та графіки призначені виключно для інформаційних цілей, і на них не слід покладатися під час прийняття інвестиційних рішень. Минулі результати не вказують на майбутні результати. Зміст відповідає лише вказаній даті. Будь-які прогнози, оцінки, прогнози, цілі, перспективи та/або думки, висловлені в цих матеріалах, можуть бути змінені без попередження та можуть відрізнятися або суперечити думкам, висловленим іншими. Додаткову важливу інформацію можна знайти на сторінці https://a16z.com/disclosures.