Tại sao Irys cần Verifiability (có thể xác minh)? Lưu trữ trên chuỗi có một vấn đề cũ: nói là vĩnh viễn, nhưng dữ liệu lại bị mất? Hoặc là việc xác minh quá nặng nề, tốc độ chậm đến mức không thể sử dụng. Nhiều chuỗi dữ liệu ban đầu chỉ là việc đối chiếu giữa các thợ mỏ, nhưng người dùng không cảm nhận được sự bảo đảm đầy đủ. Irys muốn giải quyết khoảng trống niềm tin này. Cách làm của nó có ba bước: ※ Vòng lặp sổ cái đa dạng Dữ liệu được xác minh tạm thời trên Submit Ledger, nếu không có vấn đề gì thì mới nâng lên Publish Ledger, mới được coi là thực sự vĩnh viễn. Đồng thời sẽ tạo ra một chứng minh, ghi rõ bên tải lên, thời gian, và thợ mỏ lưu trữ, trách nhiệm rõ ràng. ※ Đóng gói Matrix Thợ mỏ không thể tùy tiện làm qua loa, mỗi phần dữ liệu phân vùng đều có dấu hiệu mã hóa độc đáo, thợ mỏ phải lưu giữ một bản duy nhất, nếu không sẽ tốn kém hơn. Như vậy vừa có thể xác minh tính duy nhất, vừa tạo động lực cho thợ mỏ lưu trữ một cách trung thực. ※ Chứng minh Tải lên & Khả năng sẵn có Khi tải lên có ghi chép, sau đó thợ mỏ sẽ bị kiểm tra ngẫu nhiên, yêu cầu trong thời gian quy định phải cung cấp băm của đoạn dữ liệu chỉ định. Nếu có thể cung cấp = dữ liệu không bị mất. Với những cơ chế này, dữ liệu không chỉ được lưu trữ, mà còn có thể được chứng minh và xác minh liên tục! Điều này rất quan trọng đối với mục tiêu của Irys, vì để làm Dữ liệu Có thể Lập trình, dữ liệu phải đáng tin cậy và có sẵn mọi lúc. Chỉ có như vậy, nó mới có thể hoạt động với các quy tắc trong ứng dụng, không chỉ dựa vào khẩu hiệu lưu trữ vĩnh viễn!