To typer nullkunnskapsbevis 1⃣ Interaktive nullkunnskapsbevis ▰ Validator-spørsmål (utfordring) ▰ Beviseren returnerer i henhold til utfordringen ▰ Flere runder frem og tilbake, validatorbekreftelse av gyldighet 2⃣ Ikke-interaktive nullkunnskapsbevis ▰ Beviseren trenger bare å generere en fil (korrektur) ▰ Validatorer kan verifisere uavhengig når de får det, og det er ikke behov for frem-og-tilbake-interaksjon Tre egenskaper ved ZK-bevis ▰ Fullstendighet Hvis påstanden er sann, vil beviset definitivt bestå verifiseringen ▰ Pålitelighet - Soliditet Hvis påstanden er falsk, kan ingen opprette et falskt bevis for å bestå verifiseringen ▰ Null kunnskap - Null kunnskap Verifikatorer kan ikke utlede hemmelige inndata fra bevis På grunn av egenskapene til blokkjede er det i utgangspunktet ikke-interaktive nullkunnskapsbevis i praktiske applikasjoner. Ikke-interaktive nullkunnskapsbevis er selvtilfeldige utfordringer for beviseren for å bestemme ektheten til et bevis. @brevis_zk studienotater ~