(Доказ нульового знання) сингулярність уже NEAR

Повільно, потім раптово.

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

По-перше, минулого тижня Polygon Labs вийшла на біржу придбання спеціалізованих чіпів Fabric Cryptography – верифіковані модулі обробки (VPU) – заява про значний стрибок уперед для можливостей підтвердження нульових знань (ZK).

Тоді, у співпраці з Optimism, провідним блокчейном рівня 2, Succinct Labs окремо представила рамка оновити оптимістичні зведені ланцюжки в Стек OP в ZK rollup – всього за годину. Користувачі зможуть вивести кошти раніше після того, як зведення або пакет транзакцій реєструється в ланцюжку, тому що період вирішення спору, необхідний для оптимістичних зведень, замінюється впевненістю, яку надають докази ZK.

І цього тижня у нас були новини від RiscZero планувати щоб стати рівнем розподілених перевірених обчислень для всіх блокчейнів.

Разом ця серія оголошень демонструє прискорення простору ZK до справжньої масштабованості з кращими швидкостями та витратами.

VPU Fabric обіцяють надзвичайний приріст завдяки своїй індивідуальній архітектурі та потужності криптографічного обчислення. Як дослідник, будівельник і стратегічний інвестор у Fabric, я схвильований і готовий випробувати чіпи в дикій природі. Але як галузь ми повинні KEEP за більшим призом. Апаратне прискорення є лише ONE із компонентів подолання ширшої та складнішої проблеми: досягнення перевірки блокчейнів у реальному часі, відомої як proof singularity.

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

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

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

Апаратне прискорення: необхідно, недостатньо

На цьому амбітному тлі VPU Fabric забезпечує до 900% підвищення продуктивності великих цілих операцій порівняно зі звичайними GPU. Інвестиції Polygon підкреслюють прагнення оптимізувати генерацію доказів, роблячи ставку на VPU для вдосконалення таких програм, як Polygon zkEVM (версія віртуальної машини Ethereum без знань). Однак, незважаючи на те, що ці цифри великі, залишається багато технічних бар’єрів для наскрізної перевірки в реальному часі, оскільки операції з великими цілими числами є лише частиною часу наскрізної перевірки.

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

Повністю вертикально інтегрований підхід

• Краща архітектура zkVM: Давайте переосмислимо архітектуру zkVM з нуля: поточне покоління zkVM обмежене багатьма послідовними компонентами. Нам потрібно змінити архітектуру zkVM, щоб виконання та перевірка zkVM могли виконуватися паралельно від початку до кінця.
• Агрегація доказів у реальному часі: використовуючи це, галузь може вирішити ключове вузьке місце, яке часто не помічається, — вартість перевірки та затримку. Агрегація доказів у реальному часі дозволяє дешево перевіряти докази в мережі з мінімальною затримкою.
• Спільне проектування апаратного/програмного забезпечення: перевірка в режимі реального часу потребує використання різних типів апаратного забезпечення, наприклад ЦП, ГП, ВПУ та програмованих вентильних матриць (FPGA), оскільки кожен тип має різні компроміси між продуктивністю та енергоефективністю. Щоб повністю реалізувати потужність апаратного забезпечення, нам потрібно спільно розробляти апаратне забезпечення разом із програмним забезпеченням, щоб не було витоку продуктивності або між різними рівнями стеку.

Підсумок

Інвестиції Polygon у VPU сигналізують про захоплюючий крок вперед, але шлях доведення унікальності вимагатиме не лише апаратних інновацій. Справжній потенціал Технології ZK буде розкрито завдяки збалансованому поєднанню вдосконалених схем, оптимізованої криптографії та проривів на системному рівні. Давайте KEEP розширювати межі Технології ZK, прагнучи реалізувати майбутнє, де перевірка ZK у реальному часі буде не просто можливістю, а реальністю.

Перегони тривають, і йдеться про набагато більше, ніж про швидші мікросхеми, це про переосмислення всього стеку ZK.

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

Примітка: погляди, висловлені в цій колонці, належать автору та не обов’язково відображають погляди CoinDesk, Inc. або її власників і афілійованих осіб.