CESC '22: Полевые заметки с семинара по нулевому разглашению

Примечание редактора: Заметки на полях это серия, в которой мы рассказываем о важных отраслевых, исследовательских и других мероприятиях. В этом выпуске Валерия Николаенко, партнер a16z по исследованию криптовалют, делится своими краткими моментами с Семинар по доказательству с нулевым разглашением связан с Конференция по безопасности криптоэкономики (CESC), которая состоялась 30 октября в Калифорнийском университете в Беркли. программа призван собрать вместе исследователей и практиков, чтобы продемонстрировать и обсудить самые последние разработки в области блокчейна и сети3. Вы можете посмотреть записи выступлений здесь.

• Песня рассвета (Калифорнийский университет в Беркли) объявил новый МООК на весну 2023 года по доказательствам с нулевым разглашением, которое планируется старт 17 января 2023 г., и напомнил о МООК, которые уже запущены осенью 2022 г.:

• Юпэн Чжан (Техасский университет A&M) представил учебник по последним разработкам систем ZKP, исключительный обзор различных подходов к построению систем проверки zk, сопоставление их по 4 осям: краткость poof, эффективность доказывающего и проверяющего, а также прозрачная и доверенная установка.

• Дэн Бонех (Стэндфордский Университет) представлены обзор абстракции IOP в целом и полиномиального IOP Плонка в частности.

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

• Тяньчэн Се (Калифорнийский университет в Беркли) представлены на zkBridge (прочитайте статью здесь), подчеркивая важность улучшения дизайна мостов в свете многочисленных недавних взломов (Эксплойт Ронин-Бридж, Взлом червоточины, Водосток моста кочевников, и так далее). zkBridge сводит к минимуму доверие и повышает производительность с помощью системы доказательства с нулевым разглашением deVirgo.
• Песня рассвета (UC Berkeley) анонсировала zkCollective — основу для безопасной межцепочечной совместимости. Форму для участия в акции можно заполнить здесь.
• Лев Фан (Цисик) представили свои результаты по ускорению мультискалярного умножения (MSM) на FPGA для zk-prover, где MSM часто составляет более 50% времени прувера. По оценкам, они быстрее, чем сопоставимые усилия (ТрубаМСМ и ЦиклонМСМ). Их конечной целью является создание ASIC.
• Марек Ольшевский (Рвение) представил отличную демонстрацию запуска легкого клиента Celo, Plumo, который разрабатывался 2 года и был запущен в этом году. Клиент разработан как массивная схема с 2²⁷ ворота, и питается от оптимистичных полномочия тау церемония, которая может быть полезна для других проектов. Члены сообщества генерируют SNARK-доказательства ежедневно (после каждой смены эпохи), доказательство занимает ~1 час на 256-ядерной машине. Их библиотека WASM позволяет проверять доказательства из веб-приложений.
• Говард Ву (Алео) представил идеи, лежащие в основе дизайна Aleo, который создает блокчейн для частных транзакций, обеспечивающий параллелизм и эффективные обновления состояния.
• Джереми Брюстл (Риск0) объяснил обоснование дизайна создания zkVM для набора инструкций RISC-V, реализованного с помощью zkSTARK. RISC-V имеет очень небольшой набор инструкций (<40), хорошо поддерживается различными компиляторами, полностью открыт. И, что наиболее важно, он предназначен для эффективных аппаратных реализаций, что подразумевает эффективную схему для проверки zk.
• Ума Рой (Краткие лаборатории) дал обзор способа краткой проверки консенсуса Ethereum с помощью zkSNARKs со временем подтверждения всего 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 для получения дополнительной важной информации.