为了验证上述三项陈述，我们需要先构建约束条件，例如： **陈述 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，且 即每个区域的最后一行。

尊敬的欧易OKX用户： 欧易OKX上线 KARURA (KAR)，具体时间如下： 1. KAR充值：7月20日19:00 (HKT) 2. KAR/USDT的市场交易：7月20日20:00 (HKT) 3. KAR提现：7月22日18:00 (HKT) 开盘保护：欧易OKX将在开盘后限制用户买入金额，开盘后1小时内限额$5,000，1小时后限额提升至$10,000，1小时30分提升至$20,000，2小时30分后取消限额。 Karura 作为 Kusama 一站式 DeFi 中心，为 Kusama 生态带来一系列开箱即用的 DeFi 产品，如超额抵押的去中心化借贷体系，基于自动做市商机制的 DEX 以及释放 KSM staking 流动性产品 LKSM。除此之外，Karura 还添加了兼容以太坊 EVM 的智能合约模块，方便开发者基于 Karura 开发相关 DeFi DApps。

本次涉及的具体交易对如下所示： XETA/USDT、KAR/USDT、HC/USDT、VSYS/USDT。 执行时间：欧易平台将于 2024 年 4 月 12 日下午 4:00 ~ 4:30 (UTC+8) 正式下线以上交易对。有以上币对交易对挂单的用户，请于 2024 年 4 月 12 日下午 4:00 (UTC+8) 之前撤单。如未能及时撤单，挂单系统将自动为您执行。撤单可能需要 1 ~ 3天。 暂停充币：欧易已于 2024 年 4 月 4 日下午 4:00 (UTC+8) 暂停上述币种 XETA、KAR、HC、VSYS 的充值操作，后续将不再开放。如果您有以上相关资产，请及时处理您的资产。币种下线完成后，您可以通过“资产 > 资金账户 > 不可交易资产”查询相关资产。 暂停提币：币种 XETA、KAR、HC、VSYS 提现将在 2024 年 6 月 12 日下午 4:00 (UTC+8) 暂停，后续不再支持，请于 2024 年 6 月 12 日下午 4:00 (UTC+8) 前处理您的资产，以免造成资产损失。

尊敬的欧易OKX用户： 欧易OKX上线 S.Finance (SFG)， 具体时间如下： 1. SFG充值：9月29日 16:00 (HKT) 2. SFG/USDT的市场交易：9月29日 16:00 (HKT) SFG/ETH的市场交易：9月29日 17:00 (HKT) 3. SFG提现：9月29日 22:00 (HKT) 更多详情：S.Finance (SFG) 欧易OKX温馨提示，数字资产是创新型投资品，价格波动较大，具有较高的投资风险。投资前望您对数字资产充分认知，理性判断投资能力，审慎做出投资决策。 欧易OKX将持续为您提供更优秀的产品和更优质的服务！ 欧易OKX 2020年9月29日 (HKT) 【点击下载欧易OKX APP】>>> 【点击进入欧易OKX 官方微博】>>> 【点击进入欧易OKX 官方社群】>>>

合约类型 最终结算价格S和执行价格K关系 实值/平值/虚值 看涨期权 S>K 实值 SK 虚值 S=K 平值 2、欧易OKX的期权合约 合约类型 看涨和看跌 行权方式 欧式 合约到期日 当日、次日、第三日、第四日、 当周、次周、第三周、 月度、双月、第三、 季度、次季度、第三季度 详见期权到期日生成规则 合约标的 BTC/USD指数 ETH/USD指数 合约面值 1 BTC 1 ETH 合约乘数 0.01 0.1 结算货币 BTC ETH 最小报价单位 价格小于0.005BTC或ETH的期权：0.0001 BTC或ETH 其他：0.0005 BTC或ETH 标记价格 由欧易OKX使用Black模型决定，且实时更新 隐含波动率从OKX期权报价推导得出 开始时间 下午4点半（UTC+8) 交割时间 到期日下午4点（UTC+8） 交割价格 到期日下午3点到4点的标的指数的时间加权平均； 指数价格每200ms更新一次 详见期权交割价格 交割方式 现金交割 交易时间 7x24小时 交易费用 详见手续费率 期权合约命名规则 期权合约以“标的-到期时间-执行价格-类型”进行命名 限价 详见限价 限仓

