為了驗證上述三項陳述，我們需要先構建約束條件，例如： **陳述 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.

OKX 交易所將於 2024 年 4 月 24 日凌晨 2:00 (UTC+8) 升級聊天功能。 預計耗時約 2 小時。 請留意此次升級對 C2C 交易產生的影響。 升級對 C2C 交易會產生什麼影響？ 1. 凌晨 2:00 至 4:00 (UTC+8)期間，您將無法下達任何新的 C2C 訂單。 凌晨 2:00 (UTC+8) 之前下達的現有訂單不會受到影響。 但如果您在凌晨 4:00 (UTC+8) 後未將應用程式更新至最新版本，所有 C2C 服務均將受到限制。 2. 如果升級後 C2C 訂單仍在進行中，所有文字訊息、照片和影片等 相關聊天記錄將被刪除。 如果您需要獲取聊天記錄，請提交申訴或幫助工單，我們的客服團隊會為您提供幫助。 我需要做什麼？ 1. 請於 2024 年 4 月 24 日凌晨 2:00 (UTC+8) 後將您的應用程式更新至最新版本。 2. 由於升級前的所有聊天記錄均會被刪除，請事先截圖留證。 3. 請盡量在升級前完成所有正在進行中的 C2C 訂單。 同時避免在升級即將開始前下達新的 C2C 訂單，尤其避免透過非即時支付方式下單。

英文全稱：SynFutures 英文簡稱：F 項目官網：https://www.synfutures.com/ 推特：https://x.com/synfuturesdefi 合約要素 詳情 合約標的 （Underlying） F/USDT 指數 結算貨幣 （Settlement crypto） USDT 合約面值 (Face value) 100 報價單位 （Price quotation） 按照 1 F 的 USDT 價格進行報價 槓桿倍數 （Leverage） 0.01 ~ 50x 資金費率 (Funding rate) clamp [平均溢價指數 + clamp (利率 – 平均溢價指數, 0.05%, -0.05%), 1.50%, -1.50%] 平均溢價指數和利率計算，詳情可參考產品文檔 資金費用結算週期 (Funding fee settlement interval) 4 小時 交易時間 （Trading hours） 7×24 小時 OKX 將持續為您提供更優秀的產品和更優質的服務！ OKX 團隊 2025 年 10 月 25 日

合約類型 最終結算價格S和執行價格K關係 實值/平值/虛值 看漲期權 S>K 實值 S < td=""> 虛值 <> S=K 平值 看跌期權 S < td=""> 實值 <> S>K 虛值 S=K 平值 c) 期權的買方和賣方，都可以選擇在到期前平倉，也可以一直持有至到期日。 2、OKX 的期權合約 1. OKX 的期權合約是 OKX 推出的以BTC、ETH、SOL等幣種進行結算的期權合約產品。一張BTCUSD期權合約代表0.01個BTC，一張ETHUSD期權合約代表0.1個ETH，一張SOLUSD期權合約代表1個SOL。投資者可以付出期權費買入看漲或看跌期權合約，鎖定合約到期時買入或賣出標的資產的價格；也可以賣出期權合約，獲得期權費的即時收益，同時承擔合約到期時按照約定價格賣出或買入事先約定的定量標的資產的義務。期權合約到期前，期權交易雙方都可提前平倉，提前解除自己的權利或義務。

什麼是 T+N 安全保護？ T+N 安全保護功能是指您在平台通過 C2C 買幣時，平台風控系統會綜合評估您的交易風險，對您該筆交易的等額資產進行 N 天限制提幣及 C2C 賣出，但此功能不影響您在平臺的其他交易及金融服務。2. 為什麼設置安全保護功能？ T+N 安全保護功能，能有效避免因風險資金流入帶來的雙方財產損失，保障平臺用戶資產安全。 對部分使用者執行超過 24 小時甚至更長時間的限制，則是基於平臺精細化風控運營設置，最大限度勸退風險資金流入平臺，降低銀行帳戶被凍結風險，減少使用者資金風險。3. 我如何知道當前訂單是否為 T+N 訂單？ 從買幣開始到訂單結束，頁面一共會有三次提醒。 第一次是下單的時候，第二次是生成訂單待付款的時候，第三次是等待賣家確認時。 如果您不想交易被鎖定的買幣訂單，可以選擇取消該筆交易。 平臺風控系統將綜合評估您交易等行為，限制 1 天、3 天、7 天、15 天 或 30 天賣出及提幣（具體請您以頁面顯示爲準）。 注：如果沒有提示觸發 T+N 安全保護，您可以立即賣出或提幣4. 當我觸發 T+N 安全保護時，我該怎麼辦？

2月-J、3月-K、4月-M、5月-N、6月-Q、7月-U、8月-V、9月-X、10月-Z、11月-F、12月-G。

英文全稱：Prompt 英文簡稱：PROMPT 發行總量：1,000,000,000 合約地址： 0x28d38dF637dB75533bD3F71426F3410a82041544 (ETH) 0x30c7235866872213F68cb1F08c37Cb9eCCB93452 (BASE) 查看 Prompt 價格: https://www.okx.com/price/prompt-prompt 充入 USDT 立即充币，為 PROMPT/USDT 現貨交易做好準備： OKX 將持續為您提供更優秀的產品和更優質的服務！ OKX 團隊 2025 年 4 月 9 日

