暗号学、外圧には分からないだろうな………と、思いつつ、少しは説明責任があると思う。
ダークトピアに関してはジャン＝ジャック・キスケータらの論文「我が子にゼロ知識証明をどう教えるか(How to Explain Zero-Knowledge Protocols to Your Children)」で紹介されているのが、この洞窟の問題の例である。ここで、証明者はP(Prover)、検証者はV(Verifier)と略すのが一般的なのでこれを用いて説明する。
なお健全性よりも強い知識健全性（knowledge soundness）とよばれる性質が用いられる場合もあり、この性質は「検証者が証明を受理したならば、証明者にオラクルアクセスすることで高確率で命題に対応する証拠を抽出できる（つまり証明者の秘密を取り出せる）効率的なアルゴリズムが存在する」ことを保証する。健全性を知識健全性に置き換えた場合は知識のゼロ知識証明（zero-knowledge proof of knowledge）と呼ばれる。
《神人類しんじんるい ヨミ》
神人類 ヨミ VIC 無色 (8)
クリーチャー：ゴッド・ノヴァ/オラクル 12000+
このクリーチャーを召喚してバトルゾーンに出した時、カードを3枚まで引いてもよい。
T・ブレイカー
中央G・リンク（このクリーチャーまたは自分の他のゴッドをバトルゾーンに出す時、自分の好きな数のゴッドからカードを1枚ずつリンクを外してもよい。その後、このクリーチャーを「右G・リンク」または「左G・リンク」とあるゴッドにリンクしてもよい）
このクリーチャーがカード3枚でリンクしていれば、自分のシールドはブレイクされない。
DMR-09 「エピソード3スリー レイジVSアゲインストゴッド」
PREV：DMR-08 「エピソード2 グレイト・ミラクル」
NEXT：DMR-10 「エピソード3 デッド＆ビート」
エピソード3最初のエキスパンション。「レイジ・アゲインスト・ゴッド」と読む。
2013年6月22日発売。1パック5枚入りで価格は150円（税抜）。全122種類。現在は絶版。
トルーディー (Trudy) は、侵入者 (intruder) で、マロリーの代わりに使う。
スティーブ (Steve) は、電子透かし (Steganography) で参照される。
スティーブ - Minecraftのプレイヤーキャラクターの初期スキンの1つ。
パット (Pat)、ペギー (Peggy) は、証明者 (prover) で、ビクター (Victor) は、検証者 (verifier) であり、意図したトランザクションが実際に行われたことを示すため、相互作用を行う。しばしばゼロ知識証明に登場する。
ビクター (Victor)はウォークマンみたいなのもある。
Pat - 英語圏の人名。「Patrick（パトリック）」「Patricia（パトリシア）」の愛称の一つ。
つまり、パトリック・コーラサワー - テレビアニメ『機動戦士ガンダム00』の登場人物。機動戦士ガンダム00の登場人物#パトリック・コーラサワーを参照。
パトリック・ザラ - テレビアニメ『機動戦士ガンダムSEED』の登場人物。機動戦士ガンダムSEEDの登場人物#パトリック・ザラを参照。
パトリック・ブーン - テレビアニメ『機動戦士Vガンダム』の登場人物。機動戦士Vガンダムの登場人物#パトリック・ブーンを参照。
パトリック・ジェーン - 海外ドラマ『メンタリスト (テレビドラマ)』の登場人物。
パトリック - テレビアニメ『シャドーハウス』の登場人物。
も該当する。
イヴァン (Ivan) は 発行者 (issuer) である。
盗聴者 (eavesdropper) のイブ (Eve) は、たいてい受動的な攻撃者である。この人は、アリスとボブのメッセージを立ち聞きするが、改竄(かいざん)はしない。量子暗号では、環境 (environment) をあらわす。
キャロル (Carol) やチャーリー (Charlie) は、通信における第3の当事者である。
デイヴ (Dave) は、第4の当事者であり、以下同様にエレン (Ellen)、フランク (Frank) と続く。
炎の少女チャーリー - 1984年のアメリカのホラー映画。スティーヴン・キング原作『ファイアスターター (Firestarter)』の映画化作品。
チャーリー - 1992年製作のアメリカ映画。
チャーリーとチョコレート工場 - 2005年製作のアメリカのミュージカル・ファンタジー映画。ロアルド・ダール原作『チョコレート工場の秘密』の映画化作品。
チャーリー・モルデカイ 華麗なる名画の秘密 - 2015年製作のアクションコメディ映画。
エレンは進撃の巨人からにして。
フランクはメンインブラックのだ。
ウォルター (Walter) は、 見張り番 (warden) で、プロトコルにしたがって、アリスやボブを監視する人のために必要なことがある。
ウォルター・C・ドルネーズ
マロリー (Mallory) は、邪悪な攻撃者 (malicious attacker) である。イブと異なり、メッセージを自分のものと入れ替えたり、再送攻撃したりする。マーヴィン (Marvin)、 マレット (Mallet) も同様に使われる。
トレント (Trent) は、信頼された調停者 (trusted arbitrator) で、中立の第三者であり、議論しているプロトコルにしたがって、実際の役目は異なる。
トレント・シングルトン
https://youtu.be/hgRf20HFtfQジョン・トレント - マウス・オブ・マッドネスの登場人物
マロリー (Mallory) は、邪悪な攻撃者 (malicious attacker) である。イブと異なり、メッセージを自分のものと入れ替えたり、再送攻撃したりする。マーヴィン (Marvin)、 マレット (Mallet) も同様に使われる。
アイザック (Isaac) は、インターネットサービスプロバイダ (ISP) である。
これは流血刀では作中、逆真言みたいになってるのでアイザック・ネテロではなく、ゼノ・ゾルディックと訳そう。
ゾーイ (Zoe) は、暗号プロトコルの最後の当事者である。
デデデ大王もゾーイって言うよね。