講座で知った原理を、まず時間制限のない練習で試し、それを対戦での判断につなげます。目標は、専門用語を答えられることではなく、何を公開すると何が分かってしまうのかを、自分の計算で理解することです。

まず、LEAKとHUNTを同じ数字で説明します。チームAは秘密の鍵3を持ち、平文2を暗号化します。この例では7で割った余りを使うので、答えは5です。自分で計算する代わりにLEAKを選ぶと、システムが答え、その「平文2から暗号文5」という対応が全チームに公開されます。鍵3を直接渡すわけではありません。ですが、チームBは5引く2で、鍵は3と計算できます。HUNTに入力するのは、この鍵3です。すでに見えている平文2や暗号文5ではありません。つまりLEAKは計算時間を省く代わりに、相手が鍵を求める材料を渡す操作です。

暗号文を開けずに計算する練習もあります。これは実際の「まず1問体験」の画面です。左の2と3を足して5。右の4と5を足して9、7で割った余りは2。答えは5と2の組です。中身の合計ではなく、合計を隠した暗号文を作っています。完全準同型暗号全体ではなく、加算の性質を追う模型です。

PROVEでは、Schnorrの会話を手計算します。最初にaを固定し、相手からeを受け取り、応答zを返します。秘密xと乱数rは送らず、公開された式で検査できます。ただし、このxは証明用の別の数で、秘密分散のかけらを知っていることの証明ではありません。また、小さい数の教育模型なので、実用の本人認証としての安全性は主張しません。

秘密分散のHUNTでは、答えるものが鍵から「元の秘密」に変わります。この例では、チームAの秘密1を5個のかけらに分けています。LEAKで公開されるのは、かけらの番号と値です。同じ組の異なる3個、番号1が2、番号2が5、番号3が3まで公開されたとします。チームBは画面の係数を使って、3かける2、引く3かける5、足す3を計算します。結果はマイナス6。7を足した1が元の秘密です。HUNTの回答欄に入れるのは、その1です。同じ番号を繰り返し公開しても3個には数えません。公開するものと、そこから復元して答えるものは、違うということです。

プレー中のフィードバックで、このつながりを理解する前にHUNTを求めていたことが分かりました。そこで、LEAKの説明を「守る対象、公開する対象、相手が答える対象」の順に修正しました。HUNTの入口には、いま説明した同じ数字の例を無料で表示します。基本ルールを有料ヒントに隠しません。日本語と英語で、読んだら閉じられ、計算欄を作り直さない構成です。この画面は修正した実コンポーネントの単体表示です。修正PRはマージ済みですが、本番対戦への反映確認とは区別しています。