英文全稱：Zama 英文簡稱：ZAMA 合約地址：ETH鏈（0xa12cc123ba206d4031d1c7f6223d1c2ec249f4f3） 查看 ZAMA 價格: https://www.okx.com/price/zama-zama 現貨開盤風控規則 限價規則： 當新幣上線後，若指數價格不存在或不穩定，平臺將採用基於收盤價的限價規則。當該幣對有穩定的指數價格時，平臺將啟用基於指數的限價機制。 在新幣完成集合競價後起算的前 5 分鐘內，平臺將暫不支持市價單委託；在該時段內提交的市價單將會委託失敗。

英文全稱：Solayer 英文簡稱：LAYER 發行總量：1,000,000,000 合約地址：LAYER4xPpTCb3QL8S9u41EAhAX7mhBn8Q6xMTwY2Yzc 查看 Solayer 價格: https://www.okx.com/price/solayer-layer充入 USDT 立即充币，為 LAYER/USDT 現貨交易做好準備： OKX 將持續為您提供更優秀的產品和更優質的服務！ OKX 團隊 2025 年 4 月 25 日

首批是 5 個 DApp，分別是 Eddy Finance，zKMe，Desig，Project Twelve 和 LENX Eddy Finance ：在 Eddy Finance 的 DEX 上完成一筆交易 zKMe ：驗證你的 ZetaSocial Score 並鑄造專屬 Omni NFT Desig ：看視頻並正確回答 5 個問題中的至少 3 個 Project Twelve ：在 P12 Arcana 中鑄造一個 P12 x Zetachain 限定造星人 NFT LENX ：1）從 LENX Discord 水龍頭中獲取 BTC test token；2）將獲取的 BTC test token 在 LENX 中抵押並借出 ETH test token 注意： (1) 建議你及時驗證任務，已完成交互但未驗證的任務，將無法獲得潛在獎勵； (2) 由於單個任務驗證需至少 10 分鐘，請勿在活動即將結束時做驗證，避免因數據上鍊延遲而導致的失敗； (3) OKX 保留排除任何參與者參與此活動和/或無需事先通知取消此活動的權利。獎勵需參與者遵守條款和條件，並不保證獲得。

首批是 5 個 DApp，分別是 Eddy Finance，zKMe，Desig，Project Twelve 和 LENX Eddy Finance ：在 Eddy Finance 的 DEX 上完成一筆交易 zKMe ：驗證你的 ZetaSocial Score 並鑄造專屬 Omni NFT Desig ：看視頻並正確回答 5 個問題中的至少 3 個 Project Twelve ：在 P12 Arcana 中鑄造一個 P12 x Zetachain 限定造星人 NFT LENX ：1）從 LENX Discord 水龍頭中獲取 BTC test token；2）將獲取的 BTC test token 在 LENX 中抵押並借出 ETH test token 注意： (1) 建議你及時驗證任務，已完成交互但未驗證的任務，將無法獲得潛在獎勵； (2) 由於單個任務驗證需至少 10 分鐘，請勿在活動即將結束時做驗證，避免因數據上鍊延遲而導致的失敗； (3) OKX 保留排除任何參與者參與此活動和/或無需事先通知取消此活動的權利。獎勵需參與者遵守條款和條件，並不保證獲得。

英文全稱：Particle Network 英文簡稱：PARTI 發行總量：1,000,000,000 合約地址：0x59264f02D301281f3393e1385c0aEFd446Eb0F00 查看 Particle Network 價格: https://www.okx.com/price/particle-network-parti充入 USDT 立即充币，為 PARTI/USDT 現貨交易做好準備： OKX 將持續為您提供更優秀的產品和更優質的服務！ OKX 團隊 2025 年 3 月 24 日

OKX 會使用提前掛單結束時的指數價格作為K線的起始點。 項目介紹 Virtuals Protocol(VIRTUAL)是一個由高效的人工智能代理組成的社會，每個代理都旨在生成服務或產品並自主參與鏈上商業活動。 英文全稱：Virtuals Protocol 英文簡稱：VIRTUAL 合約地址： Base Chain (0x0b3e328455c4059EEb9e3f84b5543F74E24e7E1b) 查看VIRTUAL價格: https://www.okx.com/zh-hans/price/virtuals-protocol-virtual 充入 USDT 立即充幣，為 VIRTUAL/USDT 現貨交易做好準備： OKX 將持續為您提供更優秀的產品和更優質的服務！ OKX 團隊 2025 年 10 月 28 日

項目介紹 USAT 是由 Tether 與 Anchorage Digital Bank N.A. 合作發行的受聯邦監管、適用於 GENIUS ACT 的穩定幣。 英文全稱：USAT 英文簡稱：USAT 合約地址：ETH鏈（0x07041776f5007ACa2A54844F50503a18A72A8b68） 查看 USAT 價格: https://www.okx.com/price/usat-usat充入 USDT 立即充幣，為 USAT/USDT 現貨交易做好準備： OKX 將持續為您提供更優秀的產品和更優質的服務！ OKX 團隊 2026 年 01 月 27 日

英文全稱：Allora 英文簡稱：ALLO 合約地址： Ethereum Chain (0x8408D45b61f5823298F19a09B53b7339c0280489) 查看 ALLO 價格: https://www.okx.com/price/allora-allo充入 USDT 立即充幣，為 ALLO/USDT 現貨交易做好準備： OKX 將持續為您提供更優秀的產品和更優質的服務！ OKX 團隊 2025 年 11 月 11 日