Chuỗi bằng chứng

Các miền được đăng ký hàng loạt. Thời gian chờ đợi của mỗi đợt là ~ 10 phút. Mỗi lô sản xuất một bằng chứng. Những bằng chứng này tạo thành một chuỗi các chuyển đổi trạng thái từ nguồn gốc:

genesis_root (empty tree -- known constant)
  |  +-- "richard.pivx" registered at block 100,
  |  +-- "john.pivx" registered at block 110,
  |  ... (could be more registration/update commands)
  |  ! Proof 1 is generated
  |  old_root = genesis_root --> new_root_1
  |  +-- "richard.pivx" put his name on marketplace at block 200,
  |  +-- "sam.pivx" registered at block 250,
  |  ... (could be more registration/update commands)
  |  ! Proof 2 is generated
  |  old_root = new_root_1 --> new_root_2 (= current root)

old_root của mỗi bằng chứng phải bằng new_root của bằng chứng trước đó. old_root của bằng chứng đầu tiên phải bằng gốc gốc đã biết (Cây Merkle thưa thớt trống).

Xác minh chuỗi

Người xác minh sẽ kiểm tra toàn bộ lịch sử đăng ký theo năm bước:

1. Lấy khóa xác minh SP1 -- được xác định rõ ràng từ tệp nhị phân của chương trình khách
2. Lấy tất cả bằng chứng từ API
3. Xác minh từng bằng chứng SP1 bằng khóa xác minh
4. Kiểm tra dây chuyền -- genesis == P1.old_root, P1.new_root == P2.old_root, ..., PN.new_root == current_root
5. Kiểm tra tại chỗ trên chuỗi -- tra cứu mọi txid đã cam kết trên nút PIVX và xác nhận bản ghi nhớ, giá trị và khối khớp

Nếu tất cả các bước kiểm tra đều vượt qua thì toàn bộ lịch sử đăng ký là chính xác -- không cần tin tưởng vào người lập chỉ mục.

Đường ống chứng minh

Máy quét và bộ chứng minh chạy độc lập:

PIVX Blockchain
       |
   PiNS Registrar Scanner  (validates, captures SMT state)
       |
    Database               (status: "pending")
       |
   SP1 Prover              (generates ZK proof, verifies it)
       |
    Database               (status: "proved")
       |
   New checkpoint published
       |
   Indexer syncs to the checkpoint   
       |
   API Server   (GET /v1.0/resolve/{name})

Máy quét không bao giờ chặn việc tạo bằng chứng. Cuộc thăm dò daemon của trình chứng minh cho các bản ghi đang chờ xử lý và có thể chạy trên phần cứng riêng biệt.