Вступ:

Починаючи з низьких технологій і даних, ця стаття намагається відповісти, чи є низька вартість ZKP помилковою пропозицією.

Вступ. З безперервним прогресом технології ZKP (Zero-Knowledge Proof) люди почали активно цікавитися її співвідношенням між вартістю та продуктивністю. Великі обчислювальні ресурси та оптимізація алгоритмів є незамінними для впровадження та підтримки систем із нульовими знаннями. Ці обчислення можуть призвести до високих витрат, особливо коли мова йде про колосальні дані та складні обчислення. Таким чином, ZKP не має абсолютної переваги в ціні, яка залежить від конкретного сценарію застосування.

На тлі новин про те, що компанія Azarta Connect була змушена припинити роботу, нам важливо переоцінити заявлені економічні переваги технології ZKP. Хоча ZKP рекламується як рішення, яке може забезпечити високий ступінь конфіденційності, тимчасовий збій Azarta Connect принаймні доводить, що ця технологія стикається з величезними проблемами з точки зору вартості на цьому етапі.

Якщо технологія ZKP справді економічно ефективна, чому Azarta Connect не може досягти стабільності у своїй діяльності? Більш інтригуючим є те, що Azarta також заохочує спільноту створювати, розгортати та використовувати нові версії Azarta Connect. Це вказує на величезні ресурси, необхідні для самостійного запуску Azarta Connect. Це також ще більше посилює наші сумніви щодо економічної ефективності ЗКП. Якщо ЗКП справді має економічну перевагу, то навіщо громаді потрібні такі великі інвестиції, щоб проект працював?

Тому нам потрібно серйозно поглянути на заявлену цінову перевагу технології ЗКП. Можливо, економічна перевага ЗКП – це лише перебільшена ілюзія, а реальна ситуація може бути складнішою. Переслідуючи економічні переваги, потрібно думати не лише про оптимізацію окремого аспекту, але й про ефективність і баланс витрат усієї системи в цілому. Наприклад, зменшення витрат на обчислення може збільшити витрати на зв’язок, або використання ефективніших алгоритмів може потребувати складнішої апаратної підтримки. Тому нам потрібно провести комплексний аналіз витрат і вигод для конкретного проекту, зважити стратегії оптимізації в усіх аспектах і знайти найкращу точку балансу.

Джерело: Bing Ventures

Зруйнований міф про вартість

По-перше, нам необхідно визначити структуру собівартості ЗКП. Наразі різні методи визначення є складними та мають різні стандарти, які включають принаймні вартість апаратного забезпечення, вартість обчислень, вартість перевірки, вартість зберігання тощо. Але в цій статті, дотримуючись рідних принципів ZKP, визначення структури витрат зосереджено на двох основних витратах на зв’язок і обчислення. Вартість зв’язку означає вартість обміну інформацією між прувером і валідатором, тоді як обчислювальна вартість відноситься до вартості прувера та валідатора для виконання обчислень. Ці дві основні витрати відіграють основну конкурентну роль у ZKP, оскільки вони безпосередньо впливають на ефективність і безпеку доказів і верифікації. Якщо витрати на зв’язок і обчислення занадто високі, ефективність доказів і перевірки буде знижена, що вплине на продуктивність усієї системи.

Повертаючись до архітектури конфіденційності Azarta, ми повинні усвідомити, що існують значні відмінності між підходом Azarta Rollup та іншими рішеннями рівня 2 серії ZK. Порівняно з об’єднанням і упаковкою кількох транзакцій для створення доказів, Azarta потребує створення доказів для кожної транзакції окремо, а потім їх упаковки. Цей підхід призводить до необхідності генерувати незалежне підтвердження для кожної транзакції, що збільшує вартість розрахунку та плату за газ, роблячи плату за газ у Azarta вищою, ніж в інших схемах Rollup.

Крім того, лише підтвердження конфіденційності, створене користувачем, є підтвердженням нульового знання, яке не містить витоку інформації, а внутрішнє зведене підтвердження та зовнішні підтвердження не обов’язково є підтвердженням нульового знання. Це приховує переваги конфіденційності ZKP і ще більше ставить під сумнів життєздатність цінової переваги ZKP. Метод шлюзу Azarta Connect відносно роздутий. Він агрегує транзакції до рівня 1 і реалізує агрегацію коштів і виклики функцій Defi через Azarta Bridge Contract. Однак цей шлюзовий підхід може бути придатним лише для певних типів транзакцій з точки зору розподілу плати та може зробити розгортання проекту менш гнучким.

Джерело: Sin7Y

Важко виміряти економічну ефективність

Зв’язок між вартістю та продуктивністю складний і динамічний. Як правило, нижча вартість покращує продуктивність, оскільки зменшує накладні витрати на обчислення та зв’язок, що робить систему в цілому ефективнішою. Однак надмірна гонитва за низькою вартістю призведе до погіршення продуктивності, оскільки в жертву приносять певні обчислювальні та комунікаційні ресурси. Тому необхідно знайти відповідний баланс між вартістю та продуктивністю в системах ZKP, щоб задовольнити потреби різних сфер застосування.

Докази з нульовим знанням передбачають перевірку правильності заяви між різними учасниками шляхом передачі повідомлень, тому вартість зв’язку є ключовим фактором. Щоб зменшити витрати на зв’язок, ми можемо розглянути можливість використання ефективних протоколів зв’язку та алгоритмів стиснення, щоб зменшити розмір повідомлення та час передачі. Особливо для проектів рівня 2, таких як Azarta, міжланцюгова комунікація вимагає передачі повідомлень і даних між різними блокчейн-мережами. Доставка повідомлень передбачає мережевий зв’язок і взаємодію, що призводить до певних витрат на зв’язок. Особливо для великомасштабної побудови повного ланцюга DApp обсяг передачі повідомлень буде більшим, що збільшить тиск на витрати на зв’язок.

