Распространение независимых блокчейнов создало «многопользовательский мир». Фундаментальной проблемой в этом ландшафте является построение более безопасного оверлейного блокчейна за счёт использования реестров существующих базовых блокчейнов, используя только операции чтения и записи. В данной работе «Конструирование блокчейнов на блокчейнах: подход на основе схемотехники» представлена новая концепция, вдохновлённая теорией коммутационных схем. В ней определяются две фундаментальные операции композиции — последовательная и треугольная композиция — в качестве строительных блоков для создания общих оверлейных блокчейнов, а также анализируются гарантии безопасности и активности, получаемые в результате, в условиях частично синхронных и синхронных сетевых моделей.
Основное нововведение работы заключается в рассмотрении блокчейнов как компонентов схемы. Безопасность оверлейной цепочки выводится из логической композиции её базовых цепочек.
Эта операция соединяет два блокчейна последовательно. Для двух базовых цепочек, производящих сертификаты, свойства безопасности результирующей оверлейной цепочки таковы:
Это напоминает логический элемент ИЛИ для безопасности и элемент И для активности.
Эта операция включает три блокчейна в конфигурации, аналогичной параллельной схеме или пороговой схеме 2-из-3. Свойства безопасности таковы:
Это обеспечивает иной компромисс, отдавая предпочтение активности перед безопасностью по сравнению с последовательной композицией.
В работе формально доказывается, что путём рекурсивного применения последовательной и треугольной композиций можно построить оверлейный блокчейн на n базовых цепочках для достижения любого желаемого порога устойчивости (f_s, f_l), где:
Ключевая теорема утверждает, что все достижимые пары (f_s, f_l), удовлетворяющие условиям 2f_s + f_l < n и f_l < n/2, могут быть реализованы с помощью соответствующих схемоподобных композиций. Это обобщает предыдущие работы, такие как межцепочечное временное штампование, которые достигали только точки (n-1, 0) (безопасность, если 1 цепочка безопасна, активность только если все активны).
Модель формализует блокчейны как конечные автоматы, производящие реестр L. Безопасность определяется через безопасность (непротиворечивость, невозможность разветвлённых представлений) и активность (новые транзакции в конечном итоге включаются). Базовая цепочка B_i абстрагируется как оракул, предоставляющий сертификат фиксации C_i^t для префикса реестра в логическое время t.
Протоколы композиции определяют, как состояние оверлейной цепочки S_ov обновляется на основе запросов к этим оракулам. Например, в последовательной композиции цепочек B_A и B_B оверлей может принять реестр от B_A только если он согласуется с сертификатом фиксации от B_B, который его временно штампует. Это создаёт зависимость, выраженную логическими формулами. Основные доказательства безопасности используют аргументы противоречия и симуляции, распространённые в литературе по распределённым системам, показывая, что нарушение безопасности в оверлее подразумевало бы нарушение безопасности в определённом подмножестве базовых цепочек, что противоречит предполагаемым порогам устойчивости.
Сценарий: Построение оверлейного кросс-чейн децентрализованного обменника (DEX) на трёх устоявшихся цепочках: Ethereum (Eth), Solana (Sol) и Avalanche (Avax).
Цель: Приоритет безопасности средств (высокий f_s) при допущении периодических задержек (низкий f_l).
Выбор архитектуры: Использование Треугольной композиции трёх цепочек.
Результат: DEX достигает максимальной устойчивости безопасности — он может выдержать сценарий, при котором любая отдельная цепочка скомпрометирована или разветвлена, так как две другие обеспечивают подтверждение. Активность сохраняется даже если одна цепочка простаивает. Это практическая реализация точки (f_s=1, f_l=1) для n=3.
Ключевой вывод: Это не просто ещё одна статья о консенсусе; это фундаментальная концепция системной инженерии для эпохи множественных блокчейнов. Авторам удалось абстрагировать запутанную проблему совместимости блокчейнов в чистую, композируемую алгебру. Настоящий прорыв заключается в демонстрации того, что свойства безопасности не просто наследуются — их можно программно конструировать с помощью определённых топологий, выходя за рамки наивной парадигмы «мост к самой безопасной цепочке».
Логика изложения: Аргументация элегантна. Исходим из реальности множественных блокчейнов как данности. Отвергаем идею единого «источника безопасности». Вместо этого проводим аналогию с проектированием надёжных схем из ненадёжных компонентов (классическая задача). Определяем минимальные, ортогональные операторы композиции (последовательный, треугольный). Доказываем их полноту (можно построить любой достижимый профиль устойчивости). Переход от аналогии к формализму и общей теореме убедителен и отражает успешные теории в информатике, подобно тому, как Византийское согласие было разложено на более простые примитивы широковещательной рассылки.
Сильные и слабые стороны:
Сильные стороны: Теоретическая общность мощна. Аналогия со схемами интуитивно понятна для инженеров. Она объединяет и объясняет предыдущие специальные подходы (такие как межцепочечное временное штампование) как частные случаи этой концепции. Формальные доказательства выглядят надёжными.
Слабые стороны: Работа носит сильно теоретический характер. Практические накладные расходы на синхронизацию нескольких цепочек (задержка, стоимость) упоминаются вскользь. Модель «частичной синхронности», хотя и стандартная, может быть излишне оптимистичной для кросс-чейн сред с сильно различающимися временами блока и механизмами финализации. Предполагается, что базовые цепочки являются независимыми доменами отказов — рискованное предположение, если многие цепочки используют общие наборы валидаторов, что является распространённой проблемой в PoS-экосистемах. По сравнению с конкретным, ориентированным на атаки анализом в работах, подобных отчётам об аудите мостов ChainSecurity, это выглядит как чистая теория, которой теперь предстоит столкнуться с реализацией в неидеальном мире.
Практические рекомендации:
Ценность работы будет определяться не её теоремами, а её принятием в качестве языка проектирования для следующего поколения совместимой инфраструктуры. У неё есть потенциал сделать для кросс-чейн безопасности то же, что теорема CAP сделала для распределённых баз данных: предоставить фундаментальный, неизбежный компромисс, вокруг которого должны строиться практические системы.
Ближайшие применения:
Направления будущих исследований: