Будущее аппаратного ускорения ZK: амбиции и вызовы Cysic
В последние годы, с широким применением технологий ZK в области блокчейна, эффективность систем доказательства ZK постепенно стала очевидной. Виталик на Гонконгском блокчейн-саммите вновь подчеркнул важность ZK-SNARKs в масштабировании Ethereum и указал на огромный потенциал ASIC-микросхем для ускорения ZK.
На самом деле, еще в 2022 году ведущие венчурные капитальные компании предсказали широкие перспективы аппаратного ускорения ZK. С ростом популярности проектов ZK Rollup, таких как Scroll и Starknet, аппаратное ускорение стало горячей темой на рынке. В этой новой области ZK-производители аппаратного обеспечения с сильными позициями и преимуществом первого игрока могут стать следующими Bitmain.
Cysic, как одна из ведущих компаний в области ZK-ускорения, предлагает продукты, включая ZK-пулы для B2B и ZK-Depin-аппаратное обеспечение для B2C, что привлекло внимание многих топовых инвестиционных учреждений. В данной статье будет подробно рассмотрена продуктовая концепция и бизнес-модель Cysic, а также кратко представлена принцип работы аппаратного ускорения ZK.
Рабочий процесс системы доказательства ZK
Система ZK-доказательств хотя и сложна, но ее можно упростить с точки зрения функций и рабочего процесса. Для системы, которая делает обычные вычисления ZK, основной процесс включает:
Установка проблемы: определить содержимое, которое следует доказать.
Арифметизация и CSP: преобразование содержимого для доказательства в логические вентильные схемы и полиномиальную форму.
Выберите подходящую систему доказательства, такую как Halo, Plonk и т. д., и скомпилируйте программу ZKP.
В настоящее время в блокчейне широко используется технология zk-SNARK, которая отличается высокой стоимостью генерации доказательств, но низкой стоимостью их проверки. Эта асимметрия делает технологии ZK крайне выгодными в сценариях децентрализованной проверки, однако при этом она также создает проблемы для широкомасштабного применения.
В процессе генерации ZK-доказательства многоскалярное умножение MSM( и числовое преобразование NTT) являются двумя наиболее ресурсоемкими задачами, которые занимают 80-95% времени генерации доказательства.
MSM в основном обрабатывает операции на эллиптической кривой, может быть сильно параллелизован, но требует больших объемов памяти. NTT же предполагает случайный доступ к памяти, что невыгодно для аппаратного обеспечения и затрудняет эффективную обработку в распределенной среде.
Оптимизация этих операций включает в себя улучшение алгоритмов и аппаратное ускорение. Некоторые новые алгоритмы, такие как Hyperplonk, устраняют операции NTT путем модификации Plonk, в то время как алгоритм STARK не требует MSM, но вводит большое количество хэш-вычислений.
Сравнение решений по аппаратному ускорению ZK
В настоящее время основные решения для аппаратного ускорения ZK включают GPU, FPGA и ASIC, каждое из которых имеет свои преимущества и недостатки:
GPU: высокая распространенность, низкий порог разработки, но эффективность ниже, чем у FPGA и ASIC.
FPGA: высокая гибкость, хорошее соотношение эффективности, но высокая планка для разработки.
ASIC: наилучшие характеристики, наименьшее потребление энергии, но длительный срок разработки и высокая стоимость.
Стратегия Cysic заключается в поэтапной реализации полного перехода от GPU к ASIC:
SDK, разработанный на основе GPU, интегрирует ресурсы GPU со всей сети.
Использование FPGA для быстрого кастомизированного аппаратного ускорения ZK.
Разработка аппаратного обеспечения ZK Depin на основе ASIC.
Создание Cysic Network как платформы SAAS/майнинг-пула, интеграция всех ресурсов вычислительной мощности.
Cysic Network: ZK-майнинг-пул и SaaS-платформа
Cysic Network стремится стать комплексным ZK-майнинговым пулом и платформой SaaS, интегрируя собственную вычислительную мощность и привлекая ресурсы третьих сторон. Его рабочий процесс включает в себя:
Проектная команда предоставляет доказательство задания агенту (Agent).
Prover принимает задание и генерирует ZK-доказательство.
Комитет проверяющих проверяет действительность сертификатов и голосует.
Cysic Network использует алгоритм консенсуса под названием Proof of Compute (PoC), который основан на функции VRF и исторической производительности Prover для выбора майнеров.
Аппаратное ускорение Cysic
В области GPU компания Cysic разработала собственный SDK с ускорением CUDA, производительность которого на 50%-80% выше, чем у открытых фреймворков.
В области FPGA компания Cysic реализовала самые быстрые в мире модули MSM, NTT и т.д., а их SolarMSM и SolarNTT показывают выдающиеся результаты в масштабных вычислениях.
Для ASIC компания Cysic планирует выпустить два продукта аппаратного обеспечения ZK:
ZK Air: портативное устройство, подходящее для обычных пользователей для участия в небольших задачах ZK-доказательства.
ZK Pro: Похоже на традиционные майнинговые установки, подходит для крупных ZK проектов, таких как ZK-Rollup и ZKML.
Ожидается, что эти устройства поступят в продажу в 2025 году, что должно способствовать строительству сети ZK-DePIN и взрывному росту рынка ZK-вычислений.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
12 Лайков
Награда
12
5
Поделиться
комментарий
0/400
LiquiditySurfer
· 08-06 01:00
Майнинг дельцы снова пришли за ликвидностью неудачников.
Cysic布局 ZK аппаратное ускорение создание полнофункционального ZK Майнинговый пул и SAAS платформа
Будущее аппаратного ускорения ZK: амбиции и вызовы Cysic
В последние годы, с широким применением технологий ZK в области блокчейна, эффективность систем доказательства ZK постепенно стала очевидной. Виталик на Гонконгском блокчейн-саммите вновь подчеркнул важность ZK-SNARKs в масштабировании Ethereum и указал на огромный потенциал ASIC-микросхем для ускорения ZK.
На самом деле, еще в 2022 году ведущие венчурные капитальные компании предсказали широкие перспективы аппаратного ускорения ZK. С ростом популярности проектов ZK Rollup, таких как Scroll и Starknet, аппаратное ускорение стало горячей темой на рынке. В этой новой области ZK-производители аппаратного обеспечения с сильными позициями и преимуществом первого игрока могут стать следующими Bitmain.
Cysic, как одна из ведущих компаний в области ZK-ускорения, предлагает продукты, включая ZK-пулы для B2B и ZK-Depin-аппаратное обеспечение для B2C, что привлекло внимание многих топовых инвестиционных учреждений. В данной статье будет подробно рассмотрена продуктовая концепция и бизнес-модель Cysic, а также кратко представлена принцип работы аппаратного ускорения ZK.
Рабочий процесс системы доказательства ZK
Система ZK-доказательств хотя и сложна, но ее можно упростить с точки зрения функций и рабочего процесса. Для системы, которая делает обычные вычисления ZK, основной процесс включает:
В настоящее время в блокчейне широко используется технология zk-SNARK, которая отличается высокой стоимостью генерации доказательств, но низкой стоимостью их проверки. Эта асимметрия делает технологии ZK крайне выгодными в сценариях децентрализованной проверки, однако при этом она также создает проблемы для широкомасштабного применения.
! [ZK Mining вот-вот поднимется?] Толкование Cysic](https://img-cdn.gateio.im/webp-social/moments-eaaa0c1cd7f92517fd2a843ec618afba.webp)
Основные затраты на генерацию ZKP
В процессе генерации ZK-доказательства многоскалярное умножение MSM( и числовое преобразование NTT) являются двумя наиболее ресурсоемкими задачами, которые занимают 80-95% времени генерации доказательства.
MSM в основном обрабатывает операции на эллиптической кривой, может быть сильно параллелизован, но требует больших объемов памяти. NTT же предполагает случайный доступ к памяти, что невыгодно для аппаратного обеспечения и затрудняет эффективную обработку в распределенной среде.
Оптимизация этих операций включает в себя улучшение алгоритмов и аппаратное ускорение. Некоторые новые алгоритмы, такие как Hyperplonk, устраняют операции NTT путем модификации Plonk, в то время как алгоритм STARK не требует MSM, но вводит большое количество хэш-вычислений.
Сравнение решений по аппаратному ускорению ZK
В настоящее время основные решения для аппаратного ускорения ZK включают GPU, FPGA и ASIC, каждое из которых имеет свои преимущества и недостатки:
Стратегия Cysic заключается в поэтапной реализации полного перехода от GPU к ASIC:
Cysic Network: ZK-майнинг-пул и SaaS-платформа
Cysic Network стремится стать комплексным ZK-майнинговым пулом и платформой SaaS, интегрируя собственную вычислительную мощность и привлекая ресурсы третьих сторон. Его рабочий процесс включает в себя:
Cysic Network использует алгоритм консенсуса под названием Proof of Compute (PoC), который основан на функции VRF и исторической производительности Prover для выбора майнеров.
Аппаратное ускорение Cysic
В области GPU компания Cysic разработала собственный SDK с ускорением CUDA, производительность которого на 50%-80% выше, чем у открытых фреймворков.
В области FPGA компания Cysic реализовала самые быстрые в мире модули MSM, NTT и т.д., а их SolarMSM и SolarNTT показывают выдающиеся результаты в масштабных вычислениях.
Для ASIC компания Cysic планирует выпустить два продукта аппаратного обеспечения ZK:
Ожидается, что эти устройства поступят в продажу в 2025 году, что должно способствовать строительству сети ZK-DePIN и взрывному росту рынка ZK-вычислений.