Перейти к содержанию
Financial Context Wiki

Выборка доступности данных (DAS)

Ориентированное на проверку руководство по вероятностной выборке доступности данных, стирающему кодированию, обязательствам, моделям выборки, ячейкам и столбцам PeerDAS, хранению, независимости пиров и пределам восстановления.

Обновлено

Только в образовательных целях; не является инвестиционным советом или инвестиционной рекомендацией. Инвестиции могут привести к убыткам.

Краткий ответ

Выборка доступности данных позволяет узлу запросить определенное протоколом подмножество аутентифицированных единиц данных со стирающим кодированием и сформировать вероятностное локальное суждение о том, был ли объект обязательства опубликован в объеме, достаточном для восстановления. Узел не загружает объект целиком. Успешная выборка повышает уверенность только при заявленных допущениях о кодировании, пороге восстановления, отборе выборок, разнообразии пиров, сроках и модели противника.

Доказательство KZG или ячейки связывает полученную единицу с обязательством, но не доказывает существование достаточного количества остальных единиц. Успешная локальная проверка не доказывает автоматически восстановимость во всей сети, корректность исполнения, финальность консенсуса, расчет роллапа, возможность выхода пользователя или постоянное архивирование. PeerDAS представляет собой конкретную схему Ethereum с зависящими от форка столбцами, ячейками, группами хранения, правилами выборки, сети и выбора ветви; ее текущие параметры не являются универсальными константами DAS.

Как это работает

  1. Зафиксируйте точный объект и снимок спецификации: цепь, сеть, форк, клиент и редакцию спецификации; слот, корень блока и обязательства blob; исходные и расширенные размеры; определения ячейки, строки, столбца и группы хранения; а также решение о доступности, которое должен принять узел.
  2. Проверьте правило кодирования и восстановления. Запишите алгоритм стирающего расширения, схему обязательств, число исходных и закодированных единиц, минимум для восстановления объекта и способ отклонения некорректных расширений. Выборка имеет смысл лишь тогда, когда сокрытие достаточного для срыва восстановления числа единиц создает обнаружимую область.
  3. Определите пространство и процедуру выборки. Запишите размер совокупности, недоступное или скрытое множество, число выборок, отбор с возвращением или без него, источник случайности, уникальность, обязанности хранения, выбор пиров, тайм-аут, повторы и дедупликацию. Назначения хранения и случайные выборки являются разными свидетельствами.
  4. До расчета сформулируйте вероятностную модель. Для учебной фиксированной доли сокрытия f и s независимых равномерных выборок с возвращением P_miss = (1 - f)^s. При отборе без возвращения используйте отношение сочетаний для конечной совокупности. Коррелированные пиры, смещенная случайность, eclipse-атака, адаптивная выдача и избирательные повторы делают простую модель недействительной.
  5. Получайте данные от разнообразных пиров в пределах протокольного срока. Проверяйте канонический заголовок и включение blob, обязательство, индекс, доказательство ячейки KZG и байты ответа; отдельно учитывайте отсутствующие, недействительные и запоздалые ответы. Повтор одного столбца или обращение к одной плоскости управления не создает нового независимого свидетельства.
  6. Примените локальные правила доступности и выбора ветви названного протокола, а затем отдельно зафиксируйте распространение и восстановление в сети, корректность исполнения, безопасное и финализированное состояния консенсуса, срок обслуживания и статус архива. Локальный успех нельзя превращать в утверждения, которых протокол не дает.
  7. Отрепетируйте сокрытие, некорректное кодирование, недействительные доказательства, eclipse- и Sybil-атаки, избирательную и адаптивную выдачу, коррелированную выборку, разделение пиров и подсетей, тайм-ауты, удаление данных, изменения параметров и расписания blob, реорганизацию и расхождение клиентов. Фактически восстановите объект из собранных единиц и сохраните запросы, ответы, доказательства, версии и архивные свидетельства.

