Pojďme vysvětlit ZK: 📚 ZK znamená Zero Knowledge a odemyká dvě superschopnosti: Soukromí a Rozsah. ZK je mi blízký, jak jako spoluvynálezce ZK-STARK, tak jako spoluzakladatel dvou projektů ZK: @Zcash (zaměřený na soukromí) a @StarkWareLtd (zaměřený na škálování a nyní na soukromí)

@Zcash @StarkWareLtd Jak funguje ZK? Existují dva typy subjektů: Ověřovatel a Ověřovatel Dokazovatel odvádí těžkou práci: - Registrace dat ze všech přenosů - Zpracování dat - Aktualizace stavu systému (tedy zůstatek po všech poplatcích) - Generování aktualizace stavu a důkazu

@Zcash @StarkWareLtd Typické prohlášení prokurátora říká: "Já, prověřitel, jsem začal se stavem A, zpracoval 1 000 000 txů a na základě toho jsem dosáhl stav B". Důkaz je posloupnost čísel a hashů, kterou lze zkontrolovat, aby se prokázala integrita celého tvrzení.

@Zcash @StarkWareLtd Verifier (který obvykle sedí onchain) kontroluje důkaz pomocí matematiky a kryptografie, aby ověřil, zda je tvrzení pravdivé, než je přijato. Věty, které jsme v průběhu let dokázali, říkají, že ověřovatel vždy přijímá pravdivá tvrzení a nikdy nepřijímá nepravdivá tvrzení.

@Zcash @StarkWareLtd Zlomyslný Prover, který by se mohl pokusit přesvědčit Ověřovatele, aby přijal nepravdivé tvrzení, musí udělat podobnou práci jako nalezení kolize v kryptografické hashovací funkciji, což nelze udělat dříve, než naše Slunce ochladne.

@Zcash @StarkWareLtd Proč je ZK dobrý pro soukromí? Ověřovatel nekontroluje správnost tvrzení zpracováním dat, která potvrzuje. Proto lze data ověřit jako platná, když jsou skryta před ověřovatelem.

@Zcash @StarkWareLtd Proč je ZK dobrý pro škálování? Ověřovatel nemusí opakovat výpočty, které provedl Prover. Ověřenec může zpracovat 1 milion transakcí, ale ověřovatel to nemusí opakovat, aby ověřil správnost všech těchto transakcí. Ověření důkazu bude stačit k ověření jejich platnosti.