Пионер аппаратного ускорения в области ZK: интерпретация видения и стратегии Cysic
Недавно сооснователь Ethereum Виталик на саммите по блокчейну в Гонконге вновь подчеркнул важность ZK-SNARKs в дорожной карте Danksharding Ethereum и указал на огромный потенциал ASIC-микросхем для ускорения ZK. На самом деле, ZK-технологии имеют перспективу привести к парадигмальным изменениям как в Web3, так и в традиционных отраслях, но в настоящее время эффективность генерации ZK-доказательств и экономические затраты остаются ключевыми факторами, ограничивающими их массовое применение.
Чтобы решить эту проблему, появились некоторые проекты ZK-ускорения. Среди них Cysic, благодаря своим выдающимся результатам в соревновании ZPrize и солидной финансовой поддержке, стал центром внимания на рынке. В этой статье мы подробно рассмотрим принципы работы продуктов Cysic, бизнес-модель и основные принципы аппаратного ускорения ZK.
Рабочий процесс системы ZK-доказательств
Основной процесс системы ZK-доказательств включает в себя:
Установка проблемы: определите содержание, которое нужно доказать.
Арифметизация и CSP: преобразование содержания, требующего доказательства, в логические схемы и многочлены.
Выберите подходящую систему доказательств (, такую как Halo, Plonk и т.д. ) для генерации ZKP-программы.
Доказатели используют программу ZKP для генерации доказательства, которое передается проверяющему для подтверждения.
В настоящее время в блокчейне широко используется технология zk-SNARK, которая в основном опирается на свою простоту, а не на нулевую информативность. Особенностью zk-SNARK является высокая стоимость генерации доказательства и низкая стоимость его проверки, что делает ее очень подходящей для сценариев децентрализованной проверки.
Но высокая стоимость генерации ZKP в конечном итоге будет перекладываться на пользовательский опыт и комиссии, что ограничивает массовое применение технологии ZK. В связи с этим появились некоторые проекты по ускорению ZK, такие как Cysic и Ingonyama, которые пытаются снизить стоимость генерации ZKP с различных точек зрения.
Основные вычислительные узкие места, создаваемые ZKP
В процессе генерации ZKP две задачи, которые требуют наибольших вычислительных ресурсов, это MSM( многоскалярное умножение) и NTT( преобразование чисел), занимающие 80-95% времени на генерацию доказательства.
MSM в основном используется для вычислений на эллиптических кривых, может быть сильно параллелизирован, но требует большого объема памяти. NTT используется для ускорения умножения многочленов, включает случайный доступ к памяти, что неблагоприятно для аппаратного обеспечения.
Оптимизация методов расчета этих двух пунктов включает в себя:
Оптимизация алгоритмов: такие новые алгоритмы, как Hyperplonk, пытаются устранить операции NTT.
Аппаратное ускорение: использование оборудования, такого как GPU, FPGA или ASIC, для повышения вычислительной эффективности
Стратегия ZK-ускорения Cysic
Стратегия развития Cysic делится на четыре этапа:
SDK, разработанный на основе GPU, предоставляет решения для ZK-приложений и интегрирует ресурсы GPU по всей сети.
Использование FPGA для реализации кастомизированного аппаратного ускорения ZK
Самостоятельно разработанное оборудование ZK Depin на основе ASIC
Построение Cysic Network как платформы SAAS/майнинг-пула для интеграции различных ресурсов ZK вычислительной мощности
Cysic Network: ZK-майнинг пул и SaaS платформа
Cysic Network как ZK-майнинг-пул и SaaS-платформа будет интегрировать собственные вычислительные мощности Cysic и ресурсы третьих сторон. Его рабочий процесс включает в себя:
Агент по направлению ZK проектов подает доказательство задания
Prover принимает задание и генерирует ZK-доказательство
Комитет проверяющих удостоверяет действительность доказательства и голосует
Cysic Network также построила собственную публичную цепочку, использующую алгоритм консенсуса Proof of Compute (PoC).
В области ускорения с помощью GPU собственная разработка Cysic, CUDA SDK, обеспечивает увеличение скорости на 50%-80% по сравнению с открытыми фреймворками.
В области FPGA Cysic реализовал самые быстрые в мире модули MSM, NTT и другие. Его SolarMSM и SolarNTT показывают отличные результаты в масштабных вычислениях.
В области ASIC компания Cysic разрабатывает два продукта: ZK Air для обычных пользователей и ZK Pro для крупных проектов. Ожидается, что эти устройства выйдут на рынок в 2025 году и создадут стабильную и надежную сеть ZK-DePIN.
С развитием сети Cysic и распространением ZK-аппаратуры, область ZK-вычислений может столкнуться с аналогичным бумом, как и в случае с майнингом биткойнов, а объем рынка, вероятно, достигнет взрывного роста.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
9 Лайков
Награда
9
6
Поделиться
комментарий
0/400
RebaseVictim
· 13ч назад
Зачем такие дорогие железки?
Посмотреть ОригиналОтветить0
CafeMinor
· 13ч назад
Занять маленький стульчик в первом ряду игрока ZK
Посмотреть ОригиналОтветить0
DaoDeveloper
· 13ч назад
похоже, мы наконец преодолеваем этот гэп в zk вычислениях... их стратегия ASIC надежна
Cysic: Лидер в аппаратном ускорении в области ZK, всеобъемлющая стратегия от GPU до ASIC
Пионер аппаратного ускорения в области ZK: интерпретация видения и стратегии Cysic
Недавно сооснователь Ethereum Виталик на саммите по блокчейну в Гонконге вновь подчеркнул важность ZK-SNARKs в дорожной карте Danksharding Ethereum и указал на огромный потенциал ASIC-микросхем для ускорения ZK. На самом деле, ZK-технологии имеют перспективу привести к парадигмальным изменениям как в Web3, так и в традиционных отраслях, но в настоящее время эффективность генерации ZK-доказательств и экономические затраты остаются ключевыми факторами, ограничивающими их массовое применение.
Чтобы решить эту проблему, появились некоторые проекты ZK-ускорения. Среди них Cysic, благодаря своим выдающимся результатам в соревновании ZPrize и солидной финансовой поддержке, стал центром внимания на рынке. В этой статье мы подробно рассмотрим принципы работы продуктов Cysic, бизнес-модель и основные принципы аппаратного ускорения ZK.
Рабочий процесс системы ZK-доказательств
Основной процесс системы ZK-доказательств включает в себя:
В настоящее время в блокчейне широко используется технология zk-SNARK, которая в основном опирается на свою простоту, а не на нулевую информативность. Особенностью zk-SNARK является высокая стоимость генерации доказательства и низкая стоимость его проверки, что делает ее очень подходящей для сценариев децентрализованной проверки.
Но высокая стоимость генерации ZKP в конечном итоге будет перекладываться на пользовательский опыт и комиссии, что ограничивает массовое применение технологии ZK. В связи с этим появились некоторые проекты по ускорению ZK, такие как Cysic и Ingonyama, которые пытаются снизить стоимость генерации ZKP с различных точек зрения.
! [ZK Mining вот-вот поднимется?] Толкование Cysic](https://img-cdn.gateio.im/webp-social/moments-eaaa0c1cd7f92517fd2a843ec618afba.webp)
Основные вычислительные узкие места, создаваемые ZKP
В процессе генерации ZKP две задачи, которые требуют наибольших вычислительных ресурсов, это MSM( многоскалярное умножение) и NTT( преобразование чисел), занимающие 80-95% времени на генерацию доказательства.
MSM в основном используется для вычислений на эллиптических кривых, может быть сильно параллелизирован, но требует большого объема памяти. NTT используется для ускорения умножения многочленов, включает случайный доступ к памяти, что неблагоприятно для аппаратного обеспечения.
Оптимизация методов расчета этих двух пунктов включает в себя:
Стратегия ZK-ускорения Cysic
Стратегия развития Cysic делится на четыре этапа:
Cysic Network: ZK-майнинг пул и SaaS платформа
Cysic Network как ZK-майнинг-пул и SaaS-платформа будет интегрировать собственные вычислительные мощности Cysic и ресурсы третьих сторон. Его рабочий процесс включает в себя:
Cysic Network также построила собственную публичную цепочку, использующую алгоритм консенсуса Proof of Compute (PoC).
! [ZK Mining вот-вот поднимется?] Cysic](https://img-cdn.gateio.im/webp-social/moments-bf6e61fe8f00815d70317d1205d6238c.webp)
GPU, FPGA и ASIC решения
В области ускорения с помощью GPU собственная разработка Cysic, CUDA SDK, обеспечивает увеличение скорости на 50%-80% по сравнению с открытыми фреймворками.
В области FPGA Cysic реализовал самые быстрые в мире модули MSM, NTT и другие. Его SolarMSM и SolarNTT показывают отличные результаты в масштабных вычислениях.
В области ASIC компания Cysic разрабатывает два продукта: ZK Air для обычных пользователей и ZK Pro для крупных проектов. Ожидается, что эти устройства выйдут на рынок в 2025 году и создадут стабильную и надежную сеть ZK-DePIN.
С развитием сети Cysic и распространением ZK-аппаратуры, область ZK-вычислений может столкнуться с аналогичным бумом, как и в случае с майнингом биткойнов, а объем рынка, вероятно, достигнет взрывного роста.