GATE B
Kiến trúc chứng thư
Điều gì thay đổi
Chứng thư proof-trace đệ quy cùng một verifier độc lập, nó từ chối prune sai, survivor bịa và bản trùng ảo, không chỉ giả mạo checksum.
Bằng chứng
kiểm 18/8 mẫu tấn công bị từ chối, kể cả tấn công toán học nhất quán hash
kiểm 2Hồi quy: survivor của chứng thư bằng mô hình chân trị, 0 lệch
kiểm 3Verifier độc lập cấu trúc với bộ sinh
Kiểm chứng: double · I2 · 24 artifact (report, verifier, bộ tấn công, manifest SHA-256)