Anoma猜涨跌游戏最高多少分?
之前摇中过红球,今天来了次黄球,不知道上面还有嘛?
记得刚接触零知识证明的时候了解过一个经典游戏👇
A给盲人B左右手各放置一个球,这俩球除了颜色可能不同以外,其他都相同,包括重量,触感等。B可以向A提问无数次,但问题不能与颜色有关,问盲人B如何做才能确定这俩球是同色还是不同色?
盲人B可以手背后,让A看不见他的动作,然后B在背后把双手的球交换或者不交换都可以,然后在拿到前面来,问A:我交换过球没有。如果球是不同色,A肯定知道B是否交换过,如果是同色的球,A看不出来是否交换过,很有可能猜错,这样反复操作提问多次,只要A答错一次,就可以确定俩球颜色相同。
游戏:证明“两个球异色”而不泄露各自颜色的具体值。 Anoma 中的 ZK 用途:证明“这组意图与撮合满足资产守恒+约束”而不泄露内部细节(金额、完整偏好)。
类比映射:
1⃣隐藏值:球的具体颜色 ↔ 账户精确余额 / 意图内部参数。
2⃣需公开的性质:是否异色 ↔ 撮合合法/余额充分/约束满足。
3⃣证明方式:可区分置换(交换是否可见) ↔ 零知识电路的约束可满足性证明。 核心共同点:只暴露必要的布尔/约束真值,不暴露原始秘密。
Anoma 在真实链上用零知识证明把这一思想规模化:仅暴露‘撮合与约束成立’这一性质,而把意图与资产细节保持私密,从而实现隐私与可验证性的统一。