왜 증명인가?
인덱서는 PIVX 블록체인을 스캔하고 이름 레지스트리를 구축합니다. 하지만 왜 누군가가 그것을 믿어야합니까? 만약 그렇다면:
- 온체인에서는 발생하지 않은 등록을 조작합니까?
- 잘못된 수수료를 청구하나요?
- 이름을 두 번 등록하나요?
- 레지스트리 상태를 변조했나요?
ZK 증명은 이러한 질문을 제거합니다. 각 증명은 등록이 올바르게 처리되었음을 나타내는 암호화 인증서입니다. 누구나 독립적으로 증거를 확인할 수 있습니다.
각 증명이 검증하는 것
PIVX 증명자는 RISC-V 영지식 가상 머신인 SP1을 사용합니다. 도메인과의 모든 트랜잭션에 대해 증명자는 zkVM 내부에서 다음 검사를 수행합니다.
- 이름 유효성 -- 1~64자, 소문자 영숫자 + 하이픈
- 충분한 수수료 -- 거래에서 이름 길이에 대해 PIVX만큼 지불했습니다.
- 프로토콜 명령 무결성 - 트랜잭션은 이름 길이에 대해 충분한 PIVX을(를) 지불했습니다.
- Ed25519 서명 --
memo command에 대한 서명이 유효합니다. - 머클 트리 삽입 -- 이름이 아직 존재하지 않았으며 새 상태 루트가 정확합니다.
검사에 실패하면 증거를 생성할 수 없습니다.
공개 출력
각 증명은 영구적으로 바인딩된 3가지 값을 커밋합니다.
| 출력 | 설명 |
|---|---|
old_root | 머클 트리 루트 이 등록 전 |
new_root | 머클 트리 루트 이 등록 이후 |
end_block_height | 등록 배치의 최신 PIVX 블록 |
block_height는 증명을 특정 PIVX 블록(예: 체크포인트)에 고정합니다. 누구나 PIVX 노드에서 거래를 조회하고 메모와 값이 일치하는지 확인할 수 있습니다.