Delphi Digital: дослідження спільних доказів, нова територія модульності

Оригінал від Delphi Digital

Оригінальна збірка: Luffy, Foresight News

Вважається, що модульна теорія складається з чотирьох рівнів: DA (Data Availability), Консенсус, Execution і Розрахунок. Однак новий шар - загальний доказ - може бути інтегрований в модульну теорію.

Чи може це бути відсутньою частиною ефективної, масштабованої перевірки? Ринки спільного доказу, агрегації доказів і доказів змінюють ландшафт zk-SNARKs. Все, що вам потрібно знати, ви можете дізнатися з нашого останнього звіту.

Нижче наведено короткий виклад 👇 основних висновків звіту

Короткий огляд zk Rollup

Рішення zk Rollup може масштабувати розмір транзакцій Ethereum, переміщуючи транзакції поза блокчейном для швидшої обробки, забезпечуючи при цьому жорсткий детермінізм поверх Ethereum і перевірку за допомогою доказів zk (zk-SNARKs).

ZK Proof: швидка перевірка, повільна генерація

Хоча zk proofs є потужними з точки зору конфіденційності та масштабування, створення доказів на Ethereum може бути дорогим і повільним.

Висока вартість атестація обмежує zk apps. Нові підходи, такі як агрегація атестація та маркетингові майданчики, спрямовані на усунення цих обмежень.

Претендент Мережа постачання

Спільні секвенсори забезпечують високу пропускну здатність транзакцій між Блокчейн. Однак насправді вони нічого не доводять. У майбутньому вони можуть бути інтегровані зі спільною мережею виконавців для делегування цього завдання.

Сьогодні роллапи стикаємося з проблемою дорогих, окремих zk-SNARKs подань.

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

Спільні атестатори можуть значно покращити ситуацію для програм, які потребують zk-proof підтримка, але не мають власних ресурсів для розробки zkVM або схем.

Наразі Rollups надсилають окремі докази zk, що призводить до високих витрат на газ в години пік.

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

У мережі з найдовшим роллапи і підключеної до мережі proover життєвий цикл транзакції працює наступним чином:

• Rollup надсилає запит на атестація.
• Механізм збігається вибирає доказ.
• Сертифікатор задовольняє запит.
• Сукупні докази.
• Остаточний атестація подається до L1 для перевірки.

Розподіліть вартість валідації

Сингулярність доказів відноситься до різноманітних методів, призначених для Падіння у блокчейні доказ валідації витрат.

Агрегація доказів є одним із таких методів, який стискає найдовші дійсні докази в один доказ, який перевіряє всі докази.

Ця «пакетна перевірка» може Падіння газ витрати порівняно з перевіркою кожного доказу окремо.

zk App Prover Вартість

Висока вартість верифікації та час перевірки заявок ZK в кінцевому підсумку передається користувачеві.

За останні кілька років zk-додатки (в основному Rollups) витратили майже 30 мільйонів доларів у газ на перевірку та публікацію доказів на у блокчейні.

Агрегація протокол профілю Proof

УПА Небра

Nebra UPA дозволяє zk apps об'єднувати лонг докази, щоб Падіння вартість перевірки, і вони стверджують, що підтримка близько 10 доказів на секунду на Тестова мережа. Їхні сертифікатори наразі централізовані, але планують впровадити їх пізніше без необхідності підтвердження дозволу.

Вони мають механізм примусового включення, аналогічний існуючим рятувальним капсулам L2. Якщо виконавець переглядає або затримка докази, заява zk може обійти довідника та примусово врегулювати доказ на L1.

Вирівняний шар

Aligned Layer — це універсальний рівень перевірки zk Ethereum, захищений EigenLayer AVS. Restakers надає користувачам м'яку остаточність за допомогою агрегації доказів та одиночних комітів Ethereum. За замовчуванням DA — EigenDA, але ви також можете вибрати інші шари DA, такі як Celestia або Avail.

AggLayer

AggLayer від Polygon — це нейтральна інфраструктура для безпечної взаємодії крос-ланцюг. Він спрямований на об'єднання незалежних Блокчейн мереж під єдиним крос-ланцюг міст, сприяючи оперативній сумісності без шкоди Блокчейн суверенітеті.

Система призначена для агрегування доказів у всіх пов'язаних роллапи, а потім подання унікального доказу, який містить дерево Меркла для кожного окремого надісланого доказу.

• Він не вимагає спеціального Віртуальна машина або середовища виконання
• Блокчейн вільна у виборі власного газ Токен
• Він не обов'язково повинен бути суб'єктом співуправління.

Під капотом інфраструктури, яка об'єднує все це, є LxLy кросчейн міст, яка стандартизує загальний крос-ланцюг обміну повідомленнями, протокол щоб Rollups могли спілкуватися один з одним і з Ethereum, зберігаючи при цьому суверенітет.

Коротке пояснення 👇 того, як працює LxLy

• Кожен ланцюжок відстежує перекази виведення коштів у дереві Меркла (дереві виходу).
• Усі дерева виходу об'єднуються в глобальне дерево виходу, яке є спільним крос-ланцюг
• Оновлені локальні та глобальні дерева, що дозволяють перевірку та розрахунки чистого виведення.

Крім того, Agglayer має спільну крос-ланцюг міст між підключеними роллапи, що спрощує потік активів між L1 і L2. Активи забезпечуються в контракті L1 без обгортання або блокування/мінтинг.

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

Децентралізація ринку проверів поки що залишається відкритим питанням, але досліджуються деякі підходи:

• Конкуренція доказів: перемагає найшвидший виконавець, що підвищує ефективність, але витрачає витрати на обчислення (витрати, перекладені на користувачів).
• Доказ Майнінг: Подібно до PoW Майнінг, випадкові числа використовуються для запобігання тому, щоб переможець отримав усе (обчислювальні витрати все ще існують). Очікується, що апаратне прискорення в SNARK ASIC Падіння витрат.