Quantum Draw · IBM Quantum
IBM の量子コンピュータが出したビットで抽選します。 普通の乱数は種から計算されるので、種を知っている人には結果が分かっています。 量子の測定結果は、測る前のどんな変数からも決まっていません。 結果は証書として共有でき、誰でも検算できます。
ここに書いたものは、証書に載って公開されます。 本名や連絡先は入れないでください。X の ID や、ニックネームがおすすめです。
普通のコンピュータの乱数は、種(シード)から計算された数列です。 同じ種を入れれば、同じ数列が何度でも出てきます。便利ですが、裏を返すと 種を持っている人には、結果が最初から分かっているということです。 だから普通の抽選は、最後は「主催者を信じるかどうか」の話になります。
量子の測定結果は、そこが違います。 測定の前に、結果を決めている変数が存在しない。 これは「まだ見つかっていない」という話ではありません。 ベルの定理という数学の定理があり、実験でも確かめられています (アスペ、クラウザー、ツァイリンガーの3氏が、この検証で2022年のノーベル物理学賞を受けました)。
だから量子抽選では、「引く前には、この世の誰にも分からなかった」を 信用ではなく、物理として言えます。ここが、普通のコンピュータでは埋められない差です。
抽選の計算そのものは、普通のコンピュータでできます。 量子でしか作れないのは「予測できなかった」という保証のほうです。 「量子コンピュータで高速に抽選」みたいな話ではありません。そんな必要はどこにもない。
実機のビットは256ビットで、そこから先は公開された計算です。 256ビットを種にして SHA-256 を回し、必要な数を作っています。 この展開部分は量子ではありませんが、公開されているので誰でも同じ結果を再現できます。 種そのものが予測不能なら、そこから先が決定的でも構いません。
私(運営)は、ビットのプールを見られる立場にいます。 だからこそ、私を信じなくても確かめられる形にしてあります—— 使ったビット、参加者リストのハッシュ、種、計算式を全部証書に載せています。 結果を変えるには参加者リストを変えるしかなく、それは証書を見れば分かります。
プールが尽きたら、端末側の暗号乱数に落ちます。 そのときは証書に「実機のビットが尽きていました」と出ます。黙って差し替えることはしません。
証書に載っている値だけで、結果を最初から作り直せます。
参加者リストのハッシュは SHA-256(JSON配列) です。
名前は前後の空白を落として、空行を除いてから並べています。
検算用のコードをそのまま置いてあるので、
手元で走らせて同じ答えが出るか試せます。
プレゼント企画の当選者決め、席替え、発表の順番、当番決め、チーム分け、 誰が奢るか。「揉めたくない」場面すべてです。 証書のリンクを貼れば、「ちゃんと引きました」の説明が要らなくなります。
同じ実機のビットを使っているものが、ほかにもあります。 量子禅問答(一日ひとつ公案を引く)と、 量子旅程ソルバー(干渉で旅先を決める。 こちらは正直に言って、普通のコンピュータのほうが速いと書いてあります)。