Dois tipos de provas de conhecimento zero 1⃣ Prova de conhecimento zero interativa ▰ O verificador faz uma pergunta (desafio) ▰ O provador responde ao desafio ▰ Várias rodadas de ida e volta, o verificador confirma que a prova é válida 2⃣ Prova de conhecimento zero não interativa ▰ O provador só precisa gerar um arquivo (prova) ▰ O verificador pode validá-lo de forma independente, sem necessidade de interação Três características da prova ZK ▰ Completude - Completeness Se a proposição é verdadeira, a prova sempre passará na verificação ▰ Solidez - Soundness Se a proposição é falsa, ninguém pode criar uma prova falsa que passe na verificação ▰ Conhecimento zero - Zero Knowledge O verificador não pode deduzir a entrada secreta a partir da prova Devido às propriedades da blockchain, na prática, a maioria das aplicações são provas de conhecimento zero não interativas. A prova de conhecimento zero não interativa usa um desafio aleatório auto-gerado pelo provador para determinar a veracidade da prova. @brevis_zk Notas de estudo ～