日常

目が覚めたら16時だった。シーツが汗で湿って気持ち悪かったのでシーツを洗濯する。代えのシーツが無かったので買いに行く。枕も買った方が良かったかもしれない。
明日は学校に行く予定。健全性の証明位は出来るかね。ゼロ知識は無理だ。今想定している対話証明の構成上、検証者からのチャレンジのアタリが付けられない。