Dva typy důkazů s nulovou znalostí 1⃣ Interaktivní důkazy s nulovou znalostí ▰ Otázky validátora (výzva) ▰ Dokazovatel se vrátí podle výzvy ▰ Několik kol tam a zpět, potvrzení platnosti validátoru 2⃣ Neinteraktivní důkazy s nulovou znalostí ▰ Dokazovatel potřebuje pouze vygenerovat soubor (důkaz) ▰ Validátoři mohou nezávisle ověřit, když jej dostanou, a není potřeba interakce tam a zpět Tři vlastnosti nátisků ZK ▰ Úplnost Pokud je tvrzení pravdivé, důkaz určitě projde ověřením ▰ Spolehlivost - Spolehlivost Pokud je návrh nepravdivý, nikdo nemůže vytvořit falešný důkaz, který by prošel ověřením ▰ Nulové znalosti - Nulové znalosti Ověřovatelé nemohou odvodit tajné vstupy z důkazů Vzhledem k vlastnostem blockchainu se v podstatě jedná o neinteraktivní důkazy s nulovou znalostí v praktických aplikacích. Neinteraktivní důkazy s nulovou znalostí jsou sebenáhodné výzvy dokazovatele k určení autenticity důkazu. @brevis_zk Studijní poznámky ~