Lighter代码库新增预测市场支持，单次提交涉及88个文件

Lighter 的预测市场从路线图进入代码层。lighter-prover 新增 Binary options support，单次提交 88 个文件、6329 行新增，覆盖交易、行情、持仓、结算与 ZK 电路。2025 年底 TGE 前后，团队已预告手机 App 与预测市场；随后永续/现货 zk circuits 审计开源，创始人暗示图灵完备电路。此次更新意味着二元期权结算也被纳入可验证层。

最易忽略的是改动落在 prover，而非前端或合约接口：预测市场若与永续共用同一 ZK 证明体系，Lighter 将从 Perp DEX 外扩为通用可验证交易引擎，直接对标 Polymarket。LIT 8 月创新高、Q3 回购销毁启动，技术路线与资本叙事正在合流。