尊敬的欧易用户： “T+N买币保护”功能是为了平台安全及用户的资金安全，对买币用户进行N天限制卖出和提出的安全保护功能，限制时间内，不影响用户正常的币币交易、金融服务等其他业务。 为优化用户交易体验，欧易将于2023年7月18日 18:00 (HKT) 对 C2C “T+N买币保护” 功能进行迭代，届时买币限制将由原先的限制“1天，7天，15天”内禁止卖出和提出，调整为“1天，3天，7天”内禁止卖出和提出。 欧易将持续为您提供更优秀的产品和更优质的服务！ 欧易团队 2023 年 7 月 18 日 (UTC+8)

英文全称：Solayer 英文简称：LAYER 发行总量：1,000,000,000 合约地址：LAYER4xPpTCb3QL8S9u41EAhAX7mhBn8Q6xMTwY2Yzc 查看 Solayer 价格: https://my.okx.com/price/solayer-layer 欧易将持续为您提供更优秀的产品和更优质的服务！ 欧易团队 2025 年 4 月 25 日

L/S】并根据个人的偏好设置细节。 3.在App 端，您可以点击交易，在 K 线图页面，点击上方的【数据】按钮，即可查看【账户多空比例】。 欲知更多交易图表的资讯，请查阅：如何使用交易图表

尊敬的欧易用户： 为提高欧易 C2C交易安全性，平台已于香港时间2022年2月7日 17：00上线C2C T+N安全保护功能： 该功能对平台全量用户（包括平台认证/钻石商家）有效，即所有通过C2C交易买入的等额资产需等待“T+N”日后才能提币或通过C2C交易卖出，但不影响其他交易及金融服务； 关于“T+N”安全保护功能 本次“T+N”安全保护功能是指用户在平台通过C2C交易主动吃单买币后，平台风控系统将综合评估买方交易行为，并对买方该笔交易的等额资产进行限时限制提币或通过C2C交易卖出，但不影响其他交易及金融服务。 例如：用户账户中原有3,000个USDT，用户又通过自选区或快捷区购买了1,000个USDT，则实际受到限制的资产额度是“1,000个USDT”等额的加密资产。 用户在“T+N”日之内实际可以提走3,000USDT。在该案例中，执行提币或者卖币操作的前提是需要确保剩余的资产价值不低于1,000个USDT。 T+N安全保护功能，能有效避免因风险资金流入带来的用户财产损失，更有效的保障平台用户资产安全。

L/S】并根据个人的偏好设置细节。 3.在App 端，您可以点击交易，在 K 线图页面，点击上方的【数据】按钮，即可查看【账户多空比例】。 欲知更多交易图表的资讯，请查阅：如何使用交易图表

尊敬的欧易OKX用户： 为了提升服务质量，进一步优化交易体验，欧易OKX于2021年4月18日22:00-22:10 (HKT) 进行永续合约系统升级。如遇行情波动可能会延迟维护或取消维护，届时会另行通知。 期间欧易OKX部分服务可能会受到影响，包括： 经典账户永续合约暂停交易（包括WEB、APP、API服务） 统一账户币币、杠杆、交割、永续、期权合约暂停交易（包括WEB、APP、API服务） 升级期间，以上业务的行情更新、下单、撤单、资金划转等功能受影响。升级期间，您可以正常访问欧易OKX，其他业务线的正常交易不受影响，并且您的资产安全不受影响。请您耐心等待。 预计升级将持续10分钟左右。我们将在维护完成后第一时间发布公告通知。您也可以通过加入官方社群，或咨询在线客服等方式关注最新进展。 给您带来的不便，敬请谅解！感谢您的支持和理解！ 欧易OKX将持续为您提供更优秀的产品和更优质的服务！ 欧易OKX团队 2021年4月18日(HKT) 【点击下载欧易OKX APP】>>> 【点击进入欧易OKX 官方社群】>>>

