验证与反女巫

🛡 验证与反女巫

由于 PoC 能产生代币奖励，必须有严密的防作弊机制，

📝定义一个有效的 PoC 事件 $E_{poc}$ 为：

$$E_{poc} = \{ ID_A, ID_B, t, loc_{hash}, \sigma_A, \sigma_B, N \}$$

✅验证函数 $\text{Verify}(E_{poc})$ 必须满足：

$$Verify(E_{poc}) = \begin{cases} 1(True), & \text{if } RSSI \ge \delta_{proximity} \\ & \land \ |t_{now} - t_{stamp}| \le \Delta_{validity} \\ & \land \ VerifySig(ID_A, m, \sigma_A) \\ & \land \ VerifySig(ID_B, m, \sigma_B) \\ & \land \ N \notin History_{nonce} \\ 0(False), & \text{otherwise} \end{cases}$$

🤖 反女巫机制 (Anti-Sybil)

1. 熵值校验：真实的物理 RSSI 信号总是存在微小波动。节点分析信号方差，拒绝“过于稳定”的模拟连接。

2. 真人活体检测：关键操作需通过摄像头进行 Liveness Check。

3. 图论分析：识别孤立的僵尸网络集群 (Clique)。

🕵️‍♀️ ZK-SNARKs 隐私保护（点击展开）

虽然 PoC 需要验证“A 和 B 在同一地点”，但这并不意味着必须公开“在哪里”。

Butterfly 引入 ZK-SNARKs。用户只需提交证明 $\pi$，证明其满足 $\text{RSSI}$和时间戳约束，而无需在链上公开原始$GPS$ 坐标。