The ZK-STARK proves three things: the user identity commitment exists in a Merkle tree, refund tickets are valid and correctly summed, and the total potential spending does not exceed the deposit plus refunds. This ensures solvency while keeping the user anonymous. ZK-STARK 证明三件事:用户身份承诺在 Merkle 树中、退款票据签名有效并正确求和、以及当前请求的最大花费不超过存款和退款之和。这保证用户有足够余额,同时保持匿名。 ZK-STARKは以下の3点を証明します。ユーザーのアイデンティティコミットメントがマークルツリー内に存在すること、リファンドチケットが有効であり正しく合計されていること、そして総潜在支出額がデポジットとリファンド額を超えていないことです。これにより、ユーザーを匿名に保ちながら支払い能力(solvency)を保証します。