敬请期待
链上功能正在准备中
当前页面为静态展示版本，以下功能将在协议上线后逐步开放。
敬请期待
连接钱包
接入 BNB Chain 钱包，查看持有份额与可领取奖励。
敬请期待
发布问题
锁定 MATH，向社区发布形式化开放问题。
敬请期待
提交证明
上传 Lean 4 形式化证明与 ZK 证明，提交链上验证。
敬请期待
领取奖励
验证通过后自动结算悬赏，长期持有者领取交易奖励。
核心流程
从开放问题到自动奖励
五个步骤，证明者无需等待人工评审，链上验证通过后立即结算。
1
开放问题
项目方与社区发布尚未解决的数学命题，并登记其形式化命题哈希。
2
Lean 4 形式化
证明者用 Lean 4 与 mathlib 严格形式化证明，不使用 sorry 或自定义公理。
3
生成 ZK 证明
通过 Ix 与 Zisk 将类型检查过程压缩为零知识证明。
4
提交上链
智能合约验证 ZK 证明与命题哈希，通过后自动释放悬赏代币。
5
瓜分交易奖励
持有 MATH 的地址按份额持续瓜分协议交易额奖励。
为什么这样设计
数学证明也能成为链上资产
不公开细节，也能让所有人相信证明存在且正确。
保护优先权
证明者只提交 ZK 证明，不必公开证明全文，降低被抢发的风险。
链上可信验证
验证由智能合约完成，不依赖个别专家或机构，结果公开可查。
自动激励
悬赏与释放由合约执行，验证通过即结算，减少人为干预。
持有 MATH
长期参与，持续分享
代币不仅用于悬赏，也连接着生态的长期价值。
1
发布问题
锁定 MATH 即可向社区发布一个形式化开放问题。
2
追加赏金
任何持有者都可以为关心的问题增加悬赏。
3
参与治理
对命题表述、协议参数与金库使用进行投票。
4
瓜分交易奖励
持有足够数量的 MATH，即可按份额持续瓜分协议交易额奖励。
具体奖励资产与参数将在后续版本公布。
想了解完整设计？
白皮书包含形式化证明链路、Flap 孵化机制与代币经济模型。