第八步：用戶驗證包含性證明 用戶可以檢查他們的余額、ID，計算與他們序號對應數據的哈希值，并使用默克爾路徑驗證葉子節點上的哈希值。2. 如何 自行驗證 儲備金證明？ 2.1 驗證 zk-STARK 包含性約束 驗證理論 按照 STARK 程序，我們將計算所有用戶資產的執行記錄表，并將每個用戶的信息加密生成哈希值記錄表，作為默克爾樹的葉子節點，然後將葉子節點提交到將在每輪儲備金證明中公佈的默克爾樹根中。 為了驗證您的資產是否包含在樹根中，我們將為您提供默克爾路徑進行驗證。您可以透過將您的資產信息加密生成哈希值來計算您的葉子節點，然後驗證您的葉子節點是否是 OKX 公佈的默克爾樹根的有效葉子節點。 例如，在圖 1 中，ID 為 id_k 的用戶將計算 hashk = hash("20" + "15" + "5" + "id_k" + "99821")，紅色方框中的其他數據將是默克爾路徑驗證，用戶可以透過 OKX 提供的開源工具進行此驗證。 由于默克爾數據樹的葉子節點是經過加密生成的哈希值，您的任何私人信息都不會洩露給他人。 如何驗證： 1.

四、保持哪些優良習慣，可以最大限度的避免觸發風控？ OKX 有嚴格且完善的風控標準，您只需要嚴格遵守平臺 C2C 交易相關規則即可，在 OKX 交易過程中，避免有不當的交易行為，比如幫助他人代買幣、提幣賭博、場外交易，或協助網絡非法分子進行高危交易的行為。 OKX C2C風控處罰實施細則 如何預防資金盤、代買幣、跑分等違法犯罪行為？

我們使用每個用戶賬戶的哈希作為葉子創建一個默克爾樹。每個賬戶都顯示各種代幣（例如，BTC，ETH）的USD餘額。為了處理這些餘額，我們將其餘額分成每個代幣的非負股權和債務。這樣，我們只使用正數，更容易處理計算和避免錯誤。 例如： 如果用戶的BTC代幣餘額為 A，則其 BTC 權益為 A，BTC債務為 0。 如果一個用戶的ETH代幣餘額是 - B，它對應的權益是 0，債務是 B。 接下來，我們將這些賬戶值作為葉子構建一個 Merkle 樹。樹的根充當代表所有用戶餘額的單個值。每個用戶都可以通過使用顯示他們的賬戶如何連接到根的 Merkle 路徑來證明他們的賬戶是這棵樹的一部分。 我們還發佈所有用戶所有代幣的總資產和債務總和。然後，我們創建一個零知識證明（ZKP）來顯示兩件事情： 求和證明： 默克爾樹中的資產和債務價值正確相加 非負證明： 每個用戶的總資產大於他們的總債務 當我們試圖驗證大量賬戶的默克爾樹時，有限的計算資源無法一次整理一整顆樹。為了克服這一挑戰，我們將賬戶分成稱為批次的較小組。每個批次都使用批次電路單獨處理，該電路檢查默克爾樹的底部。