Zakaj ZK
Pri izdaji mora stranka dokazati, da pozna 12 besed (in s tem zasebni ključ), vezane na registrirano sredstvo — ne da bi besede ali ključ razkrila komurkoli, niti verigi. To omogoča dokaz brez razkritja znanja (zero-knowledge).Veriga vidi le dokaz, da stranka pozna pravo skrivnost — nikoli same skrivnosti.
Kako poteka (poenostavljeno)
1
12 besed → ključ
Iz 12 besed se izpelje zasebni ključ (
pk).2
Nonce iz oracle
Iz zadnjega zapisa
EntropyOracle se izračuna nonce.3
Commitment
commitment = Poseidon([pk, nonce]) — to je javni “pečat”, ki ga UORS registrira vnaprej.4
ZK dokaz
Stranka ustvari Groth16 dokaz, da pozna
pk za registriran commitment — brez razkritja pk.5
Izdaja
ZKVerifier preveri dokaz in izda žetone. Commitment se porabi (enkratna uporaba).Uporabljena tehnologija
Tehnične podrobnosti: Tehnična referenca → ZKVerifier in izdaja.