Manifest 空投：任务与状态

ManifestTrade 是一个基于 Solana 区块链的去中心化交易所（DEX），以成为该生态系统中首个经过形式化验证的 DEX 而闻名。该平台近期上线，强调安全性与可靠性，通过使用形式化验证流程确保其代码按预期运行，在防止资金丢失方面为用户提供更强的保护，并保障交易操作的可用性，从而区别于其他 DEX。

核心特点

• 形式化验证：该平台经过严格验证，以确认其安全机制，包括精确的订单撮合系统和可靠的订单簿数据结构。这一保障水平旨在增强用户在去中心化金融（DeFi）环境中的信任。

• 开源：ManifestTrade 作为一个开源项目运行，允许开发者参与代码开发与优化，并确保所有改进对社区保持开放。

• 零手续费交易：用户可进行免手续费交易，对于希望在不承担中心化交易所常见财务成本的情况下参与 DeFi 交易的用户而言，这是一个具有吸引力的选择。

• 限价订单：该平台支持用户对任意代币下达限价订单，增强流动性，并相较于自动化做市商（AMM）提供更精确的风险管理能力。