スクエア
最新
注目
ニュース
プロフィール
ポスト
Gateアプリをダウンロードするにはスキャンしてください
その他のダウンロードオプション
今日はこれ以上表示しない
GateUser-e97bae40
2025-08-19 11:20:37
フォロー
Anomaの上昇下落ゲームの最高得点はいくつですか?
以前は赤いボールが当たりましたが、今日は黄色いボールが来ました。まだ他にあるかわかりません。
ゼロ知識証明に初めて触れたとき、クラシックなゲームについて知ったことを覚えています👇
Aは盲人Bの左右の手にそれぞれ1つのボールを置く。この2つのボールは色以外はすべて同じで、重さや触感なども同じである。BはAに無限に質問できるが、質問は色に関するものであってはならない。盲人Bはこの2つのボールが同じ色か異なる色かを確かめるためにどうすればよいかを尋ねる。
盲人Bは手を背中の後ろに隠し、Aには彼の動作が見えないようにします。その後、Bは背中の後ろでボールを交換したり、交換しなかったりして、前に持ってきてAに尋ねます:私はボールを交換しましたか?もしボールの色が異なれば、AはBが交換したかどうかを確実に知っています。しかし、同じ色のボールの場合、Aは交換したかどうかを見分けられず、間違った答えをする可能性が高いです。この操作を繰り返し質問し、Aが一度でも間違えれば、2つのボールの色が同じであることが確定します。
ゲーム:具体的な色の値を漏らさずに「2つのボールが異なる色であること」を証明する。AnomaにおけるZKの用途:「この意図のセットが資産の保存+制約を満たす」ことを内部の詳細(額面、完全な好み)を漏らさずに証明する。
類似のマッピング:
1⃣隠れた値:ボールの具体的な色 ↔ アカウントの正確な残高 / 意図の内部パラメータ。
2⃣公開すべき性質:異色かどうか ↔ マッチングが合法/残高が十分/制約が満たされている。
3⃣証明方法:識別可能な置換(交換が見えるかどうか)↔ ゼロ知識回路の制約充足性証明。 コアの共通点:必要なブール/制約の真偽値のみを露出し、元の秘密は露出しない。
Anomaは、このアイデアを実際のチェーン上のゼロ知識証明で拡張します:「マッチメイキングと制約」の性質のみを公開し、意図と資産の詳細を非公開にすることで、プライバシーと検証可能性の統一を実現します。
ZK
3.09%
原文表示
このページには第三者のコンテンツが含まれている場合があり、情報提供のみを目的としております(表明・保証をするものではありません)。Gateによる見解の支持や、金融・専門的な助言とみなされるべきものではありません。詳細については
免責事項
をご覧ください。
報酬
いいね
コメント
リポスト
共有
コメント
0/400
コメント
コメントなし
トピック
#
Crypto Market Pullback
265k 人気度
#
Jackson Hole Meeting
11k 人気度
#
Gate Alpha ESPORTS Points Airdrop
11k 人気度
#
Institutions Hold 10M+ ETH
23k 人気度
#
MicroStrategy Loosens Stock Rules
19k 人気度
ピン
サイトマップ
Anomaの上昇下落ゲームの最高得点はいくつですか?
以前は赤いボールが当たりましたが、今日は黄色いボールが来ました。まだ他にあるかわかりません。
ゼロ知識証明に初めて触れたとき、クラシックなゲームについて知ったことを覚えています👇
Aは盲人Bの左右の手にそれぞれ1つのボールを置く。この2つのボールは色以外はすべて同じで、重さや触感なども同じである。BはAに無限に質問できるが、質問は色に関するものであってはならない。盲人Bはこの2つのボールが同じ色か異なる色かを確かめるためにどうすればよいかを尋ねる。
盲人Bは手を背中の後ろに隠し、Aには彼の動作が見えないようにします。その後、Bは背中の後ろでボールを交換したり、交換しなかったりして、前に持ってきてAに尋ねます:私はボールを交換しましたか?もしボールの色が異なれば、AはBが交換したかどうかを確実に知っています。しかし、同じ色のボールの場合、Aは交換したかどうかを見分けられず、間違った答えをする可能性が高いです。この操作を繰り返し質問し、Aが一度でも間違えれば、2つのボールの色が同じであることが確定します。
ゲーム:具体的な色の値を漏らさずに「2つのボールが異なる色であること」を証明する。AnomaにおけるZKの用途:「この意図のセットが資産の保存+制約を満たす」ことを内部の詳細(額面、完全な好み)を漏らさずに証明する。
類似のマッピング:
1⃣隠れた値:ボールの具体的な色 ↔ アカウントの正確な残高 / 意図の内部パラメータ。
2⃣公開すべき性質:異色かどうか ↔ マッチングが合法/残高が十分/制約が満たされている。
3⃣証明方法:識別可能な置換(交換が見えるかどうか)↔ ゼロ知識回路の制約充足性証明。 コアの共通点:必要なブール/制約の真偽値のみを露出し、元の秘密は露出しない。
Anomaは、このアイデアを実際のチェーン上のゼロ知識証明で拡張します:「マッチメイキングと制約」の性質のみを公開し、意図と資産の詳細を非公開にすることで、プライバシーと検証可能性の統一を実現します。