Разобранные примеры

  • Независимая выборка с возвращением. В учебной модели скрыто 50% единиц, и узел делает 30 независимых равномерных выборок с возвращением. Вероятность не обнаружить сокрытие равна 0.5^30 = 0.0000000009313225746, вероятность обнаружения — 99.9999999069%. Это учебная модель, а не фактическая гарантия обслуживания PeerDAS или иной сети.
  • Целевая вероятность пропуска. В той же независимой модели при сокрытии 25% требуем вероятность пропуска не выше 0.000001. Число выборок равно ceil(log(0.000001) / log(0.75)) = 49. При 48 выборках вероятность 0.75^48 = 0.0000010067940558701114 все еще выше цели; при 49 она равна 0.75^49 = 0.0000007550955419025835.
  • Выборка без возвращения. Конечная совокупность содержит 128 столбцов: 64 обслуживаются, а 64 скрыты. При выборе 8 различных столбцов без возвращения вероятность не попасть в скрытое множество равна C(64,8) / C(128,8) = 0.0030958642767920487, а вероятность обнаружения — 99.6904135723%. Результат отличается от 0.5^8 = 0.00390625 и по-прежнему предполагает равномерный отбор и статическое сокрытие.
  • Снимок параметров Fulu. В спецификации Fulu, проверенной 2026-08-12, заданы NUMBER_OF_COLUMNS = 128, SAMPLES_PER_SLOT = 8, NUMBER_OF_CUSTODY_GROUPS = 128 и CUSTODY_REQUIREMENT = 4. Минимальная доля выборки равна 8 / 128 = 6.25%, а минимальная доля хранения — 4 / 128 = 3.125%. Если узел хранит 12 групп и размер выборки равен большему из 8 и 12, он запрашивает 12 / 128 = 9.375%. Это версионируемые параметры протокола, а не постоянные или межпротокольные гарантии.

Риски

  • Выборка не той цепи, сети, версии форка, слота, блока или объекта данных.
  • Доверие устаревшему, неканоническому или реорганизованному заголовку и обязательству.
  • Использование некорректно сформированных или ошибочно расширенных данных со стирающим кодированием.
  • Принятие недействительного доказательства KZG, ячейки или включения.
  • Отождествление подлинности обязательства с доказательством доступности.
  • Слишком малое число выборок для заявленной модели угроз.
  • Применение формулы с возвращением к отбору без возвращения или наоборот.
  • Использование смещенной, предсказуемой или управляемой случайности.
  • Учет дубликатов или повторных запросов как независимых выборок.
  • Выборка коррелированных пиров, подсетей, групп хранения или плоскостей управления.
  • Eclipse- или Sybil-атака, изолирующая узел выборки.
  • Избирательная или адаптивная выдача после раскрытия выбранных единиц.
  • Ошибочная классификация тайм-аута, перегрузки или сбоя клиента как сокрытия данных.
  • Смешение детерминированных назначений хранения со случайной выборкой.
  • Допущение о доле сокрытия, не соответствующее порогу восстановления.
  • Сбой восстановления из-за ограничений процессора, памяти, пропускной способности или реализации.
  • Сбой gossip, запрос-ответ, подсети или перекрестного распространения.
  • Перенос локального успеха на доступность и восстановимость всей сети.
  • Смешение DAS с корректностью исполнения, финальностью консенсуса, расчетом или выходом.
  • Пропуск изменений хранения, архива, резервного пути, форка, расписания blob или параметров.

Распространенные заблуждения

  • Одна успешная выборка доказывает доступность полного объекта.
  • Доказательство KZG или ячейки само является доказательством доступности данных.
  • Большее число запросов всегда дает независимые свидетельства.
  • DAS проверяет исполнение и финализирует цепь.
  • Доступные сейчас данные навсегда останутся в архиве.

Связанные темы

Источники

Навигация

Поиск по вики...