Due tipi di prove a zero conoscenza 1⃣ Prova a zero conoscenza interattiva ▰ Il verificatore pone una domanda (sfida) ▰ Il provatore risponde alla sfida ▰ Più turni di andata e ritorno, il verificatore conferma che la prova è valida 2⃣ Prova a zero conoscenza non interattiva ▰ Il provatore deve solo generare un file (proof) ▰ Il verificatore può verificarlo in modo indipendente, senza necessità di interazione Tre caratteristiche della prova ZK ▰ Completezza - Completeness Se l'affermazione è vera, la prova deve superare la verifica ▰ Affidabilità - Soundness Se l'affermazione è falsa, nessuno può creare una prova falsa che superi la verifica ▰ Zero conoscenza - Zero Knowledge Il verificatore non può dedurre l'input segreto dalla prova A causa delle proprietà della blockchain, nella pratica si utilizzano principalmente prove a zero conoscenza non interattive. La prova a zero conoscenza non interattiva utilizza una sfida casuale generata dal provatore per determinare la veridicità della prova. @brevis_zk Appunti di studio ～