ZK-апаратне прискорення: Чи може Cysic стати наступним Бітмейнером?

Технологія ZK демонструє великий потенціал в таких сферах, як масштабування Ethereum та довірчі обчислення, але наразі низька ефективність генерації ZKP заважає її масовому впровадженню. Щоб вирішити цю проблему, з'явилися апаратні рішення ZK, і Cysic є одним з лідерів у цьому напрямку.

Робочий процес системи ZK-доказів

Основний процес системи ZK-доказів включає:

1. Налаштування питання: визначте, що необхідно довести
2. Артифікація та CSP: перетворення змісту, що підлягає доведенню, в математичну модель
3. Виберіть систему доказів (, таку як Halo2, Plonk тощо ) для генерації ZKP програми.
4. Призначений користувач використовує програму ZKP для генерації доказу, перевіряючий здійснює верифікацію

Генерація ZKP займає багато часу, але перевірка швидка. Ця асиметрія сприяє децентралізованій перевірці, але також призводить до високих витрат.

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

Двома найбільш ресурсомісткими обчислювальними завданнями при генерації ZKP є MSM та NTT, які займають 80-95% загального часу:

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

MSM потребує великої кількості пам'яті та паралельних обчислювальних ресурсів, тоді як NTT обмежений випадковим доступом до пам'яті.

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

Наразі основними є три варіанти апаратного прискорення: GPU, FPGA та ASIC.

• GPU: Висока популярність, легкість у розробці
• FPGA: висока гнучкість, висока енергоефективність, але велика складність розробки
• ASIC: найвища ефективність, але тривалий цикл розробки та висока вартість

ZK-розгортання Cysic

Cysic здійснив розклад на кількох рівнях:

1. Cysic Network: ZK майнінговий пул та SaaS платформа
   • Інтеграція власних та сторонніх обчислювальних ресурсів
   • Використання механізму консенсусу Proof of Compute

2. Прискорення GPU:
   • Власна розробка SDK з прискоренням CUDA
   • Зосередження великої кількості ресурсів GPU спільноти

3. FPGA рішення:
   • Реалізуйте найшвидші у світі модулі MSM, NTT тощо
   • SolarMSM та SolarNTT мають передову продуктивність

4. ASIC-структура:
   • Запуск двох апаратних продуктів ZK Air та ZK Pro
   • Побудова ZK-DePIN мережі

Завдяки багатогранному підходу, Cysic має всі шанси стати лідером у сфері апаратного прискорення ZK, прокладаючи шлях до широкомасштабного застосування технології ZK.