Tin cậy & Quyền riêng tư
Những gì bạn tự kiểm chứng được
Không điều nào dưới đây đòi hỏi phải tin bên vận hành:
- Mọi thay đổi trạng thái đều có chữ ký. Mạch kiểm tra chữ ký Ed25519 bằng khóa mà thao tác yêu cầu, nên một cái tên không thể đổi chủ nếu thiếu khóa của chủ sở hữu.
- Mọi lô đều có bằng chứng ZK. Hợp đồng neo không nhận gốc nếu thiếu nó; bằng chứng được kiểm
với
programVkey— một cam kết với đúng mạch đã biên dịch mà bạn có thể tự dựng lại. - Mọi lần phân giải đều kèm bằng chứng Merkle. Bạn có thể đối chiếu bản ghi với một gốc, và đối chiếu gốc với hợp đồng. Xem Kiểm chứng bằng chứng.
- Mọi gốc đều tất định. Bất kỳ trình lập chỉ mục nào phát lại cùng những lệnh đó đều phải cho ra cùng một gốc, nên bất đồng lộ ra ngay lập tức.
- Các gốc tạo thành một chuỗi, mỗi gốc neo vào chiều cao khối PIVX mà nó bao phủ.
Những gì buộc phải tin
Một danh sách ngắn và trung thực — mọi thứ khác trên trang này bạn đều tự kiểm chứng được:
- PIVX và BNB Smart Chain vận hành đúng thiết kế — giao dịch là chung cuộc, các chuỗi không tái tổ chức vượt quá ngưỡng xác nhận của chúng.
- Mật mã tiêu chuẩn là vững chắc — SHA-256, Ed25519 và hệ bằng chứng SP1.
- Một lần rút tiền đến đúng địa chỉ bạn chỉ định. Số tiền, phí và nghĩa vụ đều kiểm toán được công khai; địa chỉ đích là chi tiết duy nhất do chính bạn xác nhận thay vì một người quan sát bên ngoài. Giải thích ở Số dư và rút tiền.
Vì sao nhân bản khiến nhà đăng ký phải chịu trách nhiệm
Nhà đăng ký công bố địa chỉ giao thức của mình và khóa xem của địa chỉ đó. Đây là chủ ý và mang trọng trách chính: với cả hai thứ, bất kỳ ai cũng có thể
- quét PIVX và giải mã mọi lệnh cùng mọi khoản thanh toán từ đầu, theo thứ tự chuẩn tắc,
- phát lại chúng qua trình lập chỉ mục mã nguồn mở,
- tự tính gốc trạng thái một cách độc lập, và
- đối chiếu với gốc đã neo trên BNB Smart Chain.
Một nhà đăng ký kiểm duyệt một lệnh đã trả tiền, bịa ra một lần chuyển nhượng, ghi sai số dư hay đảo thứ tự các thao tác sẽ tạo ra một gốc mà mọi trình lập chỉ mục độc lập đều bác bỏ. Không cần xin phép hay quyền truy cập đặc biệt để kiểm tra.
Tính chất thu được là gian lận lộ ra, chứ không bị ngăn chặn: một lô sai có thể lên chuỗi rồi bị bác bỏ sau đó. Việc khắc phục mang tính xã hội chứ không tự động.
Số dư và rút tiền
Tiền không chuyển thẳng từ người mua sang người bán. Doanh thu bán hàng được ghi có vào số dư nội bộ của người bán sau khi trừ phí dịch vụ, các lượt đặt mua thua cuộc cho một cái tên đang tranh chấp được hoàn về số dư, và người dùng rút khi nào họ muốn. Chính việc giữ tiền trong số dư mới làm cho việc hoàn tiền khả thi: một giao dịch được che chắn không mang địa chỉ người gửi, nên chẳng có nơi nào để tự động trả lại một khoản thanh toán nhầm.
Các khoản chi trả nằm trên chuỗi và có quy thuộc
Nhà đăng ký công bố khóa xem đầy đủ, không chỉ khóa cho khoản đến, nên các khoản chi ra cũng dễ thấy như các khoản nhận vào. Mỗi lần chi trả đều mang memo nêu tên tài khoản mà nó thanh toán:
Payout #{id}: {gross} PIVX for pubkey '{pubkey}' (including the {fee}% service fee)
Nhờ đó ai cũng dựng lại được toàn bộ sổ sách. Quét địa chỉ giao thức bằng khóa xem đã công bố, và với mỗi khóa công khai bạn sẽ thấy:
- mọi khoản ghi có mà nó kiếm được — doanh thu bán hàng và các khoản hoàn tiền, suy ra từ dòng lệnh công khai
- mọi khoản chi trả nó đã nhận, được quy thuộc qua memo, với số tiền lấy từ giá trị của ghi chú
- phí dịch vụ áp cho từng khoản
từ đó cho ra một số dư hiện hành mà ai cũng tính độc lập được:
balance(pubkey) = Σ(sale proceeds net of fee) + Σ(refunds) − Σ(payouts sent) stays ≥ 0
Một khoản chi trả không có nghĩa vụ tương ứng, một mức phí sai, hay một số dư bị đẩy xuống âm đều sẽ lộ ra với bất kỳ người quan sát nào. Nhà đăng ký không thể lặng lẽ trả cho chính mình, không thể bỏ qua một nghĩa vụ, cũng không thể áp mức phí khác với mức đã công bố.
Đọc số tiền từ ghi chú, không phải từ memo
Memo ghi nghĩa vụ gộp — số dư trước khi trừ phí dịch vụ — trong khi ghi chú mang số tiền thực trả sau khi đã trừ. Giá trị của một ghi chú mang tính mật mã; còn văn bản memo do nhà đăng ký viết. Khi kiểm toán, hãy lấy mọi số tiền từ giá trị ghi chú và chỉ coi memo là phần quy thuộc.
Điều mà người nhận xác nhận thay cho kiểm toán viên
Có một chi tiết nằm ngoài bức tranh đó, và nói thẳng ra thì tốt hơn là để ngầm hiểu. Việc rút tiền được cho phép trên trang web bằng khóa Ed25519 của bạn, và yêu cầu đó đi qua HTTPS chứ không qua chuỗi. Vì thế người quan sát bên ngoài thấy rằng một khoản chi trả đúng quy mô đã được thực hiện cho tài khoản của bạn, nhưng không có hồ sơ công khai về địa chỉ đích mà bạn đã chỉ định.
Trên thực tế, người ở vị trí tốt nhất để kiểm tra điều đó là chính bạn, và ngay lập tức: bạn biết mình đã yêu cầu gì và tiền đã về hay chưa. Và việc kiểm tra này không phải chuyện ý kiến: bạn giữ yêu cầu mà mình đã ký, nên một sai lệch có thể chứng minh bằng mật mã thay vì tranh cãi.
| Được xác nhận bởi | |
|---|---|
| Trạng thái tên miền | Bất kỳ người quan sát nào, một cách tự động — trình lập chỉ mục độc lập tự thấy gốc lệch mà không cần ai nhắc |
| Số tiền chi trả, phí, nghĩa vụ | Bất kỳ người quan sát nào, từ khóa xem đã công bố và phần quy thuộc trong memo |
| Địa chỉ đích của khoản chi trả | Người nhận, đối chiếu với yêu cầu họ đã ký |
Nếu định tuyến việc rút tiền qua chính kênh memo, hàng cuối sẽ chuyển lên nhóm đầu tiên, gần như không mất mát gì về quyền riêng tư, vì khóa xem và các memo nêu tên khóa công khai vốn đã phơi bày mối liên hệ đó. Phương án này đã được cân nhắc và gác lại để giữ việc rút tiền là một thao tác đơn giản trên trang web; nó vẫn là một thay đổi hợp lý trong tương lai chứ không phải khiếm khuyết.
Hãy giữ lại các yêu cầu rút tiền đã ký
Giữ yêu cầu đã ký cho tới khi bạn xác nhận tiền đã về. Chính nó biến một khoản chi trả gây tranh cãi thành thứ bạn có thể chứng minh.
Điều một trình lập chỉ mục xấu không làm được
Không thể làm giả một bản ghi. Kết quả phân giải luôn kèm bằng chứng Merkle, còn một gốc mà hợp đồng neo chưa từng chấp nhận sẽ bị loại bởi phép kiểm tra ở Kiểm chứng bằng chứng.
Không thể giấu một lần đăng ký. Sự vắng mặt được chứng minh chứ không phải được khẳng định suông:
terminal Blocked mang theo toàn bộ bản ghi chặn, nên bạn kiểm chứng được lời khẳng định thay vì
chấp nhận nó. Hơn nữa, toàn bộ lịch sử đều suy lại được từ chuỗi bằng khóa xem công khai.
Không thể biến mất. Mọi lệnh đều nằm trên PIVX và mã nguồn là mở. Bất kỳ ai cũng dựng lại được toàn bộ sổ đăng ký từ khối khởi thủy.
Phân giải riêng tư qua Tor
Phân giải qua mạng công khai sẽ tiết lộ cho máy chủ biết bạn tra cứu tên nào và khi nào. Vì thế API trình lập chỉ mục cũng được công bố dưới dạng dịch vụ ẩn Tor:
http://indexer.pivxns3wsp3g6rtekzjwhqtcic2yhgngqg3ovod67hp3obt2ckmtcjyd.onion
Trong trình duyệt Tor:
http://indexer.pivxns3wsp3g6rtekzjwhqtcic2yhgngqg3ovod67hp3obt2ckmtcjyd.onion/v1.0/resolve/richard.pivx
Từ dòng lệnh, với Tor chạy cục bộ:
curl --socks5-hostname 127.0.0.1:9050 \
http://indexer.pivxns3wsp3g6rtekzjwhqtcic2yhgngqg3ovod67hp3obt2ckmtcjyd.onion/v1.0/info
Vẫn là API đó trả về đúng dữ liệu đó, gồm cả bằng chứng Merkle, nên bạn không mất gì. Máy chủ không bao giờ biết IP của bạn, còn nhà mạng chỉ thấy rằng bạn đã dùng Tor.
Thứ xóa bỏ nhu cầu tin cậy là việc kiểm chứng, không phải kênh truyền
Tor bảo vệ quyền riêng tư của bạn trước trình lập chỉ mục. Nó không làm trình lập chỉ mục trung thực hơn — điều đó do bằng chứng Merkle và phép đối chiếu gốc trên chuỗi đảm nhiệm, và bạn nên thực hiện chúng bất kể kết nối bằng cách nào.