[IRYS] Почему верифицируемость

Автор перевода:

X: https://x.com/learn3xyz

Discord: Riviera07

Источник: https://docs.irys.xyz/learn/why/why-verifiability

Почему

Верифицируемость — это вектор построения доверия в децентрализованных системах.

Она гарантирует, что данные точные, доступные и надёжные. Встроить её в систему «с нуля» — непростая задача.

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

Проблема в том, что:

• Повышенная верифицируемость обычно приводила к замедлению доступа к данным, так как проверка требует значительных вычислительных ресурсов
• Иногда данные даже терялись, что нарушало заявление о «постоянном» хранении

Некоторые сети предлагают частичную верификацию — например, проверку данных только между майнерами. Но редко когда верификация распространяется на весь стек. А расширение её на пользователей, майнеров и сами данные куда сложнее. Этот пробел оставляет доверие неполным и подрывает обещание системы быть надёжной.

Без настоящей верифицируемости «постоянство» — это, в лучшем случае, лишь оптимистичное заявление.

Цикл с несколькими реестрами

Все данные в Irys проходят многошаговый процесс для подтверждения надёжности.

Процесс начинается в Submit Ledger — временной зоне хранения, куда пользователи загружают данные и где протокол их проверяет.

После того как данные подтверждены как загруженные в Submit Ledger, они «повышаются» до Publish Ledger, где получают постоянный статус.

Это «повышение» сопровождается Ingress proofs — сертификатом того, что данные были корректно загружены и что ответственная сторона несёт обязательство за их хранение. Такой процесс гарантирует как надёжность данных, так и их доступность по всей сети.

Роль Matrix Packaging

Matrix Packaging — это механизм протокола, который проверяет, что каждый майнер вносит уникальную и доказуемую ёмкость хранения в сеть.

За счёт внедрения уникальных криптографических свойств в каждую партицию, Matrix Packaging создаёт экономические стимулы для майнеров хранить уникальные копии данных, вместо того чтобы пытаться пересчитывать их по требованию.

Это достигает двух ключевых результатов:

• Экономическая целесообразность: хранение уникальных копий данных становится для майнеров экономически выгодным и проверяемым, что помогает им выполнять обязательства по хранению
• Доверие через проверку: процесс подтверждает, что майнеры действительно поддерживают уникальные и целые копии своих партиций. Это препятствует враждебному поведению, такому как дублирование или игнорирование, укрепляя доверие в сети.

Таким образом, Matrix Packaging связывает стимулы майнеров с надёжностью сети, создавая систему, где хранение данных одновременно эффективно и проверяемо — а верифицируемость становится масштабируемой и практической.

Включение программируемых данных

Верифицируемость лежит в основе способности Irys поддерживать программируемые данные в разных приложениях. Чтобы данные функционировали надёжно в децентрализованной экосистеме, они должны сопровождаться доказуемыми гарантиями происхождения, доступности и целостности.

Irys достигает этих гарантий через многошаговый процесс:

1. Proof of Upload
Когда новые данные загружаются в сеть или передаются между майнерами, каждый майнер создаёт криптографическое доказательство загрузки (ingress proof). Эти доказательства фиксируют, что данные были корректно загружены, занесены в журнал и реплицированы.

Каждое ingress proof включает:

• Merkle Root, который подтверждает включение данных в Submit Ledger и криптографически связывает их с хранилищем сети.
• Метаданные, указывающие ответственного майнера, партицию, где хранятся данные, и время загрузки — создавая неизменяемую цепочку подотчётности.

2. Доступность данных
Майнеры, хранящие данные, подвергаются периодическим случайным проверкам. Каждая проверка требует от майнера предъявить:

• Валидный хэш определённых диапазонов данных, подтверждающий их целостность.
• Ответ с меткой времени, подтверждающий своевременный доступ и активное поддержание.

Такой процесс гарантирует, что майнеры постоянно проверяют доступность своих партиций и предотвращают потерю данных.

3. Встроенные свойства
Когда данные переходят в Publish Ledger, они получают встроенные криптографические доказательства и программируемые метаданные. Эти метаданные определяют:

• Права собственности (например, привязка к определённым кошелькам).
• Контроль доступа (например, разрешения для контрактов или пользователей).
• Роялти или другие правила монетизации, автоматически исполняемые.

Данные со встроенными свойствами позволяют смарт-контрактам напрямую ссылаться на правила и применять их без необходимости во внешних системах.

Похожие статьи из цикла переводов:

Что такое датачейн:

https://teletype.in/@riviera07/what-a-datachain-is-rus

Чем не является IRYS:

https://teletype.in/@riviera07/what-irys-isnt-rus

Что такое IRYS:

https://teletype.in/@riviera07/what-irys-is-rus

Почему существует IRYS:

https://teletype.in/@riviera07/Jh_0NV2xeXb

Как IRYS решает эти проблемы

https://teletype.in/@riviera07/OvXsnTLQRwR

Почему программируемые данные?

https://teletype.in/@riviera07/DiPj9nU2gFH