Докази з нульовим знанням вимагають великих обчислень для створення доказів і перевірки їх правильності. Щоб зменшити витрати на обчислення, ми можемо зменшити непотрібні обчислювальні кроки та накладні витрати на зберігання, оптимізувавши алгоритми та структури даних. Крім того, технології паралельних обчислень і розподілених обчислень також можна використовувати для розподілу обчислювальних завдань на кілька вузлів для підвищення ефективності обчислень. Перевірка ZKP у цільовому ланцюжку відносно дешева, але процес генерації доказів у вихідному ланцюжку вимагає великих обчислювальних витрат. Особливо при використанні традиційних методів перевірки вартість перевірки висока, і користувачі не можуть собі це дозволити.

Джерело: Bing Ventures

Більш ефективні стратегії контролю витрат

Автор вважає, що з розвитком технологій вартість зв’язку перестане бути головним обмеженням. Постійний розвиток сучасних комунікаційних технологій означає, що витрати на зв’язок падають у величезних масштабах. Тому нам потрібно більше зосередитися на оптимізації обчислювальних витрат, що може бути більш значущим. Однак, оскільки сфера застосування таких протоколів розширюється, вартість зв’язку все ще може бути важливим фактором, і постійну увагу слід приділяти конкретним сценаріям, щоб використовувати його гнучко.

У той же час ми повинні знати, що оптимізація алгоритму - не єдиний спосіб знизити витрати на обчислення. Окрім удосконалення алгоритму протоколу, ви також можете розглянути можливість скорочення витрат на обчислення за рахунок технологічних інновацій у таких сферах, як спеціальне обладнання, розподілене обчислення або глибоке навчання. Ці методи вимагають більш довгострокових досліджень і демонстрацій, але безперечно принесуть прорив у покращенні продуктивності та економічні переваги. Вважаємо, що більшої уваги в майбутньому конкурсі ЖКП заслуговують наступні напрямки:

1. Висока продуктивність і низькі витрати на обчислення: Проект ZKP з високою продуктивністю та низькою вартістю обчислення буде представляти великий інтерес. Це означає, що проект здатний генерувати та перевіряти докази ефективним способом, зберігаючи при цьому безпеку та конфіденційність. Такий проект мав би широкий потенціал застосування та міг би задовольнити масштабні практичні потреби. В даний час існує кілька різних систем перевірки ЗКП, кожна з яких має свої унікальні переваги та недоліки. Ми більш оптимістично дивимося на проекти, спрямовані на вдосконалення та інновації систем доказів для підвищення ефективності, зменшення витрат на обчислення та підвищення безпеки. Розробникам необхідно вивчити ефективнішу конструкцію доказів з нульовим знанням і більш оптимізовані алгоритми перевірки доказів з нульовим знанням, щоб досягти швидшого та надійнішого створення доказів і процесів перевірки.
2. Успішний проект ZKP повинен мати функції, які можна розгорнути в реальному світі. Це означає, що він повинен враховувати обмеження в реальних умовах і надавати практичні рішення. Наприклад, важливі такі міркування, як сумісність із існуючою інфраструктурою та системами, легкість інтеграції та зручність використання. Використання спеціального обладнання для прискорення розрахунків ZKP є важливим напрямком досліджень. Майбутні дослідження можуть бути зосереджені на інноваційних технологіях апаратного прискорення, таких як використання спеціального апаратного забезпечення, включаючи FPGA (Field Programmable Sanv Array) або ASIC (Application Specific Integrated Circuit). Використовуючи апаратне прискорення, продуктивність і ефективність системи ZKP можна покращити, забезпечуючи кращу підтримку великомасштабних програм і сценаріїв у реальному часі.

Джерело: Bing Ventures

Рішення питань безпеки: У системі ЗКП безпека має вирішальне значення. Проблеми безпеки в системі ZKP – це найбільші приховані витрати, такі як захист від атак і вразливостей, безпека налаштувань параметрів і гарантія випадковості тощо. Лише шляхом постійного вдосконалення безпеки системи ZKP такі проекти можуть забезпечити її надійність і достовірність у практичних застосуваннях і надати користувачам вищий рівень захисту та гарантії конфіденційності, які будуть проходити через увесь процес проектування вартості та продуктивності.

Таким чином, перспективний проект ЗКП повинен мати високу продуктивність і низьку обчислювальну вартість. Він також має бути орієнтований на практичні застосування, безпечний і надійний, придатний для розгортання в реальному світі та безпечний протягом усього процесу. Ми можемо передбачити, що постійний розвиток технології ZKP забезпечить ширші перспективи застосування для захисту конфіденційності та продуктивності перевірки. Під час оцінки економічної ефективності проекту ZKP нам також потрібно враховувати кілька факторів, включаючи обчислювальні ресурси, вимоги до безпеки, вимоги до продуктивності та складність впровадження та обслуговування. У деяких випадках ZKP може забезпечити значні переваги конфіденційності та безпеки, які компенсують збільшення вартості. Однак в інших випадках вартість може перевищувати фактичну надану вартість.

Відмова від відповідальності:

1. Цю статтю передруковано з [Bing Ventures]. Усі авторські права належать оригінальному автору [Kyle Liu]. Якщо є заперечення щодо цього передруку, будь ласка, зв’яжіться з командою Sanv Nurlae , і вони негайно розглянуть це.
2. Відмова від відповідальності: погляди та думки, висловлені в цій статті, належать виключно автору та не є жодною інвестиційною порадою.
3. Переклади статті на інші мови виконує команда Sanv Nurlae. Якщо не зазначено вище, копіювання, розповсюдження або плагіат перекладених статей заборонено.