증명 체인

도메인은 일괄적으로 등록됩니다. 각 배치 대기 시간 제한은 최대 10분입니다. 모든 배치는 하나의 증거를 생성합니다. 이러한 증명은 생성부터 일련의 상태 전환을 형성합니다.

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은 이전 증명의 new_root과 동일해야 합니다. 첫 번째 증명의 old_root는 알려진 기원 루트(빈 희소 머클 트리)와 동일해야 합니다.

체인 확인

검증자는 5단계로 전체 등록 내역을 확인합니다.

SP1 확인 키 가져오기 -- 게스트 프로그램 바이너리에서 결정적으로 파생됨
API에서 모든 증거 가져오기
확인 키를 사용하여 각 SP1 증명을 확인합니다.
체인 확인 -- genesis == P1.old_root, P1.new_root == P2.old_root, ..., PN.new_root == current_root
온체인 즉시 확인 -- PIVX 노드에서 커밋된 txid을 조회하고 메모, 값 및 블록 일치를 확인합니다.

모든 검사가 통과되면 전체 등록 기록이 올바른 것입니다. 즉, 인덱서에 대한 신뢰가 필요하지 않습니다.

증명 파이프라인

스캐너와 증명자는 독립적으로 실행됩니다.

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

스캐너는 증명 생성을 차단하지 않습니다. 증명자 데몬은 보류 중인 레코드를 폴링하고 별도의 하드웨어에서 실행될 수 있습니다.

체인 확인​

증명 파이프라인​

체인 확인

증명 파이프라인