Skip to main content

Sübut Zənciri

Domenlər toplu olaraq qeydə alınır. Hər partiyanın gözləmə müddəti ~10 dəqiqədir. Hər partiya bir sübut təqdim edir. Bu sübutlar genezisdən dövlət keçidləri zəncirini təşkil edir:

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)

Hər bir sübutun old_root göstəricisi əvvəlki sübutun new_root sübutuna bərabər olmalıdır. Birinci sübutun old_root məlum genezis kökünə (boş Seyrək Merkle Ağacı) bərabər olmalıdır.

Zəncirin Doğrulanması​

Doğrulayıcı bütün qeydiyyat tarixini beş addımda yoxlayır:

  1. SP1 doğrulama açarını əldə edin -- deterministik olaraq qonaq proqram ikili proqramından əldə edilmişdir
  2. Bütün sübutları API-dən alın
  3. Doğrulama açarından istifadə edərək Hər SP1 sübutunu yoxlayın
  4. Zənciri yoxlayın -- genesis == P1.old_root, P1.new_root == P2.old_root, ..., PN.new_root == current_root
  5. Spot-check on-chain -- PIVX qovşağında hər hansı təsdiq edilmiş txid-a baxın və memo, dəyər və blok uyğunluğunu təsdiqləyin

Bütün yoxlamalar keçərsə, bütün qeydiyyat tarixçəsi düzgündür -- indeksləşdiriciyə etibar tələb olunmur.

Proof Boru Kəməri​

Skaner və prover müstəqil olaraq işləyir:

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})

Skaner heç vaxt sübut yaratmağı bloklamır. Prover daemon gözlənilən qeydlər üçün sorğular aparır və ayrıca aparatda işləyə bilər.