Піонер апаратного прискорення в області 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, FPGA та ASIC рішення
У сфері прискорення GPU, власна CUDA SDK компанії Cysic перевищує швидкість відкритих фреймворків на 50%-80%.
У сфері FPGA компанія Cysic реалізувала найшвидші у світі модулі MSM, NTT та інші. Її SolarMSM та SolarNTT демонструють відмінні результати в масштабних обчисленнях.
У сфері ASIC Cysic розробляє два продукти: ZK Air для звичайних користувачів та ZK Pro для великих проектів. Ці два пристрої очікуються у продажу у 2025 році та будуть створювати стабільну та надійну мережу ZK-DePIN.
З розвитком Cysic Network і поширенням ZK-апаратури, у сфері ZK-обчислень може виникнути сплеск, подібний до майнінгу біткоїнів, а ринок може очікувати експоненціальний ріст.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
9 лайків
Нагородити
9
6
Поділіться
Прокоментувати
0/400
RebaseVictim
· 10год тому
Досить дорогий апарат, для чого це?
Переглянути оригіналвідповісти на0
CafeMinor
· 10год тому
Передній ряд займає маленький табурет ZK гравець
Переглянути оригіналвідповісти на0
DaoDeveloper
· 10год тому
виглядає так, що ми нарешті долаємо розрив в 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 з різних точок зору.
! [ЗК: Майнінг ось-ось підніметься?] Тлумачення 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).
GPU, FPGA та ASIC рішення
У сфері прискорення GPU, власна CUDA SDK компанії Cysic перевищує швидкість відкритих фреймворків на 50%-80%.
У сфері FPGA компанія Cysic реалізувала найшвидші у світі модулі MSM, NTT та інші. Її SolarMSM та SolarNTT демонструють відмінні результати в масштабних обчисленнях.
У сфері ASIC Cysic розробляє два продукти: ZK Air для звичайних користувачів та ZK Pro для великих проектів. Ці два пристрої очікуються у продажу у 2025 році та будуть створювати стабільну та надійну мережу ZK-DePIN.
З розвитком Cysic Network і поширенням ZK-апаратури, у сфері ZK-обчислень може виникнути сплеск, подібний до майнінгу біткоїнів, а ринок може очікувати експоненціальний ріст.
! [ЗК: Майнінг ось-ось підніметься?] Cysic](https://img-cdn.gateio.im/webp-social/moments-dec45f9974aa0e59204a4ffe6378b865.webp)