Dois tipos de provas de conhecimento zero 1⃣ Provas interativas de conhecimento zero ▰ Perguntas do Validador (Desafio) ▰ O provador retorna de acordo com o desafio ▰ Várias rodadas de ida e volta, confirmação de validade do validador 2⃣ Provas de conhecimento zero não interativas ▰ O provador só precisa gerar um arquivo (prova) ▰ Os validadores podem verificar de forma independente quando o recebem, e não há necessidade de interação de ida e volta Três propriedades das provas ZK ▰ Completude Se a proposição for verdadeira, a prova definitivamente passará na verificação ▰ Confiabilidade - Solidez Se a proposição for falsa, ninguém pode criar uma prova falsa para passar na verificação ▰ Conhecimento Zero - Conhecimento Zero Os verificadores não podem derivar entradas secretas de provas Por causa das propriedades do blockchain, ele é basicamente provas de conhecimento zero não interativas em aplicações práticas. Provas de conhecimento zero não interativas são desafios auto-aleatórios do provador para determinar a autenticidade de uma prova. @brevis_zk notas de estudo ~