Bảy nguyên thủy — eo thắt
Đây là trái tim XChain: bảy nguyên thủy, mỗi cái định nghĩa cứng (RFC 2119 — MUST / MUST NOT / SHOULD), để mọi thứ bên trên cắm vào với tự do trọn vẹn. Và vì Chúng ta tự buộc mình vào sự trung thực, bảng dưới cho biết không chỉ mỗi nguyên thủy là gì, mà chính xác nó thật tới đâu hôm nay — kể cả mẩu duy nhất còn là stand-in.
| # | Nguyên thủy | Module | Bất biến nó gác | Trạng thái, nói thẳng |
|---|---|---|---|---|
| 1 | UIR — Universal Identity Root | x/uir | Một danh tính toàn cục; tài khoản mỗi chain suy ra tất định; một chữ ký để hành động | Thật |
| 2 | UAC — Universal Asset Commitment | x/uac | Bất biến tổng cung total == Σ perChain + lockedInTransit; security-class tối thiểu mỗi tài sản | Thật — mint gác bằng chữ ký |
| 3 | XMP — XChain Messaging Protocol | x/xmp | Nhắn tin trust-minimized; tách rành mạch READ và WRITE | Thật — anti-replay + pessimistic containment |
| 4 | PAI — Proof Aggregation Interface | x/pai | Cha xác minh con không chạy lại; tổng hợp đệ quy | Aggregation thật · prover vẫn MOCK (xem §9) |
| 5 | DA Interface (tiered) | fabric/da + tools/dasidecar | Dữ liệu đã commit truy hồi/lấy mẫu được theo policy của tầng | Thật — segment publish lên Celestia mocha, commitment verify on-chain |
| 6 | VLC — Verifiable Log Commitment | x/vlc | Log append-only: tamper-evident + timestamp + inclusion-provable; value-free | Thật — Merkle RFC 6962 + DACommitment on-chain |
| 7 | SC — Settlement Contract | x/settlement | Logic tối thiểu ở Global Root: finalize giá trị liên vùng, consume proof tổng hợp | Thật — đối chiếu bất biến tổng cung; không commit mù |
⚠️ Nguyên thủy #4 (PAI) dùng prover MOCK. Mạch tổng hợp (STC → Cell → Root) là thật và đang chạy; bằng chứng mật mã bên dưới vẫn là mock. Theo luật của chính spec,
ProofSystem.MOCKbị từ chối trên mọi mạng ≠ testnet. Prover thật (SP1/Boojum) là việc mở, trung thực — xem §9. Chúng ta thà biết rõ điều này còn hơn bị gây ấn tượng bằng một tuyên bố không bảo chứng được.
Bảy nguyên thủy không phải danh sách ước; chúng ghép theo thứ tự phụ thuộc chặt — UIR → (UAC, XMP) ; DA → (VLC, PAI) ; (UAC, XMP, PAI, VLC) → SC:
Vì sao eo thắt hẹp là siêu năng lực: đóng băng một lõi nhỏ, đúng đắn, và hàng nghìn người có thể xây những thứ khác nhau một trời một vực bên trên mà vẫn interoperate. Internet đã làm thế với TCP/IP. XChain làm thế cho dữ liệu kiểm chứng được.