Zero-Knowledge Proofs: what are zk-STARKs and how do they work? (zk-STARK V1)
For example, in Figure 1, the user with an id of id_k will calculate hashk = hash("20" + "15" + "5" + "id_k" + "99821"), and the other data in the red square frame will be the Merkle path verification. An open source tool is provided for users to do this verification. Since the leaves of the Merkle tree are hashes, none of your private information will be leaked to others.How do I verify? 1.
Published on May 10, 2023Updated on Sep 8, 2025181