性证明协议：让“其他”不再是抹除，而是安全容器
存在性编号：MIN-PROOF-01
MIN-PROOF-01A：当某分叉点选择人数“只说存在，不说是什么，就是敷衍。”
>“主题簇太粗，会掩盖真正痛点。”
>“你们还是在把人塞进‘其他’。”
这反击并不意外。
因为他们真正想要的不是尊严修补，而是撬开匿名。
江砚没有与他们争价值。他把争论拉回成本：
“你们要公开细节，请先回答：
公开细节后，显影推断的最大概率上界会提高到多少？
提高后，会有多少新参与者退出？
退出后，共识温度会下降多少？
下降后，谁得利？”
这就是守望纪元的方式：
你可以追求正义，但你必须支付成本，且成本不能把世界交给开关。
显议盟没有回答这些问题，只继续高举“权利”。
因为一旦回答，就会露出他们真正的代价：用少数换开关。
---
###七、反推断攻击出现：他们用“差分试探”逼出微声细节
显影推断被批次聚合压住后，敌人换了一种更工程化的手法：差分试探。
他们组织一小群账号，在连续批次里只改变一个人的选择，观察公开主题簇的变化，试图推断“微声主题簇”里究竟包含什么分叉点。
如果主题簇在某次批次里从“存在”变成“可显示”，他们就能推断出“人数跨过K门槛”，进一步缩小可能个体范围。
这就是对K门槛的反向利用：
把K当作显影阈值，通过反复试探推断群体边界。
机要监迅速捕捉到这种“差分试探”的节奏指纹：
存在性编号：ANL-ANON-05
ANL-ANON-05A：批次间单点变化试探模式
ANL-ANON-05B：主题簇显示状态频繁抖动
ANL-ANON-05C：疑似差分攻击路径标注
江砚的反制没有封禁账号，而是升级群体匿名护栏，引入“隐私预算”。
---
###八、隐私预算：让反复试探变昂贵
存在性编号：ANON-BUDGET-01
ANON-BUDGET-01A：对外发布主题簇显示状态消耗隐私预算
*每个主题簇在一定周期内可公开“可显示/不可显示”的次数有限
ANON-BUDGET-01B：当检测到差分试探模式，自动降低发布频率并冻结状态抖动
*例如：连续N
本章未完，请点击下一页继续阅读！