TL;DR

Нещодавно Paradigm очолив збір коштів на суму $43 мільйони для Succinct, розпалюючи захват у першинному ринку, тоді як загальна сума фінансування PolyhedraZK на його заході з генерації токенів (TGE) навіть сягнула $75 мільйонів. Це підкреслює значні очікування, що покладаються на базову інфраструктуру ZKP на фондових ринках.

Дійсно, використання ZK для масштабованості рівня 2 лише почало розкривати свій потенціал. Щодо повноцінної міжланцюжкової взаємодії, з технологією ZK є ще багато що уявляти. Чому? Давайте обговоримо моє розуміння:

Крім Полігедр, проекти, такі як Succinct Labs, RiscZero та проект ZKM, які базуються на технології ZKP, всі прагнуть використовувати потенціал технології ZK для її широкомасштабного впровадження.

Більшість людей знають про докази з нульовим розголошенням лише для «приватності», «масштабованості» або «абстракції ланцюга», але кілька хто розглядає, чому ZK-технологія може досягти цих досягнень і чи її поточні застосування повністю використовують її можливості.

Цей «неправильний» випадок виникає тому, що, насправді, справжня ZK-технологія була мінімально використана, і ці застосунки в основному обслуговують більш розвинуті шари в добре відомих проектах, таких як шарНуль, zkSync та Optimism. Наприклад:

Polyhedra надає рішення для передачі активів між ланцюгами zkBridge для layerZero; RISC Zero пропонує систему доказу шахрайства ZK для OP-Rollups, зменшуючи втрати часу на доказ шахрайства; ZKM використовує ZK загального призначення для безпечного перевірення обчислень, що в кінцевому підсилює Ethereum як глобальний рівень поселення.

Просто кажучи, ці проекти основної технології нульового доказу (ZK) досліджують широкомасштабне застосування технології ZK з різних ракурсів та намагаються подолати кілька ключових викликів:

1. Розробка загальнопризначеної технології доказу нульового знання;

2. Будівництво розподілених систем доказів;

3. Оптимізація обчислювального споживання в процесі доведення ZK;

4. Забезпечення середовища розробки, сумісного з декількома мовами програмування;

5. Розширення апаратної підтримки для обчислень нульового доказу, включаючи ПК, мобільні пристрої, пристрої Інтернету речей та інше.

Порівняно з вихідними технічними службами, такими як RISC Zero, Succinct та ZKM, @Polyhedraвирішує більш негайну проблему ринку - взаємодіючі операції через "крос-ланцюжкові мости." Давайте візьмемо добре відомий zkBridge як приклад, щоб продемонструвати міцний фундамент технології ZKP.

Polyhedra створила розподілену систему доказів ZK під назвою deVirgo. Virgo - це система з відкритим вихідним кодом, яка допомагає розробникам створювати та перевіряти протоколи доказів нульового знання без взаємодії. Вузли в цій системі можуть стати Довірчиками без необхідності «довіреної ініціалізації», дозволяючи участь без дозволу. deVirgo - це високоефективний розподілений протокол ZKP на основі протоколу Virgo, що підтримує кілька розподілених мереж обчислень, а також скорочує час, необхідний для генерації доказів.

Перший протокол zk-SNARK, реалізований за допомогою розподіленої системи доведення deVirgo, - це zkBridge. Його мета - сприяти комунікації інформації, трансакціям між ланцюжками активів та обміну даними в крос-ланцюжковому середовищі. Він вже надав послуги крос-ланцюжкової комунікації для понад 25 ланцюжків. Відомий layer0 використовує службу zkBridge від Polyhedra, яка більше акцентується на побудові ланцюжків, DApps та іншої інфраструктури в усьому середовищі блокчейну.

Чому zkBridge настільки важливий? Тому що він використовує можливості вузлів POS публічного ланцюжка самостійно для досягнення комунікації та взаємодії на рівні "шару консенсусу".

Зазвичай, для досягнення взаємодії між Ланцюгом A та Ланцюгом B загальним методом є побудова «ланцюга всередині ланцюга» з власним механізмом консенсусу та розподіленою перевіркою вузлів для забезпечення безпеки міжланцюжкових взаємодій. Ретрансляційні ланцюги підвищують їхні можливості шляхом розгортання взаємодійних розумних контрактів на різних ланцюгах, що підтримують розумні контракти, з майстер-розумним контрактом на ретрансляційному ланцюзі, який регулює активи, керовані розумними контрактами, розподіленими по різних ланцюгах.

Наприклад, коли користувач ініціює переклад активів з ланцюжка A на ланцюжок B, реле з ланцюжка спочатку має розумний договір на ланцюжку A заблокувати певний актив, а потім розумний договір на ланцюжку B його вивільнити. Під час цього процесу реле відстежує всі операції на ланцюжку, щоб забезпечити правильне блокування та вивільнення активів між різними ланцюжками. Керуючи загальним балансом активів та управляючи реєстром для запобігання проблем, таких як подвійне витрачання, реле забезпечує безперервний перехід активів між ланцюжками.

Сам ланцюг реле вносить додатковий рівень вартості довіри. Тільки в тому випадку, якщо користувачі довіряють ретрансляційному ланцюжку, а ретрансляційний ланцюг повинен створювати однакові стандартні смарт-контракти взаємодії у всіх однорідних ланцюгових середовищах, він може працювати. У випадку з ланцюжками несмарт-контрактів, такими як BTC, необхідна додаткова розробка та адаптація для забезпечення безпечного обігу активів. По суті, крос-чейн послуги, що надаються ретрансляційним ланцюгом, в кінцевому підсумку перевіряють Комітет з безпеки, який керує головним смарт-контрактом. Цей комітет, часто підкріплений ідентифікованими групами або керований за допомогою багатопартійних обчислень (MPC), стає «фактором довіри».

