Привет, семья Square 👋
#MavisEvan На мой взгляд, Walrus выделяется не потому, что говорит о децентрализации, а потому, что напрямую внедряет доверие в систему. То, что действительно меня зацепило, это то, как он справляется с асинхронными задачами и криптографическими обязательствами через свой протокол Red Stuff.
Я объясню это так, как это наконец стало понятно для меня.
Основная проблема с децентрализованным хранилищем
Когда я более глубоко погружался в системы децентрализованного хранилища, одна проблема постоянно всплывала: в открытых сетях вы на самом деле не знаете, кто честен.
Узлы хранения вознаграждаются за хранение данных, но хранение данных имеет реальные затраты. Со временем некоторые участники поощряются к тому, чтобы экономить. Они утверждают, что хранят файлы, в то время как тихо удаляют их, чтобы сохранить ресурсы. Это не редкий крайний случай — это одна из самых больших угроз для любой сети хранения, которая хочет масштабироваться устойчиво.
Многие системы пытаются решить это с помощью частых проверок или строгих временных предположений. Но, судя по тому, что я видел, этот подход основан на чем-то нереалистичном: идеальных сетевых условиях.
В реальных децентрализованных средах сети медленные, ненадежные и непредсказуемые. Сообщения приходят с опозданием. Соединения разрываются. Задержки — это нормально. Проектирование безопасности вокруг строгих временных предположений кажется хрупким.
Морж явно признает эту реальность.
Почему асинхронный дизайн меняет все
Что выделилось для меня во время моего исследования, так это то, что Морж разработан для асинхронных сред с нуля. Здесь протокол Red Stuff становится важным.
Вместо того чтобы полагаться на быстрые ответы или жесткие сроки, система сосредоточена на одном вопросе: является ли доказательство правильным или нет?
Если злоумышленник пытается манипулировать сетью, вводя задержки, это им не поможет. Протокол не наказывает за медлительность — он наказывает за неверные доказательства.
На мой взгляд, это мощный выбор дизайна. Безопасность основана на математике, а не на временных предположениях, что гораздо лучше соответствует тому, как децентрализованные системы на самом деле ведут себя в реальном мире.
Обязательства блоба: устранение неопределенности и оправданий
Когда данные загружаются в Морж, издатель создает то, что называется обязательством блоба. Самый простой способ подумать об этом — это криптографический отпечаток всего набора данных.
Неважно, насколько велик файл, это обязательство полностью его представляет.
Каждый узел хранения хранит только фрагмент данных, но когда его вызывают на проверку, он должен доказать, что его фрагмент соответствует этому оригинальному обязательству. Нет места для неопределенности. Либо фрагмент соответствует обязательству, либо нет.
Что меня больше всего впечатлило, так это то, как это полностью устраняет оправдания.
Узел не может утверждать, что сеть была медленной или что вызов пришел с опозданием. Если он удалил данные, он просто не может предоставить действительное доказательство. Со временем такое поведение становится экономически нерациональным. Нечестные узлы теряют вознаграждения, в то время как честные узлы продолжают зарабатывать.
Система фильтрует себя.
Издатели тоже несут ответственность
Еще один момент, который мне понравился, это то, что Морж защищает не только от нечестных узлов хранения. Он также предвосхищает злонамеренных издателей, что является тем, что многие дизайны упускают.
Нечестный издатель может попытаться отправить непоследовательные фрагменты на разные узлы, эффективно создавая несколько версий одного и того же набора данных. Если это не контролировать, это тихо подрывает надежность.
Морж решает эту проблему с помощью аутентифицированных структур данных, таких как деревья Меркла и векторные обязательства. Все фрагменты криптографически связаны с единым корневым обязательством.
Если издатель пытается обмануть, распространяя противоречивые данные, эти несоответствия естественным образом всплывают во время проверок или извлечения. Не требуется вмешательства человека. Протокол сам выявляет проблему.
С точки зрения инженерии, это чистое и надежное решение.
Доверие, обеспеченное структурой, а не предположениями
Что мне больше всего нравится в Морже, так это то, что он не полагается на социальное доверие, комитеты управления или субъективные суждения. Нет необходимости верить, что участники действуют честно.
Правила обеспечиваются криптографией и стимулами.
Если кто-то нарушает правила, система это доказывает. Штрафы следуют автоматически. Все остается нейтральным, проверяемым и предсказуемым.
Мой общий вывод
После глубокого изучения Моржа, мой вывод прост: эта система создана для долгосрочной устойчивости.
Он принимает, что децентрализованные сети функционируют в условиях враждебной и асинхронной среды. Вместо того чтобы бороться с этой реальностью, он проектирует вокруг нее. Честность не поощряется надеждой — она обеспечивается структурой.
От приема данных до хранения и извлечения целостность сохраняется без опоры на временные уловки или хрупкие предположения. На мой взгляд, это именно тот тип дизайна, который нужна децентрализованной инфраструктуре, если она собирается двигаться дальше экспериментов и в серьезное, реальное использование.
Это моя профессиональная точка зрения, изложенная так, как я ее понимаю. Надеюсь, это добавит ценности к дискуссии здесь.
