Proof of Solvency(支払い能力証明)は、取引所の準備金が顧客の口座残高の合計額を上回っていることを検証するために、スマートコントラクトに埋め込まれた暗号アルゴリズムを使用しています。このアルゴリズムでは、マークルツリー およびzk-SNARK（ゼロ知識証明）のロジックが実装されており、ブロックチェーン上で一般公開され、第三者によって定期的に監査されています。
あなたのアカウントの口座残高が当社の預り資産の総額であるProof of Liabilities（預り資産の証明）のスマートコントラクトに含まれているかを理解するためには、マークルルートについて説明することが重要となります。
-
各ユーザーは、取引所のProof of Solvencyのページで表示されるマークルルートの値を確認できます。
-
証明が実行されるたびに、マークルルートが生成されます。マークルルートは、証明が実行されるたびに一意の値になります。
-
マークルルートは取引所のすべてのユーザーに対して同じ値です。
-
Liquid JapanのUIで得られるマークルルートを、Solvenscan（Solvenscanウェブサイト）で表示されるマークルルートと、etherscan.io を通じて公開されるEthereumブロックチェーン上のProof of Solvencyで表示されるマークルルートとも比較できます。
取引所における個人の口座残高はマークルートに関連付けられています。
マークルルートの値を簡単に確認する方法は次のとおりです
-
Liquid Japan上のProof of SolvencyのUIで表示されるマークルルートの値をコピーします。
-
"View Solvency Proof on Etherscan"をクリックします。
-
ブロックチェーンに公開されているデータの中からマークルルートの値を探します。
-
Etherscanに表示された証明が、参照しているものと同じマークルルートの値であるかどうかを確認します。