十五、接口報錯：51121 Order quantity must be a mult IP le of the lot size. 在 API 中合約下單是以張為單位的，必須是該幣對最小下單數量的倍數，最小下單數量可以通過產品接口：https://www.okx.com/docs-v5/zh/#public-data-rest-api-get-instruments 的minSz 字段獲取。十六、提幣報錯：58207 Withdrawal address is not whitelisted for verification exemption；在提幣頁面關閉了白名單校驗為什麼還是會報錯呢？ 使用 API 接口提幣是必須要在頁面添加提幣地址並勾選免驗證按鈕的，頁面是否關閉白名單校驗並不會影響接口功能。

為了驗證上述三項陳述，我們需要先構建約束條件，例如： **陳述 1：**余額總和約束 (驗證余額總和計算結果是否正確) uts：用戶記錄體量 (user trace size)，即每名用戶的數據記錄表的行數 sum：總用戶余額 N：用戶數量 **陳述 2：非負約束 (驗證總資產是否為正) **陳述 3：包含性約束 (驗證是否所有用戶的資產都已包括在結果之內) 根據上述約束條件，我們創建一個記錄表，透過抽樣檢查來提交和驗證余額總和及非負性。以下是構建記錄表的方法 (舉一個簡單的例子，假設有 3 個用戶，總資產價值小于 4^6 = 4096 USD)： 1. 首先創建一個 32 × 5 的表格，并將用戶的資產價值和 ID 填入第 行，其中 k % 8 = 6，且 。每 8 行是一個區域，用戶資產信息現在在每個區域的倒數第 個位置。假設第一個用戶的余額為 0，因此我們可以將其公佈，證明資產價值總和的計算不是從負值開始的。 2. 將用戶的資產價值逐個累加，將結果填入第 行，此處 k % 8 = 7，且 ，即每個區域的最後一行。 3.