Почему Irys нуждается в Verifiability (доказуемость)? Существует старая проблема хранения данных в блокчейне: говорят, что данные навсегда, а в итоге они пропадают? Либо проверка слишком тяжелая, скорость настолько медленная, что это невозможно использовать. Многие ранние блокчейны просто сверяют данные между майнерами, но пользователи не чувствуют полной защиты. Irys хочет решить этот разрыв доверия. Их подход состоит примерно из трех шагов: ※ Многоуровневая бухгалтерия Данные сначала временно проверяются в Submit Ledger, и только после этого, если все в порядке, они поднимаются в Publish Ledger, что считается настоящим постоянным хранением. При этом создается доказательство, в котором указаны загружающая сторона, время и майнеры, хранящие данные, с четким распределением ответственности. ※ Упаковка Matrix Майнеры не могут просто так обмануть, каждая часть данных имеет уникальную криптографическую метку, и майнер должен хранить уникальную копию, иначе это будет стоить дороже. Таким образом, это позволяет проверить уникальность и дает майнерам стимул честно хранить данные. ※ Доказательство загрузки и доступности При загрузке ведется запись, после чего майнеры будут случайно проверяться и обязаны предоставить хэш указанного сегмента данных в установленный срок. Если они могут это предоставить = данные не потеряны. С этими механизмами данные не просто хранятся, но могут постоянно доказываться и проверяться! Это очень важно для целей Irys, потому что для создания Programmable Data данные должны быть надежными и всегда доступными. Только так они могут работать с правилами в приложениях, а не просто полагаться на лозунг о постоянном хранении!