TL; DR
1/ Суть модульності полягає в тому, щоб розірвати «неможливий трикутник» і досягти розширення потужності без збільшення навантаження на апаратне забезпечення вузла.
2/ Celestia — це рівень доступності даних. Подібно до Optimistic Rollup, дані за замовчуванням є дійсними, для перевірки даних використовуються кодування захисту від шахрайства та вибірка доступності даних, дозволяючи легким вузлам брати участь у перевірці.
3/ Celestia спочатку сформувала екосистему. Наразі відомі екологічні проекти включають Fuel, Cevmos тощо.
4/ Вирішальним буде те, як Celestia зможе використати віконний період, сформувати ефект масштабу перед Polygon Avail і Danksharding і залучити велику кількість ліквідності, особливо ліквідності рідного Rollup.
Зазвичай Layer1 ділиться на чотири рівні:
1) Рівень консенсусу
2) Осадовий шар
3) Рівень даних
4) Рівень виконання
Потрібен консенсусний рівень. Модулярність означає відокремлення одного чи двох параметрів розрахунку, даних і виконання (строго кажучи, «відокремлення») і додавання консенсусу для формування нового рівня мережевих протоколів, щоб розірвати «неможливий трикутник» без додавання додаткових можливостей. Розширення ємності можна досягти за передумова зменшення навантаження на апаратне забезпечення вузла та спричинення централізації.
Наприклад, Ethereum Rollup відокремлює рівень виконання, щоб забезпечити консенсус і виконання. Централізований секвенсор сортує транзакції, пакетує та стискає їх у основну мережу Ethereum.
Celestia — це проект Data Availability (DA), заснований на архітектурі Cosmos. Він забезпечує рівень даних і рівень консенсусу для інших рівнів 1 і 2, створює модульний блокчейн, має бізнес-модель toB і стягує плату за інші публічні ланцюжки.
Щоб повністю зрозуміти Celestia та доступність даних, ми повинні спочатку почати з «неможливого трикутника» та проблем доступності даних.
Чому доступність даних важлива? Від «неможливого трикутника» до проблем з доступністю даних
Неможливий трикутник, також відомий як трилема, зазвичай відноситься до неможливості досягти децентралізації, масштабованості та безпеки одночасно. Його вперше запропонували представники Ethereum.
Як правило, коли транзакція відправляється в ланцюг, вона спочатку потрапляє в Mempool, де її «вибирають» майнери, упаковують у блок, і блок з’єднує в блокчейн.
Блок, що містить цю транзакцію, буде передано на всі вузли мережі. Інші повні вузли завантажать цей новий блок, виконають складні обчислення та перевірять кожну транзакцію, щоб переконатися, що транзакція автентична та дійсна.
Складні обчислення та надмірність є основою безпеки Ethereum, і вони також створюють проблеми.
1) Доступність даних
Зазвичай бувають двох типів вузлів:
Повний вузол - завантажте та перевірте всю інформацію про блоки та дані транзакцій.
Легкий вузол – неповністю перевірений вузол, простий у розгортанні та перевіряє лише заголовок блоку (дайджест даних).
По-перше, переконайтеся, що під час створення нового блоку всі дані в блоці дійсно були опубліковані, щоб інші вузли могли їх перевірити. Якщо повний вузол не публікує всі дані в блоці, інші вузли не можуть виявити, чи блок приховує зловмисні транзакції.
Іншими словами, вузол повинен отримати всі дані транзакцій протягом певного періоду часу та перевірити, що немає підтверджених, але неперевірених даних транзакцій. Це доступність даних у звичайному розумінні.
Якщо повний вузол приховує деякі дані транзакції, інші повні вузли відмовляться стежити за цим блоком після перевірки. Однак легкі вузли, які завантажують лише інформацію заголовка блоку, не зможуть перевірити та продовжуватимуть стежити за цим роздвоєним блоком, впливаючи на безпеку.
Хоча блокчейн зазвичай втрачає депозит повного вузла, це також призведе до збитків для користувачів, які пообіцяли вузлу.
І коли дохід від приховування даних перевищує вартість конфіскації, вузли матимуть стимул приховувати їх. У цей час фактичними жертвами будуть лише користувачі, які займаються ставки, та інші користувачі ланцюжка.
З іншого боку, якщо повне розгортання вузлів стає все більш централізованим, існує ймовірність змови між вузлами, що поставить під загрозу безпеку всього ланцюга.
Ось чому важливо, щоб дані були доступні.
Доступність даних привертає все більше уваги, частково через злиття Ethereum PoS, а частково через розробки Rollup. Наразі Rollup запускатиме централізований секвенсор (Sequencer).
Користувачі здійснюють транзакції в Rollup, а секвенсор сортує, пакує та стискає транзакції та публікує їх у головній мережі Ethereum. Усі основні вузли мережі перевіряють дані за допомогою захисту від шахрайства (Optimistic) або перевірки дійсності (ZK).
Поки всі дані блоків, надіслані секвенсором, справді доступні, основна мережа Ethereum може відстежувати, перевіряти та реконструювати стан зведення відповідно, щоб забезпечити автентичність даних і безпеку власності користувача.
2) Державний вибух і централізація
Вибух стану означає, що повні вузли Ethereum накопичують все більше і більше історичних даних і даних про стан, а ресурси зберігання, необхідні для роботи повних вузлів, збільшуються, а робочий поріг збільшується, що призводить до централізації мережевих вузлів.
Тому існує потреба в способі, щоб повному вузлу не потрібно було завантажувати всі дані під час синхронізації та перевірки даних блоку, а лише потрібно було завантажити деякі надлишкові фрагменти блоку.
На даний момент ми розуміємо, що доступність даних важлива. Отже, як уникнути «трагедії спільного населення»? Тобто всі знають про важливість доступності даних, але для використання окремого рівня доступності даних все одно потрібні деякі практичні стимули.
Як усі знають, що охорона навколишнього середовища важлива, але, коли бачиш сміття на узбіччі дороги, навіщо «я» маю його збирати? Чому не хтось інший? Які переваги отримаю «я», збираючи сміття?
Настала черга Селестії.
Що таке Celestia?
Celestia надає підключаємий рівень доступності даних і консенсус для інших рівнів 1 і 2 і побудований на основі консенсусу Cosmos Tendermint і Cosmos SDK.
Celestia — це протокол Layer1, сумісний із ланцюжками EVM і Cosmos. У майбутньому ці ланцюжки зможуть безпосередньо використовувати Celestia, оскільки дані блоків зберігатимуться, перевірятимуться через Celestia. а потім повернувся до власної ліквідації Угоди.
Celestia також підтримує власний Rollup, і Layer2 можна створити безпосередньо на ньому, але він не підтримує смарт-контракти, тому dApp не можна створити безпосередньо.
Як працює Celestia
Rollup підключається до Celestia, запускаючи вузли Celestia.
Celestia отримує інформацію про транзакції Rollup і сортує транзакції через консенсус Tendermint. Після цього Celestia не виконуватиме транзакцію чи сумніватиметься в дійсності транзакції, а лише пакуватиме, сортуватиме та транслюватиме трансакцію.
Так, іншими словами, блоки, які приховують дані транзакцій, також можуть бути опубліковані в Celestia. Отже, як визначити Селестію?
Перевірка завершується за допомогою кодування стирання (Erasure Coding) і вибірки доступності даних (Data Availability Sampling, DAS).
Зокрема, вихідні дані дорівнюють K (якщо фактичний розмір даних менший за K, недійсні дані будуть доповнені, щоб зробити розмір рівним K), над ними виконується кодування видалення, розділяється на N малих гілок (фрагментів) і розширюється до 2K матриці розмірів рядків і стовпців.
Його можна просто зрозуміти як квадрат з довжиною і шириною K і площею K*K. Після кодування стирання він стає квадратом з довжиною і шириною 2K і площею 2K*2K.
Якщо вихідні дані становлять 1 Мб, виконайте кодування стирання, розділіть їх на кілька частин і розширте розмір до 4 Мб, з яких 3 Мб — спеціальні дані. Для відновлення або перегляду всіх даних 2K*2K потрібна лише частина даних розміру K*K.
Специфічні математичні розрахунки надзвичайно складні, але результат полягає в тому, що навіть якщо зловмисний виробник блоків приховує навіть 1% даних транзакції, вони стануть фрагментами (Chunks), які приховують більше 50%.
Тому, щоб приховування було ефективним, матриця даних зазнає якісних змін, які можуть бути легко виявлені світловими вузлами. Це робить приховування даних дуже малоймовірним.
Повні вузли можуть перевіряти дані за допомогою захисту від шахрайства, подібно до іншого рівня 1. Ключова роль кодування стирання полягає в мобілізації світлових вузлів для участі у перевірці даних.
Повний вузол надсилає блок світловому вузлу, а світловий вузол виконує вибірку доступності даних. Якщо дані не приховані, світловий вузол розпізнає блок. Якщо дані відсутні, світловий вузол надішле їх іншим повним вузлам. Інші повні вузли ініціюють перевірку шахрайства.
Підсумовуючи,
1/ Celestia використовує кодування стирання для кодування вихідних даних і розрізання вихідних даних на кілька невеликих частин (фрагментів). (Якщо в блоці все ще є місце, недійсні дані будуть використані для його доповнення, так що блок із пробілом є блоком, де повний вузол приховує дані)
2/ Розширте вихідні дані розміру K*K до 2K*2K. Оскільки дані K*K розділені на кілька невеликих частин, стан даних 2K*2K також складається з кількох невеликих частин.
3/ Від цього є три переваги:
1) Оскільки дані розрізані на кілька невеликих частин, легкі вузли також можуть брати участь у перевірці. (Якщо дані все ще великі, світловий вузол обмежений апаратним забезпеченням і не може брати участь у перевірці)
2) Відбираються лише дані розміру K*K, а всі дані 2K*2K можна відновити. Світлові вузли по черзі здійснюють вибірку, доки розмір вибірки не досягне K*K, а потім вони можуть вибрати, чи розпізнавати поточний блок шляхом порівняння всіх даних.
3) Якщо виробники зловмисних блоків приховують навіть 1% даних транзакцій, вони стануть шматками, які приховують більше 50%.
4/ Повноцінні вузли можуть безпосередньо перевіряти дані блоків за допомогою доказів шахрайства, подібно до інших Layer1, таких як Ethereum.
5/ Легкі вузли можуть проходити перевірку вибірки доступності даних, і кілька світлових вузлів можуть бути випадково відібрані, доки витягнута область даних не стане K*K. Саме тут Celestia вводить інновації.
6/ Для вибірки легких вузлів модель вибірки є сублінійною. Їм потрібно лише завантажити квадратний корінь із необхідної кількості вибіркових даних. Тобто, якщо є 10 000 невеликих фрагментів даних для вибірки, лише 100 з них потрібно завантажити та перевірити.
Тому що 100 у квадраті це 10 000.
7/ Якщо дані блоку, перевірені світловим вузлом, приховані, їх можна надіслати іншим повним вузлам, і через доказ шахрайства депозит шахрайського вузла буде конфісковано.
Розширення Celestia
Кодування стирання та вибірка доступності даних дозволяють Celestia ще більше розширити пропускну здатність і підвищити ефективність мережі порівняно з іншими наявними даними рівня 1.
1/ Використовуючи захист від шахрайства, дані блоку за замовчуванням доступні для забезпечення ефективної роботи мережі за нормальних обставин.
2/ Чим більше світлових вузлів, тим вище ефективність мережі.
Оскільки вихідний розмір даних становить K*K, якщо є лише один світловий вузол, потрібен час вибірки K*K. Навпаки, якщо є K*K світлих вузлів, потрібна лише одна вибірка.
3/ Сублінійна вибірка дозволяє Celestia використовувати великі блоки.
Крім того, характеристики кодування стирання дозволяють відновлювати дані транзакції в руках легких вузлів у разі масштабного збою всіх вузлів Celestia, забезпечуючи доступ до даних.
Міст квантової гравітації
Quantum Gravity Bridge — це релейний міст між Celestia та Ethereum Layer 2. Він побудований на Ethereum Layer 2, може публікувати дані транзакцій у Celestia через Quantum Gravity Bridge, використовувати доступні служби даних і перевіряти дані Celestia за допомогою смарт-контрактів.
Небесний
Celestium — це рівень 2 Ethereum, який використовує Celestia як рівень доступності даних, а Ethereum — як рівень розрахунків і консенсусу.
Зараз на стадії розробки.
Навіщо використовувати Celestia?
Пам’ятаєте «трагедію спільного багатства», про яку ми згадували раніше? Тобто чому Rollup використовує Celestia як рівень даних?
1/ Вартість використання Celestia низька
Існуюча вартість Ethereum Rollup складається з двох частин:
1) Власна вартість газу Rollup. Тобто взаємодія з користувачем, сортування секвенсора та плата за перехід стану.
2) Rollup надсилає блок до Ethereum і витрачає газ.
Після того, як секвенсор Rollup буде упакований і стиснутий, блок буде створено в Ethereum. Наразі зберігається у формі Calldata, вартість становить 16 газів за байт.
Ethereum і Rollup стягують різний газ відповідно до різних умов перевантаження. Секвенсор докладе всіх зусиль, щоб передбачити комісію за газ Ethereum і стягнути її з користувача перед пакетною обробкою вмісту взаємодії з користувачем.
Іншими словами, причина, чому Gas on Rollup дешева, полягає в тому, що кілька взаємодій користувачів упаковані разом, що еквівалентно рівному розподілу газу між усіма.
Коли ринок перебуває в холодному періоді, на Ethereum буде менше взаємодій, і газ, який потрібно поділити всім, також буде зменшено. Щойно Gas on Ethereum зросте, Gas on Rollup також зросте.
Таким чином, Rollup все ще конкурує за блоковий простір із dApps у головній мережі Ethereum та іншими Rollup-ами.
З іншого боку, Rollup сам по собі дуже інтерактивний і також збільшить Gas. Наприклад, недавній Aribitrum Odyssey.
Загалом, поточна модель вартості Rollup є лінійною, і вартість буде збільшуватися або зменшуватися відповідно до інтерактивного попиту Ethereum.
Вартість Celestia є сублінійною, і в кінцевому підсумку вартість наблизиться до значення, яке є набагато нижчим за поточну вартість Ethereum.
Після розгортання оновлення EIP-4844 зведене сховище даних зміниться з Calldata на Blob, і вартість зменшиться, але все одно буде дорожчим, ніж Celestia.
2/ Самовладдя
Autonomous Rollup, по суті, надає Rollup можливість незалежно розгалужуватися. Рідний Rollup Celestia — це незалежний ланцюжок, і Celestia не обмежує оновлення управління та розгалуження.
Чому вилки важливі?
Зазвичай блокчейни потрібно оновлювати через хардфорки, що може послабити безпеку. Причина в тому, що якщо хтось хоче змінити або оновити код блокчейну, інші учасники повинні погодитися та внести зміни.
Якщо ви хочете оновити весь ланцюжок, вам потрібно розгалужити весь консенсусний рівень, так само як злиття Ethereum PoS довелося використати обчислювальну потужність, щоб змусити вузли перейти з PoW на PoS. Усі вузли беруть участь в оновленні, тому безпека не втрачається.
Celestia забезпечить можливості розгалуження для Rollup, оскільки всі розгалуження використовують той самий рівень доступності даних.
Крім того, автономне згортання також принесе більше гнучкості. Зведені пакети Ethereum обмежені здатністю основної мережі Ethereum обробляти докази шахрайства або докази дійсності.
Autonomous Rollup не покладається на конкретну віртуальну машину, наприклад EVM. Таким чином, автономний Rollup має більше можливостей, наприклад, стати Solana VM тощо. Однак використання різних віртуальних машин віртуальної машини сумісність буде обмежено.
З іншого боку, на даний момент може не бути великого попиту на те, щоб Rollup став автономним Rollup;
A. Обмежений централізованими активами. Наприклад, USDC і USDT офіційно не підтримують нові роздвоєні ланцюжки.
B. Відповідно до обмежень міграції dApp. Наприклад, dApps, такі як Uniswap, все ще залишаються в попередньому ланцюжку, і користувачі не бажають відмовлятися від своїх початкових звичок і не перейшли на новий розгалужений ланцюг.
3/ Довіра мінімізує мости та спільну безпеку
В офіційній статті Celestia крос-ланцюги приблизно поділяються на дві категорії:
A. Надійний міжланцюговий міст вимагає довіри третій стороні, наприклад вузлам ланцюга ретрансляції. Його надійність базується на консенсусі сторонніх вузлів, тобто більшість вузлів є чесними.
B. Перехресний міст із мінімізованою довірою, подібний до відносин між Ethereum і Rollup, покладається на захист від шахрайства (Optimistic) і доказ дійсності (ZK) для перевірки дійсності даних транзакцій Rollup.
Celestia пропонує концепцію - кластери, які є групою ланцюжків, які спілкуються один з одним через мости мінімізації довіри, кожен ланцюг може перевіряти статус інших ланцюжків.
Як правило, кластери стикаються з двома обмежуючими факторами,
A. Усі ланцюги в кластері повинні розуміти середовище виконання один одного. Але це складно, оскільки ZK Rollup має розуміти систему ZK один одного. Але zk-SNARK і zk-STARK - різні системи ZK. Тому ZK Rollup є відносно незалежним.
B. Щоб підтримувати всі ланцюжки в кластері за допомогою перевірки стану з мінімізованою довірою, кожна ланцюжок повинна перевіряти доступність інших даних блоку ланцюга в кластері з мінімізованою довірою.
Усі ланцюжки в кластері, які використовують Celestia як рівень доступності даних, можуть перевіряти блоки один одного, щоб побачити, чи включені вони в ланцюжок Celestia.
Однак трохи збентежує те, що в концепції кластера Celestia Optimistic Rollup і ZK Rollup належать до двох кластерів.
Тобто Optimistic Rollup, наприклад Optimism і Aribitrum, належать до одного кластеру, але вони та zkSync – ні.
А через відмінності в схемах ZK Rollup zkSync і StarkNet навіть не належать до одного кластера. Таким чином, Celestia все ще не може вирішити проблему відносної незалежності між Rollups і відсутністю сумісності на атомарному рівні.
Оптиміст (Optimistic Tendermint)
Optimint — це консенсусна заміна Tendermint, яка дозволяє розробникам створювати зведені пакети на основі Cosmos, використовуючи Celestia як рівень консенсусу та доступності даних.
Мета — сформувати кластер на основі Cosmos Rollup.
Існуючі екологічні проекти Celestia
паливо
Fuel — це модульний рівень виконання, побудований на Celestia, і це Optimistic Rollup Layer 2 Ethereum.
Fuel, створений Fuel, спеціальна віртуальна машина, створена спеціально для смарт-контрактів, яка може обробляти паралельні транзакції за допомогою облікових записів UTXO.
Cevmos
Cevmos — це зведений пакет, спільно розроблений мережею додатків Cosmos EVM і Celestia
Cevmos створено за допомогою Optimint. Оскільки сам Evmos є зведеним пакетом, Cevmos насправді є зведеним пакетом (рекурсивний зведений пакет).
Існуючі контракти та програми Rollup на Ethereum можна повторно розгорнути на Cevmos, використовуючи його як рівень розрахунків, а Celestia як рівень даних.
Кожен зведений пакет збірки матиме двосторонній зв’язок з мінімізованою довірою з Cevmos Rollup для формування кластера.
dYmension
dYmension — це незалежний Rollup, створений на базі Cosmos dYmension Hub, що забезпечує врегулювання, RDK для розробки та IRC для зв’язку між ланцюжками, щоб полегшити розробку додатків rollApp, зосереджених на Rollup.
Затемнення
Eclipse — це автономний зведений пакет на основі Cosmos, який використовує Solana VM як рівень розрахунків і виконання, а Celestia — як рівень даних.
Хід проекту
Тестова мережа наразі онлайн. Винагородна версія testnet буде випущена в першому кварталі 2023 року. Тепер ви можете перейти до офіційного Discord, щоб отримати тестові монети крана. Очікується, що основна мережа буде випущена в другому кварталі 2023 року.
Ситуація з фінансуванням
У березні 2021 року він завершив початковий раунд фінансування на 1,5 мільйона доларів США, серед учасників якого були Binance Labs, Interchain Foundation, Maven 11, KR1 тощо.
У грудні 2021 року було завершено фінансування на суму 2,73 мільйона доларів США, а інформація про інвестиції не розголошувалася.
У жовтні 2022 року було завершено фінансування на суму 55 мільйонів доларів США, серед учасників були Bain Capital, Polychain Capital, Placeholder, Galaxy, Delphi Digital, Blockchain Capital, Spartan Group, FTX Ventures, Jump Crypto тощо.
Командна ситуація
Генеральний директор Мустафа Аль-Бассам, доктор філософії з масштабування блокчейну в UCL, співзасновник Chainspace (придбаний Facebook)
Технічний директор Ісмаїл Хоффі, колишній старший інженер Tendermint і Interchain Foundation
CRO Джон Адлер, творець Optimistic Rollups і колишній дослідник масштабованості ConsenSys
Головний операційний директор Нік Вайт, співзасновник Harmony, має ступінь бакалавра та магістра Стенфордського університету.
Консультативна група:
Закі Манян - співавтор IBC і ранній учасник Космосу
Ітан Бухман – співзасновник Tendermint і співзасновник Cosmos
Морган Беллер — генеральний партнер NFX, співзасновник Diem≋ (також відомої як Libra)
Нік Уайт - співзасновник Harmony
Джеймс Прествіч - засновник Summa (придбаний Celo)
Джордж Данезіс - професор безпеки та інженерії конфіденційності в Університетському коледжі Лондона
Економічна модель токенів
Судячи з опублікованої інформації, нативний токен Celestia буде використовуватися як газ, а джерелом доходу протоколу є комісія за транзакції Rollup. І токен містить механізм знищення, схожий на EIP-1559.
Наразі первинна ринкова оцінка Celestia становить 1 мільярд доларів США.
Конкуруючі продукти
Багатокутник доступний
Avail — це рішення для доступності даних від Polygon. Ідея впровадження така ж, як у Celestia, полягає в тому, що Celestia використовує кодування стирання + захист від шахрайства, а Avail використовує кодування на стирання + поліноміальне зобов’язання KZG.
Celestia розширює K*K даних на 2K*2K квадратів, а Avail розширює їх на рядки, розширюючи матрицю з n рядків і m стовпців на 2n рядків, і обчислює поліноміальне зобов’язання KZG для кожного рядка.
Легкі вузли використовують DAS вибірки доступності даних для криптографічної перевірки поліномів KZG і доказів без завантаження вихідних даних.
Для порівняння, Avail складніше впровадити, а коли його повністю впроваджено, результати є відносно надійнішими. Однак наразі обидва проекти знаходяться на стадії розробки, і судити про конкуренцію важко.
Ethereum Danksharding
Danksharding — це незалежний рівень доступності даних, який Ethereum офіційно планує запустити. Подібно до Avail, Danksharding використовує кодування стирання + поліноміальне зобов’язання KZG, а формат даних використовує Blob замість існуючих даних виклику.
Є дві пропозиції щодо переходу до розгортання Danksharding.
EIP-4488 безпосередньо зменшує обсяг даних виклику з 16 до 3 на байт, а також визначає верхню межу зайнятості даних виклику в 1,4 МБ.
EIP-4844 вводить blob-об’єкти (транзакції, що містять blob-об’єкти, blob: двійкові великі об’єкти) замість calldata. Blob — це новий тип транзакцій, який включає додатковий простір для зберігання за значно меншою ціною, ніж calldata.
Blobs зберігаються в ланцюжку маяків Ethereum і сумісні з подальшим хешуванням зобов’язань KZG, щоб перевірити дані.
Зобов’язання KZG є обов’язковими та не можуть бути змінені після завершення розрахунку. Таким чином, по суті, Avail і Danksharding базуються на криптографічних даних перевірки поліноміальних зобов’язань KZG, тоді як Celestia базується на методі економічного захисту від шахрайства.
Теоретично безпека поліноміальних зобов’язань KZG є кращою, ніж захист від шахрайства. У той же час вона вимагає меншої пропускної здатності та менше обчислень для вибірки. У майбутньому Ethereum також розгляне можливість впровадження методів перевірки, які протистоять квантовим атакам, наприклад zk-SRARK.
ризик
1) Централізація
Хоча кодування стирання дозволяє легким вузлам брати участь у перевірці даних, зберігання даних Celestia все ще вимагає створення повних вузлів зберігання.
Потрібні 8 ГБ пам’яті, 4-ядерний процесор, принаймні 250 ГБ вільного місця для зберігання, пропускна здатність висхідної лінії зв’язку понад 100 Мбіт/с і пропускна здатність низхідної лінії зв’язку понад 1 Гбіт/с. Вимоги до конфігурації дуже високі, і їх потрібно створювати на хмарному сервері.
2) Конкуренція в Ethereum Danksharding
3) Проблема «Брудна книга».
Це питання поставила дослідницька група Стенфордського університету. Celestia використовує захист від шахрайства, і дані блоків за замовчуванням доступні для забезпечення ефективної роботи мережі за нормальних умов, тому це «брудна» книга, оскільки блоки з проблемними даними все одно будуть прийняті Celestia, очікуючи виклику шахрайства доказ.
Припустімо, що претендент хоче довести, що транзакція Tc є подвійною витратою, і надати докази того, що гроші були використані в транзакції Tb. Але що, якщо існує транзакція Ta, яка може довести, що Tb недійсна?
Якщо Tb недійсний, тоді подвійне витрачання Tc може бути дійсним.
У деяких випадках «брудна книга» не може знати справжній статус транзакцій, якщо не відтворить кожну транзакцію в історії Celestia до блоку генезису.
Це означає, що і претендент, і виклик мають бути повними вузлами зберігання. Проблему було опубліковано в офіційному обліковому записі Celestia на Youtube, і команда зараз працює над її вирішенням, наприклад, запроваджує слабкі припущення суб’єктивності.
Припущення слабкої суб'єктивності є умовою вирішення проблеми. Наприклад, як купити смачний грейпфрут? Суб'єктивність у цьому питанні полягає у виборі на основі суб'єктивних відчуттів. Об’єктивно судити про вміст води в грейпфруті на основі співвідношення ваги грейпфрута до об’єму.
Слабка суб'єктивність полягає в тому, щоб тримати грейпфрути однакового розміру в обох руках і порівнювати вагу. Порівнявши кілька, виберіть найважчий.
Повертаючись до проблеми з «брудною книгою» Celestia, можна вимагати від претендента та викликаного зберігати дані протягом 3 тижнів, але це також є тягарем для вузлів.
Проблема «брудної бухгалтерської книги» насправді є важливою проблемою, з якою стикається захист від шахрайства на основі економічних моделей для забезпечення безпеки. Проте складність розгортання захисту від шахрайства менша, ніж поліноміальна прихильність KZG. Теоретично розвиток Celestia відбувається швидше, ніж Polygon Avail і Ethereum Danksharding.
Тому для Celestia буде вкрай важливо використати період вікна, сформувати ефект масштабу та залучити велику кількість ліквідності, особливо ліквідності рідного Rollup, перед Polygon Avail і Danksharding.
