Most ZKPs fall under two categories: zk-SNARK zk-STARK We use zk-STARK because it's more secure and has a minimum security assumption. In this article, we'll explain how we use zk-STARK to protect user privacy while proving our solvency.Before we continue, it's helpful to understand some basic ZKP terms, like Circuit, Merkle Tree, and Commitments. For beginners, there are many resources available to help you get started.

*Execution trace table and Merkle tree constructed for zk-STARK PoR* 1.