Виникнення ринку апаратного прискорення ZK, Cysic може стати наступним поколінням Біт Майн

Останнім часом, з появою таких проектів ZK Rollup, як Scroll і Starknet, апаратне прискорення ZK знову стало гарячою темою на ринку. У галузі загалом вважається, що на основі величезного попиту на технологію ZK, ZK-майнінгові басейни та SaaS-модель для генерації 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 стримує масштабне застосування.

! [ЗК: Майнінг ось-ось підніметься?] Тлумачення Cysic](https://img-cdn.gateio.im/webp-social/moments-eaaa0c1cd7f92517fd2a843ec618afba.webp)

Основні витрати на генерування ZKP

Двома найбільш ресурсоємними обчисленнями при генерації ZKP є:

• MSM(Багатоскалярне множення): множення кількох скалярів на еліптичній кривій
• NTT(Чисельна теорія перетворення): швидке перетворення Фур'є на скінченних полях

Ці два види обчислень займають 80-95% часу генерації доказу. MSM потребує значних обсягу пам'яті, NTT передбачає випадковий доступ до пам'яті, що не є дружнім до апаратного забезпечення.

! [ЗК: Майнінг ось-ось підніметься?] Тлумачення Cysic](https://img-cdn.gateio.im/webp-social/moments-84a5edaec1ee0d76b68eede1f0f5565f.webp)

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 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-обчислень.