Растущий рынок аппаратного ускорения ZK, Cysic может стать следующим поколением Бит大陆

В последнее время, с ростом популярности таких проектов ZK Rollup, как Scroll и Starknet, аппаратное ускорение ZK снова стало горячей темой на рынке. В отрасли широко считается, что огромный потенциал спроса на технологии ZK может открыть совершенно новую цепочку поставок с моделями SaaS для ZK-майнинга и генерации ZKP в реальном времени. Компании-производители аппаратуры ZK с сильными позициями и преимуществами первопроходцев могут стать следующим Битмайн.

В области аппаратного ускорения ZK Cysic является одним из самых заметных проектов. Команда ранее получила важную награду ZPrize и привлекла финансирование почти в 20 миллионов долларов от таких ведущих венчурных капиталистов, как Polychain и ABCDE. С запуском тестовой сети Cysic и ZK-майнинг-пула интерес к нему продолжает расти.

Рабочий процесс системы доказательства ZK

核心流程 ZK-протоколов включает в себя:

1. Установка задачи: определить содержимое, которое необходимо доказать
2. Артификация и CSP: преобразование проверяемого содержимого в логическую схему и многочлен
3. Выберите систему доказательства (, такую как Halo2, Plonk и т.д. ) для компиляции ZKP программ.
4. Доказатель использует программу ZKP для генерации доказательства, передавая его для проверки валидатору.

Проект ZK Rollup использует технологию zk-SNARK, благодаря своей простоте сосредотачивает затраты на верификацию на стороне Prover, но высокая стоимость генерации ZKP ограничивает масштабное применение.

! [ZK Mining вот-вот поднимется?] Толкование Cysic](https://img-cdn.gateio.im/webp-social/moments-eaaa0c1cd7f92517fd2a843ec618afba.webp)

Основные затраты на генерацию ZKP

Самыми ресурсоемкими вычислениями при генерации ZKP являются:

• MSM(Мульти-скалярное умножение): Мульти-скалярное умножение на эллиптической кривой
• NTT(Числовая теоретическая трансформация): Быстрое преобразование Фурье на конечных полях

Эти два метода вычислений занимают 80-95% времени генерации доказательства. MSM требует много ресурсов памяти, NTT включает случайный доступ к памяти, что не является благоприятным для оборудования.

ZK аппаратное ускорение

В настоящее время существуют три основных типа аппаратного обеспечения, которые могут реализовать ускорение ZK:

1. GPU: высокая популярность, низкий порог для разработки, но низкая энергоэффективность
2. FPGA: высокая гибкость, хорошая энергоэффективность, но высокая сложность разработки
3. ASIC: максимальная эффективность, минимальное потребление энергии, но долгий цикл разработки и высокая стоимость

Стратегия развития Cysic заключается в том, что:

1. SDK, разработанный на основе GPU, объединяющий ресурсы GPU по всему интернету
2. Использование FPGA для реализации кастомизированного аппаратного ускорения ZK
3. Разработка аппаратного обеспечения ZK DePIN на основе ASIC
4. Построение Cysic Network в качестве ZK-майнингового пула и SaaS-платформы

Сеть Cysic

Cysic Network как ZK-майнинг-пул и SaaS-платформа объединит собственные вычислительные мощности Cysic и ресурсы вычислительных мощностей третьих сторон. Его рабочий процесс включает:

1. Команда ZK подает доказательство задачи Агенту
2. Prover принимает задание и генерирует ZK доказательство
3. Комиссия по верификации проверяет действительность доказательства и голосует

Cysic Network построила собственную публичную цепочку, использующую алгоритм консенсуса Proof of Compute (PoC).

Аппаратное ускорение Cysic

В области GPU собственный CUDA SDK Cysic ускоряет работу на 50%-80% по сравнению с открытыми фреймворками.

В области FPGA компания Cysic завершила реализацию самых быстрых в мире модулей MSM, NTT и других.

В области ASIC компания Cysic выпустила два продукта ZK DePIN:

• ZK Air: ориентирован на конечных пользователей, может подключаться к устройствам через интерфейс Type-C
• ZK Pro: нацелено на крупные ZK проекты, вычислительная мощность соответствует топовым GPU серверам

Cysic Network объединит эти аппаратные ресурсы, предоставив решения по вычислительной мощности и верификации для ZK-индустрии, что, как ожидается, приведет к новому этапу бурного роста рынка ZK-вычислений.