Як найбільш поширене рішення для міжланцюжкової взаємодії, більшість мереж Layer 2 використовують модель управління, керовану комітетом забезпечення безпеки, щоб захистити активи. Якщо комітет має намір діяти зловмисно, наслідки будуть необоротними. Сила zkBridge полягає в повному використанні потенціалу технології доказу знань zk-SNARK, дозволяючи вузлам, що підтримують шар консенсусу між двома ланцюжками, встановлювати пряме спілкування, безпечно керуючи передачею активів через розподілену систему deVirgo, яка не є конкретним релеєм, але більше нагадує компонент з відкритим вихідним кодом, без дозволу та надійний сторонній.

Вузли на ланці A можуть використовувати deVirgo для генерації стану zk-SNARKs для ініціації декларацій переказу активів, тоді як вузли на ланці B можуть безпосередньо перевірити правильність доказу ZKP через deVirgo, також з дуже низькими обчислювальними та часовими витратами. Очевидно, технологічні рішення, такі як zkBridge, ймовірніше здобудуть довіру ринку порівняно зі службами ретрансляції на основі комітету безпеки мультипідпису MPC, і вони також є більш безпечними та ефективними. Примітка: Це відносне поняття; багато поточних міжланцюжкових рішень все ще є мультипідписами MPC, і інфраструктура ZK потребує подальшого зміцнення.

zkBridge дозволяє повним вузлам ланцюгів PoS брати участь у всьому процесі генерації та перевірки доказів, але не сприяє швидкому, горизонтальному розширенню. Для вирішення цього Полігедра використовує легковажного клієнта zkLightClient. Такий підхід:

1. Використовує легкий клієнт для зменшення вимог до ресурсів, споживаючи менше сховища, пропускної здатності та обчислювальних ресурсів.

2. Легкий клієнт може горизонтально розміщувати несмарт-контрактні ланцюги або інші гетерогенні ланцюги, пропонуючи більшу взаємодію, наприклад, з ланцюгом BTC, який може використовувати лише легкий клієнт, поєднаний з контрактами на заблокування часу хешу, щоб контролювати передачу активів.

3. За допомогою легкого клієнта разом із інтегрованою легкою підтримкою LayerZero спрощується бар'єр для вступу розробника, скорочується цикл розробки та прискорюється загальне прийняття інфраструктури на всіх ланцюгах.

У зв'язку з обчислювальними, перевірочними та комунікаційними процесами, пов'язаними з доведенням з нульовим розголошенням, потрібна низка операцій обробки. Таким чином, необхідно збалансувати витрати, споживання та своєчасність, а також подолати багато технічних проблем. Певною мірою логічно, що кросчейн-рішення «ланцюжок у ланцюжку» стало вибором ринку.

Поглядаючи в майбутнє, ZK крос-ланцюжкові рішення, включаючи Polyhedra, Succinct, ZKM та RISC Zero, всі рухаються в напрямку бути більш легкими, ефективними та менше енергоємними.

Поглиблюючись у деталі, наприклад, Polyhedra використовує deVirgo та вдосконалену схему підпису для запропонування Single Slot Finality, яка є концепцією остаточності всього в одному слоті. BLS - це цифрова схема підпису, яка дозволяє комбінувати кілька підписів в один, щоб зменшити обсяг зберігання та передачу даних. Інтегруючи підписи BLS з ZKPs, можна створювати компактні докази, які показують, що необхідні підписи були завершені без необхідності передавати та перевіряти самі підписи, тим самим зменшуючи затримки. Це дозволяє отримувати негайну остаточність після вироблення кожного блоку слоту.

Більше того, оскільки попит на використання BTC layer2 як основного рівня розрахунків за активами ланцюга зростає, Polyhedra запозичила економічну систему подвійного стейкінгу Eigenlayer і спеціально створила систему вузлів Bitcoin AVS, що дозволяє Bitcoin мати мінімальну сумісність довіри. Крім того, використовуючи пул ліквідності з подвійним відображенням на BTC і ETH і співпрацюючи з ролями Maker для блокування активів, застосовуючи спеціальне кодування FRI, стає можливим перевіряти докази ZK безпосередньо на Bitcoin, завершуючи найскладнішу частину повної сумісності ZK.

Мета ZK - це не лише завершальна гра для шару2, але також спрямована на те, щоб стати завершальною грою для повноцінної інфраструктури ланцюга.

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

Фактично потенціал всього поля ZKP виходить далеко за межі того, що надає Polyhedra. Більше ZK технологічних інфраструктур від провідних постачальників зверху безперервно прискорюють широке поширення технології ZKP через вертикальні спеціалізації, такі як ZK крос-ланцюжкові мости, ZK легкі рішення, ZK універсальні процесори, ZK співпроцесори та ZK розподілені системи доведення.

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

Disclaimer：

1. Ця стаття перепублікована з [GatePanews], Усі авторські права належать оригінальному автору [Ланцюговий огляд]. Якщо є виключення до цього перепосту, будь ласка, зв'яжіться з Gate Learnкоманда, і вони оперативно займуться цим.
2. Відповідальність за відмову: Погляди та думки, висловлені в цій статті, є виключно тими автора і не є жодним інвестиційним порадам.
3. Переклади статті на інші мови виконуються командою Gate Learn. Якщо не зазначено інше, копіювання, поширення або плагіатування перекладених статей заборонені.