a16z：Сильна якість перезапускає переосмислення «права на розподіл блокового простору» у блокчейні

Автори: @ittaia, @PGarimidi та @jneu_net Компіляція: AididiaoJP, Foresight News
Оригінальне посилання:

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

Якість ланцюга (Chain Quality, CQ) є однією з основних властивостей блокчейну. Простими словами, її значення полягає в тому, що якщо ви володієте 3% стейкованих прав, то в середньому ви зможете контролювати 3% блок-простору. Для блокчейнів ранніх етапів із низькою пропускною здатністю якість ланцюга вже достатньо підходить. Але сучасні блокчейни мають набагато більшу пропускну здатність, і в одному блоці може міститися велика кількість транзакцій. Це підводить до більш сильної та тонкої концепції. Вона не лише зосереджена на середньому співвідношенні блок-простору з плином часу, а й звертає увагу на розподіл блок-простору всередині кожного блоку. Ми називаємо це «сильною якістю ланцюга» (Strong Chain Quality, SCQ): якщо ви володієте 3% стейкованих прав, то в кожному блоці ви зможете контролювати 3% блок-простору. По суті, ця властивість дозволяє зацікавленим сторонам мати «віртуальні смуги» в рамках блокчейну з високою пропускною здатністю, забезпечуючи, щоб їх транзакції могли бути включені. Якість ланцюга в блокчейні Однією з ключових інновацій Bitcoin — яка тепер є практично в кожному блокчейні — є впровадження механізму винагороди для пропонуючих блоки в рамках протоколу: та сторона, яка успішно додала блок до машини стану, може отримати новозапечені токени та комісії за транзакції. Ці винагороди визначаються функцією зміни стану і в кінцевому підсумку відображаються в системному стані. У традиційних розподілених обчислювальних моделях учасники поділяються на чесних і зловмисних. Тут немає необхідності винагороджувати чесних учасників, оскільки чесна поведінка є стандартним припущенням моделі. У криптоекономічній моделі учасники розглядаються як раціональні дії, їх функція корисності може бути невідома. Мета полягає в дизайні стимулів, щоб ці учасники природно узгоджувалися з успішною роботою протоколу в процесі максимізації власного прибутку. Поєднуючи винагороди в рамках протоколу, ми можемо сформулювати наступне ідеалізоване визначення якості ланцюга: Якість ланцюга (CQ): альянс, що володіє загальними стейкованими правами X%, має X% ймовірності стати пропонуючим блок для кожного блоку, що входить до ланцюга, після глобального стабільного часу (GST). Якщо ланцюг відхиляється від вимог якості ланцюга, це може дозволити деяким альянсам отримати частку винагороди, що перевищує нормальний розподіл, тим самим послаблюючи мотивацію до чесної поведінки та загрожуючи безпеці протоколу. Багато блокчейнів намагаються задовольнити цю властивість через «механізм випадкового обертання лідерів на основі ваги стейкінгу». Типові виклики, з якими стикаються, включають: проблему «егоїстичного майнінгу» Bitcoin; проблему стійкості до відгалужень Monad; а також проблеми в протоколі Ethereum LMD GHOST. Походження «сильної якості ланцюга» Коли блок-простору достатньо, ми не повинні доручати весь зміст блоку одному пропонуючому, щоб він його монополізував. Натомість блок-простір одного й того ж блоку може спільно розподілятися між кількома учасниками. Криптоекономічне визначення сильної якості ланцюга виражає цю ідею: Сильна якість ланцюга (SCQ): альянс, що володіє загальними стейкованими правами X%, після глобального стабільного часу (GST) може контролювати X% блок-простору в кожному блоці. Ця ідеалізована властивість приховано вводить абстрактну концепцію «віртуальної смуги». Тобто альянс насправді може контролювати певний відсоток спеціалізованого блок-простору в кожному блоці. З економічної точки зору, володіння віртуальною смугою еквівалентно володінню продуктивним активом, який може генерувати прибуток, цей прибуток може надходити з комісій за транзакції або з MEV (максимально можливої вартості). Зовнішні суб’єкти змагатимуться за отримання та підтримку цих смуг, що створить постійний попит на базові токени L1. Чим більша економічна цінність, яку може створити смуга, тим сильнішим буде стимул змагатися за стейковані права, і тим вищою буде цінність, яку можуть накопичити стейковані права L1, що контролюють доступ до цього блок-простору. Через цю абстракцію ми можемо перетворити більшу стійкість до цензури на ефективність SCQ в протоколі. Сильна якість ланцюга та стійкість до цензури Нещодавні дослідження показали, що протоколи, стійкі до цензури, є надзвичайно важливими. Такі протоколи повинні не лише забезпечити, щоб ввід чесних учасників зрештою був включений, але й гарантувати, що їх включать без затримок. Сильну якість ланцюга (SCQ) можна розглядати як розширення цієї властивості в умовах обмеженої місткості блоків. У реальних сценаріях, якщо обсяг транзакцій, що потребують включення, перевищує доступний блок-простір, жоден протокол не зможе задовольнити ідеальну стійкість до цензури. SCQ підходить до цього обмеження більш прагматичним способом: він не вимагає, щоб всі чесні транзакції завжди включалися, а скоріше надає кожному стейкованому вузлу «бюджет», щоб забезпечити, що в межах цього бюджету їх транзакції можуть бути включені. Протокол MCP був запропонований як компонент над існуючими протоколами консенсусу на основі практичного байєсівського толерантності до помилок (PBFT), щоб надати цим протоколам стійкість до цензури. Цей протокол також відповідає вимогам SCQ — він виділяє відповідний блок-простір для пропонуючих відповідно до частки стейкованих прав. Існуючі BFT-протоколи на основі орієнтованих ациклічних графів (DAG) забезпечують спосіб реалізації пам’яті з кількома авторами, що також має певний рівень стійкості до цензури. Стандартні реалізації цих протоколів зазвичай не можуть строго відповідати SCQ, оскільки дозволяють лідерам вибірково затримувати певні підмножини транзакцій. Однак, з незначними модифікаціями цих протоколів, можливо, можна знову реалізувати SCQ. Одним із напрямків, пов’язаних з цим, є «обов’язкове включення транзакцій», що використовується для зменшення цензури. MCP також демонструє, як реалізувати більш сильну приховану властивість. Завдяки цій властивості зацікавлені сторони можуть створювати віртуальні приватні смуги, вміст яких розкривається лише тоді, коли повний блок публічно оголошується. Ми детальніше розглянемо це в наступних статтях. Як досягти сильної якості ланцюга Щоб отримати сильну якість ланцюга після глобального стабільного часу (GST), ключовим є забезпечення, щоб пропонуючі не могли вільно цензурувати ввід зацікавлених сторін. Це можна досягти за допомогою двохетапного протоколу. На основі практично всіх BFT-протоколів на основі перегляду потрібно внести лише дві незначні зміни: Перший етап: кожен учасник надсилає свої перевірені ввіди всім іншим учасникам. Другий етап: кожен учасник, якщо отримав підтверджений ввід від учасника i, додає i до свого списку включення. Потім цей учасник надсилає свій список включення лідеру. Ця операція є зобов’язанням: він прийме лише ті блоки, які містять усі ввід з цього списку. Пропозиція BFT: Лідер отримує ці повідомлення та включає в блок усі отримані об’єднані списки включення. Голосування BFT: Лише тоді, коли блок містить усі ввід з власного списку включення, цей учасник голосує за. Нескладно побачити, що за цим ескізом протоколу можна побудувати повний протокол. Цей протокол може задовольнити сильну якість ланцюга після глобального стабільного часу (GST), забезпечити стійкість до цензури та зберігати активність, коли лідер є чесним учасником. Якщо потрібно реалізувати SCQ й до GST, потрібно чекати на достатню кількість (кворум) значень або списків на кожному етапі. Ми детально розглянемо цей протокол та його розширені форми в наступних статтях. Нещодавні дослідження показали, що для досягнення сильної якості ланцюга та стійкості до цензури необхідно додати два етапи (як показано в ескізі протоколу) до звичайних раундів голосування BFT. Ми також детально пояснимо цей результат у наступних статтях. Хоча сильна якість ланцюга (SCQ) визначає частку блок-простору, яку альянс може контролювати, вона не обмежує повністю порядок транзакцій у блоці. SCQ можна зрозуміти як резервування простору для кожного стейкованого вузла, але не гарантує порядок транзакцій у цьому просторі. Це відкриває широкий простір для дослідження механізму сортування транзакцій. Добрий механізм сортування може ще більше підвищити справедливість і ефективність у екосистемі блокчейну. Одним з напрямків, на які варто звернути увагу, є сортування транзакцій за пріоритетними комісіями.