尊敬的欧易用户： 为提升跨期对冲交易者的资金率利用率，欧易计划于 2024 年 5 月 11 日下午 4:00 (UTC+8) 调整组合保证金模式下的基差风险因子 (MR4) 参数。具体修改内容如下： 币种 调整前：最大基差波动乘数 调整后：最大基差波动乘数 BTC、ETH 30% 10% MR4：基差风险评估标的相同、到期日不同的交割合约其价格的波动；到期日远的交割合约可能比到期日近的价格波动大。 您可以于 5. 投资组合保证金账户: 全仓交易规则产品文档查看相关维持保证金规则。 欧易团队 2024 年 5 月 10 日

尊敬的欧易用户： 为提升跨期对冲交易者的资金率利用率，欧易计划于2023年 7月12日 下午4:30 (UTC+8)调整组合保证金模式中的 基差风险因子（MR4） 的参数。具体修改内容如下： 币种 调整前——远期合约的最大变动 调整后——远期合约的最大变动 BTC， ETH 1.5% 0.6% LTC、BCH、EOS、OKB、DOT、BSV、LINK、FIL、ADA、TRX、UNI、XRP 2% 0.8% 其他 2.5% 1% 基差风险因子（MR4）: 衡量远期价格或基差变化对投资组合风险的影响。 维持保证金规则可以于5. 投资组合保证金账户: 全仓交易规则网页查看。 欧易团队 2023年 7月7日

具体下线计划如下： 杠杆币对 停止借币功能 下线时间 KAR-USDT 2023 年 1 月 13 日 14:00 (HKT) 2023 年 1 月 16 日 14:00 (HKT) VSYS-USDT VSYS-BTC 2023 年 1 月 16 日 16:00 (HKT) WNCG-USDT 2023 年 1 月 16 日 18:00 (HKT) HC-USDT HC-BTC 2023 年 1 月 17 日 14:00 (HKT) LAMB-USDT 2023 年 1 月 17 日 16:00 (HKT) NAS-USDT NAS-BTC 2023 年 1 月 17 日 18:00 (HKT) 欧易将于上述下线时间暂停相关币对的杠杆交易及活期借贷服务，并撤销杠杆交易市场订单。在上述杠杆交易对或活期借贷中有借币/质押的用户，请务必在该杠杆币对下线前进行还币，如果届时未归还借币，将触发系统强制还币。 风险提示：行情波动较大，建议用户在停止交易前自行平仓，以免在系统强制还币时造成亏损。

（如币币下单限速从100次/2s下调至80次/2s），并在此后持续每周下调20%，直至整体下降到当前限速的20%为止。 附：《V5 API 功能升级与优势》 三、经典账户手续费及限仓调整 除上述规则调整外，我们未来可能对经典账户交易手续费及限仓规则进行调整。包括：所有等级用户手续费率上调，所有梯度档位上限下调等。具体实施情况以后续落实公告为准。 请仍在使用经典账户的用户尽快迁移至统一交易账户。对于仍在使用V3 API的量化用户，尽快迁移至V5 API，以免对您的交易产生影响。 同时，欢迎各位客户对欧易OKX统一账户提出进一步的优化建议，您可直接通过客服、社群、客户经理等方式直接与我们反馈。我们会珍惜每一位客户的声音，不断将统一账户交易体验优化到极致。 欧易OKX将持续为您提供更加优质的产品及服务 欧易OKX团队 2021年9月2日（HKT）