(И почему компьютерные науки пытаются решить эту проблему уже более 40 лет)



🧠 Проблема хранения данных старше криптовалют
До появления блокчейнов исследователи распределённых систем уже сталкивались с одной жестокой реальностью:
Чем больше вы добавляете машин, тем сложнее сохранить данные живыми.
В классической компьютерной науке эта проблема возникает под названием:
Толерантность к Византийским сбоям (Лампорт и др.)
Асинхронные сети (невозможность FLP)
Торговля между кодированием с ошибками и репликацией
Криптовалюта не придумала эту проблему.
Крипто просто снова выставил это на глобальном уровне.
Это именно та проблемная область, в которой работает протокол Walrus — и почему он выглядит очень иначе, чем типичные проекты “Web3 хранения”.
Все основные механики, обсуждаемые здесь, основаны на белой книге Walrus
🪤 Ловушка репликации (Почему копирование данных терпит неудачу в масштабе)
📦 Репликация звучит безопасно — пока математика не вступает в дело
Традиционные децентрализованные системы хранения полагаются на репликацию:
Хранят много полных копий одного и того же файла
Предполагаем, что хотя бы одна копия выживает
Эта модель приходит непосредственно из ранних систем с отказоустойчивостью — но она имеет скрытую стоимость.
Академический анализ показывает:
Чтобы выжить при византийских сбоях, репликация растет экспоненциально
С 1/3 неисправных узлов, необходимо 25+ реплик для экстремальной безопасности
Это означает:
1 ГБ файл → 25 ГБ хранилища
Полоса пропускания растет линейно
Стоимость растет неумолимо
Это не ошибка реализации.
Это математическое следствие.
📉 Почему децентрализация ухудшает репликацию
Вот парадокс:
• Больше узлов → больше децентрализации
• Больше узлов → выше необходимая репликация
• Более высокая репликация → более высокая стоимость
Вот почему многие системы:
Тихо ограничьте количество узлов
Полагайтесь на полудоверенных операторов
Централизовать за “воротами”
Walrus отвергает этот компромисс.
🧮 Рид–Соломон: Частичное спасение, которое все еще течет
Чтобы уменьшить репликацию, многие системы приняли кодирование с удалением Рида–Соломона.
Используется:
Filecoin
Storj
Sia
Кодирование RS:
Делит данные на фрагменты
Позволяет восстановление из подмножества
Снижает накладные расходы на хранение до ~3×
Так почему этого недостаточно?
⚠️ Две RS-проблемы, о которых уже знают исследователи
1️⃣ Восстановление дорогое
Когда узел исчезает, восстановление RS часто требует:
Загрузки всего блоба снова
Стоимость полосы пропускания: O(|blob|)
2️⃣ Изменение нарушает модель
В безразрешительных сетях:
Узлы постоянно покидают
Восстановление происходит часто
Экономия испаряется
Эта проблема хорошо документирована в исследованиях распределенного хранения — и именно поэтому RS никогда не решила полностью проблему децентрализованного хранения.
🟥 Красная Вещь: Почему Walrus представил новый класс кодирования



Walrus представляет Красную Вещь, двумерную систему кодирования с удалением.
Это не настройка.
Это структурное переосмысление.
🧩 Объяснение 2D кодирования (без отговорок)
Вместо того чтобы нарезать данные один раз, Красная Вещь нарезает данные дважды.
Думайте о данных как о сетке:
Строки → закодировано
Столбцы → закодировано
Каждый узел хранит:
Одна строка (основной фрагмент)
Один столбец (вторичный фрагмент)
Этот подход вдохновлен:
Фонтаны коды (используются в сетях с высокой потерей)
Двойные кодовые структуры из исследований распределенных систем
Ключевое отличие:
Трафик восстановления масштабируется с потерями — а не с общим размером данных
⚡ Почему фонтанные коды важны здесь
В отличие от Рида–Соломона, фонтанные коды:
Используйте операции в стиле XOR
Избегайте тяжелой полиномиальной математики
Масштабируйте эффективно для больших блобов
Они уже используются в:
Спутниковое вещание
Сети доставки контента
Условия с высокой потерей
Walrus применяет их к безразрешительному хранению.
🔁 Восстановление без краха сети
Традиционное восстановление:
“Узел вышел из строя? Восстановите весь файл.”
Восстановление Walrus:
“Восстановите только пропавшие пересечения.”
Стоимость полосы пропускания становится:
O(|blob| / n) на узел
O(|blob|) всего для сети
Это единственное свойство, которое позволяет Walrus:
Поддерживать постоянный поток
Избегать штормов восстановления
Оставаться стабильным по мере роста
🧠 Византийская реальность: Узлы лгут, авторы обманывают
Большинство объяснений хранения игнорируют эту часть.
Walrus нет.
Walrus предполагает:
Авторы могут загружать непоследовательные данные
Узлы могут предоставлять неверные фрагменты
Сообщения могут задерживаться на неопределенный срок
Это классические византийские условия, формализованные в информатике десятилетия назад.
🔐 Обязанности превращают хаос в проверяемость
Каждый фрагмент в Walrus:
Зашифровано криптографически
Поддается независимой проверке
Соответствует единственной привязке к блобу
Читатели:
Соберите фрагменты
Восстановите данные
Пере-кодируйте
Пере-проверьте обязательства
Несоответствие?
👉 Выход ⊥ — безопасно и последовательно.
Без тихой порчи.
Без предположений о доверии.
🔗 Почему Walrus использует блокчейн (но не так, как другие)
Walrus использует блокчейн только как контрольный слой.
Он обрабатывает:
Регистрация блобов
Обязанности по хранению
Изменения эпохи
Стимулы и наказания
Он не хранит данные блоба.
Этот дизайн отражает современную модульную архитектуру блокчейна:
Исполнительный слой
Слой данных
Контрольный слой
Walrus просто применяет эту философию к хранению.
📍 Точка доступности (PoA): Исследовательская гарантия
Как только достаточно узлов признают хранение:
Создается Точка доступности
Теперь блоб явно активен
Автор может исчезнуть
С этого момента:
Доступность гарантируется
Принуждение экономическое
Доказательства публичны
Это превращает хранение в проверяемый контракт, а не в надежду.
😄 Аналогия (потому что люди это запоминают)
Системы репликации:
“Сделайте 25 полных фотокопий.”
Walrus:
“Разделите страницу на кроссворд.”
Потерять некоторые кусочки —
все равно прочитайте предложение.
🧠 Почему это важно за пределами хранения
Walrus позволяет:
Происхождение данных ИИ
Целостность медиа NFT
Доступность данных Rollup
Сохранение публичных записей
Где бы ни возникал недоверие, Walrus остается корректным.
