La plupart des ZKP relèvent de deux catégories : zk-SNARK zk-STARK Nous utilisons zk-STARK, car il est plus sécurisé et a une hypothèse de sécurité minimale. Dans cet article, nous vous expliquons comment nous utilisons zk-STARK pour protéger la confidentialité des utilisateurs tout en prouvant notre solvabilité.Avant de continuer, il est utile de connaître certains termes ZKP de base, comme « circuit », « arbre de Merkle » et « engagements ».

Le système zk-STARK Proof of Reserves (PoR) s’appuie sur la théorie STARK, une solution mathématique complexe. zk-STARK signifie : Zero-Knowledge Scalable Transparent Argument of Knowledge, une technologie de preuve cryptographique basée sur une idée de Vitalik pour faire respecter l’intégrité et la confidentialité des calculs sur les blockchains.