ТЛ;ДР
1/ Суть модульности заключается в том, чтобы разорвать «невозможный треугольник» и добиться расширения емкости без увеличения нагрузки на аппаратное обеспечение узла.
2/ Celestia — это уровень доступности данных. Подобно Optimistic Rollup, данные блока по умолчанию действительны. Он использует защиту от мошенничества, стирающее кодирование и выборку доступности данных для проверки данных, позволяя при этом легким узлам участвовать в проверке.
3/ Celestia изначально сформировала экосистему. В настоящее время к известным экологическим проектам относятся Fuel, Cevmos и т. д.
4/ Решающее значение будет иметь то, как Celestia сможет воспользоваться периодом окна, сформировать эффект масштаба перед Polygon Avail и Danksharding и привлечь большое количество ликвидности, особенно ликвидности собственного Rollup.
Обычно Layer1 делится на четыре слоя:
1) Уровень консенсуса
2) Расчетный слой
3) Уровень данных
4) Уровень исполнения
Требуется уровень консенсуса. Модуляризация подразумевает разделение одного или двух процессов расчета, данных и исполнения (строго говоря, «разделение») и добавление консенсуса для формирования нового уровня сетевых протоколов, чтобы разорвать «невозможный треугольник» без добавления дополнительных расширений емкости. предпосылка снижения нагрузки на оборудование узла и обеспечения централизации.
Например, Ethereum Rollup разделяет уровень исполнения для обеспечения консенсуса и исполнения. Централизованный секвенсор сортирует транзакции, упаковывает и сжимает большое количество транзакций и отправляет их в основную сеть Ethereum. Все узлы основной сети проверяют данные транзакций.
Celestia — это проект доступности данных (DA), основанный на архитектуре Cosmos. Он обеспечивает уровень данных и уровень консенсуса для других уровней 1 и 2, создает модульный блокчейн, имеет бизнес-модель toB и взимает плату за другие публичные сети.
Чтобы полностью понять Celestia и доступность данных, мы должны сначала начать с «невозможного треугольника» и проблем доступности данных.
Почему доступность данных важна? От «невозможного треугольника» к проблемам доступности данных
Невозможный треугольник, также известный как Трилемма, обычно относится к невозможности одновременного достижения децентрализации, масштабируемости и безопасности. Впервые он был предложен чиновниками Ethereum.
Обычно, когда транзакция отправляется в цепочку, она сначала попадает в Mempool, где ее «подбирают» майнеры, упаковывают в блок, а затем блок встраивают в блокчейн.
Блок, содержащий эту транзакцию, будет передан всем узлам сети. Другие полные узлы будут загружать этот новый блок, выполнять сложные вычисления и проверять каждую транзакцию, чтобы убедиться, что транзакция аутентична и действительна.
Сложные вычисления и избыточность — основа безопасности Эфириума, но они также создают проблемы.
1) Доступность данных
Обычно выделяют два типа узлов:
Полный узел — загрузите и проверьте всю информацию о блоке и данные транзакций.
Легкий узел — не полностью проверенный узел, простой в развертывании и проверяющий только заголовок блока (дайджест данных).
Во-первых, убедитесь, что при создании нового блока все данные в блоке действительно опубликованы, чтобы другие узлы могли их проверить. Если полный узел не публикует все данные в блоке, другие узлы не смогут определить, скрывает ли блок вредоносные транзакции.
Другими словами, узлу необходимо получить все данные транзакции в течение определенного периода времени и убедиться в отсутствии подтвержденных, но непроверенных данных транзакции. Это доступность данных в обычном понимании.
Если полный узел скрывает некоторые данные транзакции, другие полные узлы откажутся следовать за этим блоком после проверки. Однако легкие узлы, которые загружают только информацию заголовка блока, не смогут проверить и будут продолжать следовать за этим разветвленным блоком, что влияет на безопасность.
Хотя блокчейн обычно лишается депозита полного узла, это также приведет к потерям для пользователей, внесших залог в узел.
И когда доход от сокрытия данных превысит стоимость конфискации, у узлов появится стимул скрывать их. В этот момент реальными жертвами станут только пользователи ставок и другие пользователи цепочки.
С другой стороны, если развертывание полных узлов становится все более централизованным, существует вероятность сговора между узлами, что поставит под угрозу безопасность всей цепочки.
Вот почему важно, чтобы данные были доступны.
Доступность данных привлекает все больше и больше внимания, отчасти из-за слияния Ethereum PoS, а отчасти из-за разработок Rollup. В настоящее время в Rollup используется централизованный секвенатор (Sequencer).
Пользователи торгуют на Rollup, а секвенсор сортирует, упаковывает и сжимает транзакции и публикует их в основной сети Ethereum. Полные узлы основной сети проверяют данные с помощью доказательства мошенничества (Оптимистический) или доказательства достоверности (ZK).
Пока все данные блоков, отправленные секвенсором, действительно доступны, основная сеть Ethereum может отслеживать, проверять и восстанавливать состояние Rollup соответствующим образом, чтобы гарантировать подлинность данных и безопасность свойств пользователя.
2) Государственный взрыв и централизация
Взрыв состояния означает, что полные узлы Ethereum накапливают все больше и больше исторических данных и данных о состоянии, а ресурсы хранения, необходимые для запуска полных узлов, увеличиваются, а порог работы увеличивается, что приводит к централизации сетевых узлов.
Следовательно, существует необходимость в способе, чтобы полному узлу не нужно было загружать все данные при синхронизации и проверке данных блока, а нужно было загружать только некоторые избыточные фрагменты блока.
На этом этапе мы понимаем, что доступность данных важна. Итак, как избежать «трагедии общего пользования»? Другими словами, все знают о важности доступности данных, но все же должны быть некоторые практические преимущества, позволяющие каждому использовать отдельный уровень доступности данных.
Точно так же, как все знают, что защита окружающей среды важна, но, видя мусор на обочине, почему «я» должен его собирать? Почему не кто-то другой? Какую пользу «Я» получу от сбора мусора?
Настала очередь Селестии.
Что такое Селестия?
Celestia предоставляет подключаемый уровень доступности данных и консенсус для других уровней 1 и 2 и построен на основе консенсуса Cosmos Tendermint и Cosmos SDK.
Celestia — это протокол уровня 1, совместимый с цепочками EVM и цепочками приложений Cosmos. В будущем эти цепочки могут напрямую использовать Celestia в качестве уровня доступности данных. Данные блоков будут храниться, вызываться и проверяться через Celestia. а затем вернулся к ликвидации собственного Соглашения.
Celestia также поддерживает встроенный Rollup, и Layer2 может быть построен непосредственно на нем, но он не поддерживает смарт-контракты, поэтому dApp не может быть построен напрямую.
Как работает Селестия
Rollup подключается к Celestia посредством запуска узлов Celestia.
Celestia получает информацию о транзакциях Rollup и сортирует транзакции посредством консенсуса Tendermint. После этого Celestia не будет выполнять транзакцию и не подвергать сомнению ее достоверность, а только упаковывает, сортирует и транслирует транзакцию.
Да, другими словами, блоки, скрывающие данные транзакций, также могут быть опубликованы в Celestia. Так как же идентифицировать Селестию?
Проверка завершается посредством стирающего кодирования (Erasure Coding) и выборки доступности данных (Data Availability Sampling, DAS).
В частности, исходные данные имеют размер K (если фактический размер данных меньше K, недопустимые данные будут дополнены, чтобы сделать размер равным K), над ними выполняется стирающее кодирование, которое делится на N небольших ветвей (кусков) и расширяется. до 2 КБ матрицы размеров строк и столбцов.
Его можно просто понимать как квадрат длиной и шириной К и площадью К*К. После стирающего кодирования он становится квадратом длиной и шириной 2К и площадью 2К*2К.
Если исходные данные имеют размер 1 МБ, выполните к ним стирающее кодирование, разделите их на несколько частей и увеличьте размер до 4 МБ, из которых 3 МБ — это специальные данные. Для восстановления или просмотра всех данных 2K*2K необходима только часть данных размера K*K.
Конкретные математические расчеты чрезвычайно сложны, но в результате даже если злонамеренный производитель блоков скроет даже 1% данных транзакции, они станут чанками (Chunks), которые скроют более 50%.
Следовательно, если сокрытие должно быть эффективным, матрица данных претерпит качественные изменения, которые можно легко обнаружить с помощью легких узлов. Это делает сокрытие данных крайне маловероятным.
Полные узлы могут проверять данные посредством доказательства мошенничества, как и другие узлы Layer1. Ключевая роль стирающего кодирования заключается в мобилизации легких узлов для участия в проверке данных.
Полный узел отправляет блок на легкий узел, а легкий узел выполняет выборку доступности данных. Если данные не скрыты, световой узел распознает блок. Если данные отсутствуют, легкий узел отправит их другим полным узлам. Другие полные узлы инициируют доказательства мошенничества.
Подводить итоги,
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. Вот где Селестия вводит новшества.
6/ Для выборки легких узлов модель выборки является сублинейной. Им нужно только загрузить квадратный корень из необходимого объема выборочных данных. То есть, если необходимо выбрать 10 000 небольших фрагментов данных, только 100 из них необходимо загрузить и проверить.
Потому что 100 в квадрате — это 10 000.
7/ Если данные блока, проверенные легким узлом, скрыты, они могут быть переданы другим полным узлам, и в результате доказательства мошенничества депозит мошеннического узла будет конфискован.
Расширение Селестии
Стирающее кодирование и выборка доступности данных позволяют Celestia еще больше расширить емкость и повысить эффективность сети по сравнению с другими существующими данными уровня 1.
1/ Используя защиту от мошенничества, данные блокировки по умолчанию доступны для обеспечения эффективной работы сети в нормальных обстоятельствах.
2/ Чем больше легких узлов, тем выше эффективность сети.
Поскольку исходный размер данных равен K*K, если имеется только один легкий узел, требуется время выборки K*K. Напротив, если есть легкие узлы K*K, необходима только одна выборка.
3/ Сублинейная выборка позволяет Celestia использовать большие блоки.
Кроме того, характеристики стирающего кодирования позволяют восстанавливать данные транзакций в руках легких узлов в случае крупномасштабного сбоя всех узлов Celestia, гарантируя, что данные по-прежнему будут доступны.
Квантовый гравитационный мост
Quantum Gravity Bridge — это ретрансляционный мост между Celestia и Ethereum Layer 2. Он построен на Ethereum. Уровень 2 может публиковать данные транзакций в Celestia через Quantum Gravity Bridge, использовать доступные сервисы данных и проверять данные в Celestia с помощью смарт-контрактов.
Небесный
Celestium — это второй уровень Ethereum, использующий Celestia в качестве уровня доступности данных и Ethereum в качестве уровня расчетов и консенсуса.
На данный момент в стадии разработки.
Зачем использовать Селестию?
Помните «трагедию общего пользования», о которой мы упоминали ранее? То есть, почему Rollup использует Celestia в качестве уровня данных?
1/ Стоимость использования Celestia низкая.
Существующая стоимость Ethereum Rollup состоит из двух частей:
1) Собственная стоимость газа Rollup. То есть взаимодействие с пользователем, сортировка секвенсора и плата за переход состояний.
2) Rollup отправляет блок в Ethereum и тратит Gas.
После того, как секвенсор Rollup будет упакован и сжат, на Ethereum будет создан блок. В настоящее время хранится в форме Calldata, стоимость составляет 16 Gas за байт.
Ethereum и Rollup взимают разную плату за газ в зависимости от разных условий перегрузки. Секвенсор сделает все возможное, чтобы спрогнозировать комиссию Ethereum Gas и взимать ее с пользователя перед пакетной обработкой контента взаимодействия с пользователем.
Другими словами, причина, по которой Gas on Rollup дешев, заключается в том, что несколько пользовательских взаимодействий объединены вместе, что эквивалентно равномерному распределению Gas между всеми.
Когда рынок находится в холодном периоде, на Ethereum происходит меньше взаимодействий, и газ, которым каждый должен поделиться, также будет уменьшен. Rollup будет взимать лишь небольшую прибыль с обычного газа. Как только Gas на Ethereum вырастет, Gas на Rollup также вырастет.
Таким образом, Rollup, по сути, все еще конкурирует за пространство блоков с dApps в сети Ethereum и другими Rollup.
С другой стороны, Rollup сам по себе очень интерактивный и также увеличивает газ. Например, недавний Aribitrum Odyssey.
В целом, текущая модель стоимости Rollup является линейной, и стоимость будет увеличиваться или уменьшаться в зависимости от интерактивного спроса Ethereum.
Стоимость Celestia сублинейна и в конечном итоге приблизится к значению, которое намного ниже текущей стоимости Ethereum.
После развертывания обновления EIP-4844 хранилище данных Rollup изменится с Calldata на Blob, а стоимость снизится, но оно все равно будет дороже, чем Celestia.
2/ Самосуверенитет
Автономный Rollup, по сути, дает Rollup возможность независимого форка. Собственный Rollup Celestia — это независимая цепочка, и Celestia не ограничивает управление и обновления форков.
Почему вилки важны?
Обычно блокчейны необходимо обновлять посредством хард-форков, что может ослабить безопасность. Причина в том, что если кто-то хочет изменить или обновить код блокчейна, другие участники должны согласиться и внести изменения.
Если вы хотите обновить всю цепочку, вам нужно разветвить весь уровень консенсуса, точно так же, как при слиянии Ethereum PoS пришлось использовать вычислительную бомбу, чтобы заставить узлы перейти с PoW на PoS. В обновлении участвуют все узлы, поэтому безопасность не теряется.
Celestia предоставит возможности разветвления для Rollup, поскольку все разветвления используют один и тот же уровень доступности данных.
Кроме того, автономное объединение также обеспечит большую гибкость. Объединения Ethereum ограничены способностью основной сети Ethereum обрабатывать доказательства мошенничества или доказательства действительности.
Автономный накопительный пакет не зависит от конкретной виртуальной машины, такой как EVM. Таким образом, у автономного Rollup есть больше возможностей, например, стать Solana VM и так далее. Однако при использовании разных виртуальных машин VM совместимость будет ограничена.
С другой стороны, на данный момент, возможно, не существует большого спроса на то, чтобы Rollup стал автономным Rollup;
А. Ограничено централизованными активами. Например, USDC и USDT официально не поддерживают новые форк-чейны.
Б. С учетом ограничений на миграцию dApp. Например, такие децентрализованные приложения, как Uniswap, все еще остаются в предыдущей цепочке, а пользователи не желают отказываться от своих первоначальных привычек и не перешли в новую раздвоенную цепочку.
3/ Доверяйте минимизированным мостам и общей безопасности.
Официальная статья Celestia грубо делит кроссчейны на две категории:
О. Надежный межцепочный мост требует доверия третьей стороне, например узлам ретрансляционной цепи. Его надежность основана на консенсусе сторонних узлов, то есть большинство узлов честны.
B. Межцепочный мост с минимизированным доверием, аналогичный отношениям между Ethereum и Rollup, опирается на доказательство мошенничества (Optimistic) и доказательство достоверности (ZK) для проверки достоверности данных транзакций Rollup.
Celestia предлагает концепцию — кластеры, которая представляет собой группу цепочек, которые взаимодействуют друг с другом. Через мосты минимизации доверия между цепочками каждая цепочка может проверять статус других цепочек.
Обычно кластеры сталкиваются с двумя ограничивающими факторами:
О. Все цепочки в кластере должны понимать среду выполнения друг друга. Но это сложно, поскольку ZK Rollup необходимо понимать систему ZK друг друга. Но zk-SNARK и zk-STARK — это разные системы ZK. Таким образом, ZK Rollup относительно независим.
Б. Чтобы поддерживать все цепочки в кластере с использованием проверки состояния с минимизацией доверия, каждая цепочка должна проверять доступность других данных блока цепочки в кластере способом с минимизацией доверия.
Все цепочки в кластере, использующие Celestia в качестве уровня доступности данных, могут проверять блоки друг друга на предмет того, включены ли они в цепочку Celestia.
Однако что немного смущает, так это то, что в концепции кластера Celestia Optimistic Rollup и ZK Rollup относятся к двум кластерам.
То есть Optimistic Rollup, такие как Optimism и Aribitrum, принадлежат к одному кластеру, а они и zkSync — нет.
А из-за различий в схемах ZK Rollup zkSync и StarkNet даже не принадлежат к одному кластеру. Таким образом, Celestia до сих пор не может решить проблему относительной независимости между накопителями и отсутствия совместимости на атомарном уровне.
Оптиминт (Оптимистичная мята)
Optimint — это консенсусная замена Tendermint, которая позволяет разработчикам создавать накопительные пакеты на базе Cosmos, используя Celestia в качестве уровня консенсуса и доступности данных.
Цель — сформировать кластер на базе Cosmos Rollup.
Существующие экологические проекты Селестии
Топливо
Fuel — это модульный уровень исполнения, построенный на Celestia и являющийся Optimistic Rollup Layer 2 Ethereum.
Fuel создал FuelVM — специальную виртуальную машину, созданную специально для смарт-контрактов, которая может обрабатывать параллельные транзакции с использованием учетных записей UTXO.
Севмос
Cevmos — это накопительный пакет, разработанный совместно цепочкой приложений Cosmos EVM и Celestia.
Cevmos создан с использованием Optimint. Поскольку Evmos сам по себе является накопительным пакетом, Cevmos на самом деле является накопительным пакетом в накопительном пакете (рекурсивный накопительный пакет).
Существующие накопительные контракты и приложения на Ethereum можно повторно развернуть на Cevmos, используя его в качестве расчетного уровня, а Celestia — в качестве уровня данных.
Каждый накопительный пакет сборки будет иметь двусторонний мост с минимизированным доверием к Cevmos Rollup для формирования кластера.
размер
dYmension — это независимый Rollup, созданный на базе Cosmos. dYmension Hub предоставляет расчет, комплект разработки RDK и межсетевой IRC для облегчения разработки приложений RollApp, ориентированных на Rollup.
Затмение
Eclipse — это автономный накопительный пакет на основе Cosmos, использующий Solana VM в качестве уровня расчетов и выполнения, а Celestia — в качестве уровня данных.
Прогресс проекта
Тестовая сеть в настоящее время онлайн. Тестовая сеть наградной версии будет выпущена в первом квартале 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 и один из первых авторов Cosmos
Итан Бухман – соучредитель Tendermint и соучредитель Cosmos
Морган Беллер — генеральный партнер NFX, соучредитель Diem≋ (также известной как Libra)
Ник Уайт — соучредитель Harmony
Джеймс Прествич — основатель Summa (приобретён Celo)
Джордж Данезис - профессор инженерии безопасности и конфиденциальности Университетского колледжа Лондона
Экономическая модель токена
Судя по опубликованной информации, в качестве Gas будет использоваться собственный токен 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 сложнее внедрить, а при полной реализации результаты будут относительно более надежными. Однако в настоящее время оба проекта находятся в стадии разработки, и сложно судить о конкуренции.
Эфириум Данкшардинг
Danksharding — это независимый уровень доступности данных, который Ethereum официально планирует запустить. Подобно Avail, Danksharding использует стирающее кодирование + полиномиальное обязательство KZG, а формат данных использует Blob вместо существующих данных вызова.
Есть два предложения в качестве перехода до развертывания Данкшардинга.
EIP-4488 напрямую уменьшает газ данных вызова с 16 до 3 на байт, а также устанавливает верхний предел занимаемости данными вызова в 1,4 МБ.
EIP-4844 вводит BLOB-объекты (транзакции, переносящие BLOB-объекты, BLOB-объекты: большие двоичные объекты) вместо данных вызова. Blob — это новый тип транзакции, который включает в себя дополнительное пространство для хранения по гораздо более низкой цене, чем данные вызова.
Blob-объекты хранятся в цепочке маяков Ethereum и совместимы с последующим сегментированием. Хэш-значение обязательства KZG используется для проверки данных. Rollup не требует доступа к данным, просто проверьте обязательство 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 до блока генезиса.
Это означает, что и претендент, и испытуемый должны быть полными узлами хранения. Эта проблема была опубликована на официальном аккаунте Селестии на YouTube, и в настоящее время команда решает ее, например, вводя слабые предположения о субъективности.
Предположение о слабой субъективности является условием решения задачи. Например, как купить вкусный грейпфрут? Субъективность в этом вопросе – это выбор, основанный на субъективных ощущениях. Объективность состоит в том, чтобы судить о содержании воды в грейпфруте на основании соотношения веса грейпфрута к объему.
Слабая субъективность — держать грейпфруты одинакового размера обеими руками и сравнивать вес. Сравнив несколько, выберите самый тяжелый.
Возвращаясь к проблеме «грязного реестра» Celestia, претендент и претендент могут быть обязаны хранить данные в течение 3 недель, но это также является бременем для узлов.
Проблема «грязного реестра» на самом деле является важной проблемой, с которой сталкивается доказательство мошенничества на основе экономических моделей для обеспечения безопасности. Тем не менее, сложность развертывания доказательства мошенничества меньше, чем полиномиальное обязательство KZG. Теоретически, развитие Celestia происходит быстрее, чем Polygon Avail и Ethereum Danksharding.
Поэтому Celestia будет крайне важно воспользоваться периодом окна, сформировать эффект масштаба и привлечь большое количество ликвидности, особенно ликвидности нативного Rollup, до Polygon Avail и Danksharding.
