Anoma猜漲跌遊戲最高多少分?
之前搖中過紅球,今天來了次黃球,不知道上面還有嘛?
記得剛接觸零知識證明的時候了解過一個經典遊戲👇
A給盲人B左右手各放置一個球,這倆球除了顏色可能不同以外,其他都相同,包括重量,觸感等。B可以向A提問無數次,但問題不能與顏色有關,問盲人B如何做才能確定這倆球是同色還是不同色?
盲人B可以手背後,讓A看不見他的動作,然後B在背後把雙手的球交換或者不交換都可以,然後在拿到前面來,問A:我交換過球沒有。如果球是不同色,A肯定知道B是否交換過,如果是同色的球,A看不出來是否交換過,很有可能猜錯,這樣反復操作提問多次,只要A答錯一次,就可以確定倆球顏色相同。
遊戲:證明“兩個球異色”而不泄露各自顏色的具體值。 Anoma 中的 ZK 用途:證明“這組意圖與撮合滿足資產守恆+約束”而不泄露內部細節(金額、完整偏好)。
類比映射:
1⃣隱藏值:球的具體顏色 ↔ 帳戶精確餘額 / 意圖內部參數。
2⃣需公開的性質:是否異色 ↔ 撮合合法/餘額充分/約束滿足。
3⃣證明方式:可區分置換(交換是否可見) ↔ 零知識電路的約束可滿足性證明。 核心共同點:只暴露必要的布爾/約束真值,不暴露原始祕密。
Anoma 在真實鏈上用零知識證明把這一思想規模化:僅暴露‘撮合與約束成立’這一性質,而把意圖與資產細節保持私密,從而實現隱私與可驗證性的統一。
查看原文