Preverjalnik kod

#Potek

1. Overitelj pripravi kodo

   Iz 12 besed nastane skrit ključ, iz njega in naključnega števila pa odtis kode (commitment). Overitelj odtis vpiše na verigo in ga veže na eno stvar (registerCommitment).

2. Lastnik ustvari dokaz

   Brskalnik iz 12 besed izračuna ključ in pripravi ZK dokaz (Groth16) — matematično potrdilo, da ključ ustreza odtisu. Besede ne zapustijo brskalnika.

3. Preverjalnik ustvari enote

   verifyAndMint preveri dokaz in ustvari enote v denarnico, ki je dokaz poslala.

#Kaj preveri, preden ustvari enote

• dokaz je veljaven in odtis je vpisan za to stvar,
• koda še ni bila porabljena in stvar je odobrena,
• vrednost v dokazu ni višja od ocene overitelja,
• za to stvar enote še niso nastale — nastanejo lahko samo enkrat,
• sistem ni ustavljen.

Nato lastniku ustvari naročeno število enot, zmanjšano za 0,5 % pristojbine.

#Znane pomanjkljivosti

Za pravo omrežje je predviden neodvisen varnostni pregled.

#Tehnično