1005
午後Iと午後IIの過去問を解いた。時間に余裕なかったがたぶん合格だとは思う。ただ信じられないほどのケアレスミスがあり、すこし凹んだ。余裕がない。
データベーススペシャリスト試験のことを界隈（？）ではデスペと呼ぶらしい。死刑のカジュアルな言いかたっぽい。
ゼロ知識証明の勉強も少しした。コミットメントに関する関係式のゼロ知識証明の方法についてはなんかわかった気がする。あとは、そのコミットメント自体は正当なものですか？という部分、具体的には総額Tがでっち上げでないことの証明が必要で、これは店側をシミュレイトする必要があるのでもうすこし追加の実装をする。そこまで行ければおそらく、店が署名した総額$T$、のコミットメント$C_T$、とCへの請求額$c$、のコミットメント$C_c$との間に、$T>3c$に対応するような関係が成立していることを証明できるはず。
なんでこんなこと真面目にやってるんだ？
なんか、前から思っていたけどChatGPTはあまりいい教育者ではない気がする。あいつらは「ゆっくり説明する」ということがあんまりできなくて、すぐに腹落ちさせようとしてくるし、実証コードをつらつら書き出すし、発展的な話題に触れてくるし。そうじゃなくて、普通に概念の定義や名前を丁寧に説明してほしいんだよな。いや、僕の頭が十分良くないと言われればそれまでなんだけども。
寝ます。明日はインフルエンザの予防接種を受ける。