Skip to main content

​
Zakaj ZK

Pri mintanju mora stranka dokazati, da pozna 6 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

6 besed → ključ

Iz 6 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

Mint

ZKVerifier preveri dokaz in zmintaj žetone. Commitment se porabi (enkratna uporaba).

​
Uporabljena tehnologija

ElementTehnologija
Vezje (circuit)Circom 2.1.6
Sistem dokazovGroth16 (snarkjs)
Hash funkcijaPoseidon (circomlib)
NaključnostEntropyOracle (block.prevrandao)
Tehnične podrobnosti: Tehnična referenca → ZKVerifier in mint.