De meeste ZKP's vallen in twee categorieën: zk-SNARK zk-STARK Wij gebruiken zk-STARK omdat het veiliger is en een minimale beveiligingsveronderstelling heeft. In dit artikel leggen we uit hoe we zk-STARK gebruiken om de privacy van gebruikers te beschermen en tegelijkertijd onze solvabiliteit aan te tonen.Voordat we verdergaan, is het handig om enkele basisbegrippen van ZKP te begrijpen, zoals Circuit, Merkle-boom en Verbintenissen.