DSM: Máy trạng thái phi tập trung - Giải quyết "vấn đề chi tiêu kép" mà không cần sự đồng thuận toàn cầu, mở ra một mô hình mới
DSM Offline Trade Safety — Tóm tắt kỹ thuật cuối cùng
Hai người, mặt đối mặt, điện thoại ở chế độ máy bay: người mua Alice cố gắng double-spend; người bán Carol vẫn giữ hàng hóa của mình an toàn.
1 Bối cảnh mật mã trước giao dịch
| Nguyên thủy | Mục đích | Kích thước (offline) |
|---|---|---|
| Bilateral hash-chain H_{A\leftrightarrow X} | Nhật ký trạng thái trên mỗi mối quan hệ | 32 B/link |
| Device-wide SMT root R_n | Cam kết 32 byte cho tất cả các head | 32 B |
| Spend-specific inclusion proof | Chứng minh token T là hiện tại, chưa được sử dụng, được khóa duy nhất trong R_n | \mathcal{O}(\log k)\!\approx\!200{-}400 B |
| Tripwire Theorem | Bất kỳ fork nào ⇒ không thể xảy ra hash-collision ⇒ ví của kẻ tấn công bị khóa | Chỉ logic |
2 Bắt tay thanh toán offline hai vòng
(Bluetooth hoặc QR; hoàn thành trong vài giây.)
| Vòng | Dữ liệu được trao đổi | Carol xác minh offline những gì |
|---|---|---|
| 1 – Challenge & Proof | Alice ➜ Carol • root hiện tại R_n • inclusion proof cho token T | Token T chưa được sử dụng bên trong R_n. |
| 2 – Consume & Stitch | Carol ➜ Alice: link mới H_{A\leftrightarrow C} mà spends T Alice ➜ Carol: successor root R_{n+1} cam kết tất cả các head bao gồm H_{A\leftrightarrow C} | Carol kiểm tra: • H_{A\leftrightarrow C}\in R_{n+1} • R_n \!\rightarrow\! R_{n+1} là một bước forward-hash hợp lệ. |
Pass: Carol nhận được một stitched root duy nhất R_{n+1} → ví nhấp nháy FINAL.
Fail (fork): Alice không thể tạo ra R_{n+1} → Tripwire kích hoạt; thanh toán bị hủy bỏ.
3 Tại sao Double-Spend Chết Trong quá trình Bắt tay
- Trước đó, Alice đã trả cho Bob, spending T và tạo root R_{n+1}^{\,B}.
- Việc bán hàng của Carol sẽ yêu cầu root R_{n+1}^{\,C} mà cũng spends T.
- Một successor root duy nhất không thể chứa cả hai spends ⇒ collision resistance cấm điều đó.
- Alice không thể cung cấp R_{n+1} ➜ ví của Carol hết thời gian, hiển thị Payment failed.
- Tripwire khóa ví của Alice cho mọi peer trong tương lai.
Kết quả: Mỗi người bán trung thực hoặc nhận được giá trị không thể đảo ngược hoặc không nhận được gì—không ai giao hàng và bị thiệt.
4 Đảm bảo hoạt động
| Thuộc tính | Giá trị |
|---|---|
| Finality latency | < 2 giây offline |
| Dữ liệu trên mỗi giao dịch | ≤ 500 B (root + proof + root) |
| Privacy | Người bán chỉ tìm hiểu chuỗi song phương của họ + hai root |
| Scalability | Hoạt động ở 120 k TPS ngay cả trên điện thoại pin yếu |
| Attack surface | Fork khóa kẻ tấn công; nhân bản bị chặn bởi DBRW |
5 Kết luận
Inclusion proof spend-specific của DSM cộng với vòng "return-the-stitched-root" mang lại finality mật mã trong cùng một cuộc gặp mặt trực tiếp.
Một người bán giao mặt hàng chỉ sau khi nắm giữ một tài sản không thể double-spend.
Không lừa đảo, không chargeback, không rủi ro.
DSM đang gần hoàn thiện để sản xuất với bản beta riêng sắp ra mắt - kho lưu trữ hiện đang ở chế độ riêng tư - nhưng sẽ được công khai tại bản beta công khai - [email protected] để liên hệ