Por que provas?

Um indexador verifica o blockchain PIVX e constrói um registro de nomes. Mas por que alguém deveria confiar nisso? E se:

• Fabrica um cadastro que nunca aconteceu on-chain?
• Cobra a taxa errada?
• Registra um nome duas vezes?
• Altera o estado do registro?

As provas ZK eliminam essas questões. Cada prova é um certificado criptográfico de que o registro foi processado corretamente. Qualquer pessoa pode verificar a prova de forma independente.

O que cada prova verifica

O provador PIVX usa SP1 - uma máquina virtual de conhecimento zero RISC-V. Para cada transação com domínio, o provador realiza as seguintes verificações dentro do zkVM:

1. Validade do nome -- 1 a 64 caracteres, alfanuméricos minúsculos + hifens
2. Suficiência de taxa -- a transação pagou o suficiente PIVX para o comprimento do nome
3. Integridade do comando do protocolo – a transação pagou o suficiente PIVX para o comprimento do nome
4. Assinatura Ed25519 – a assinatura sobre memo command é válida
5. Inserção da árvore Merkle – o nome ainda não existia e a nova raiz do estado está correta

Se alguma verificação falhar, a prova não poderá ser gerada.

Resultados públicos

Cada prova compromete 3 valores que estão permanentemente vinculados a ela:

Saída	Descrição
old_root	Raiz da árvore Merkle antes deste registro
new_root	Raiz da árvore Merkle após este registro
end_block_height	O último bloco PIVX do lote de registro

O block_height fixa a prova em um bloco PIVX específico (como um ponto de verificação). Qualquer pessoa pode consultar transações em um nó PIVX e confirmar a correspondência do memorando e do valor.