ZK proof (Zero-Knowledge proof): definição

ZK proof (Zero-Knowledge proof)

Uma prova de conhecimento zero permite demonstrar que uma afirmação satisfaz uma relação sem revelar a testemunha secreta que a sustenta. O verificador aprende o necessário para conferir a afirmação, sob o modelo de segurança escolhido. Nem toda prova de validade nem toda aplicação chamada de ZK oculta as transações ou seus dados.

O provador utiliza dados públicos e uma testemunha secreta (witness) para produzir uma prova. O verificador confere a relação sem receber a testemunha. A propriedade de conhecimento zero limita o que essa prova revela; não oculta informações que a aplicação publique por outras vias.

SNARK e STARK descrevem famílias com premissas e custos diferentes. Algumas construções exigem parâmetros de confiança; outras são transparentes. PLONK com compromissos KZG utiliza uma configuração universal, enquanto variantes com outros compromissos têm requisitos diferentes.

As provas podem servir para verificar atributos ou cálculos. Em escalabilidade, um rollup pode utilizar provas de validade e publicar as transações, de modo que não oferece necessariamente privacidade. É preciso examinar a construção e a aplicação concreta.

ZK proof (Zero-Knowledge proof)

Fontes

Também conhecido como

ZK proof (Zero-Knowledge proof)

Fontes

Também conhecido como

Categorias do blog

Tecnologias relacionadas

Termos relacionados