休み2
図書館に行った後はぐだぐだ寝ていた. だいぶましになったかな.
休み2
図書館に行った後はぐだぐだ寝ていた. だいぶましになったかな.
休み1
マッサージに行ったらだるすぎてぐだぐた寝てる.
BBS署名のproofGenとproofVerify
習作版が動くようになった. 添え字がややこしいな.
BBS署名のsign/verify
習作版が動くようになった. draftはフォーマットとかハッシュ関数とかいろいろ面倒だけどその辺りは適当で.
mcl/bbs
最近はGitHub actionまわりの要望が多い. 勉強しなきゃと思いつつめんどうでやる気が出ない. だれかやってくれないかな.
x64はadcx/adoxを使わないと高速化できず, 今のところx64系コンパイラはそれらに対応していないので手書きasmにせざるをえない. M1/AArch64はレジスタが多いので384bit乗算ぐらいならLLVMで書いても十分速い. というかM1 mac速いな.
ラボユース夏期オフライン交流会
残念ながらオンラインでは出来なかったけど, 過去のラボユース生も参加してくれて久しぶりにおしゃべりできてよかった.
LLVMによるコード生成の紹介.
BN_P256
追加するだけで動くはずだけど, なんか駄目だなあ. まだどこかfull bitでないことを仮定している部分が残ってるのかな.
mcl::bint
下回りの大規模なリファクタリングがようやく落ち着いてきた. いろんな環境でテストするのが大変.
暗号のゼミ
私の『暗認本』を使ってゼミをしてくれていたところが最後まで一通り終わった. いろいろ間違いが見つかったり, 意見がもらえて勉強になった.
mclの不要コードの除去
重複していた部分を削除したり, 無駄に凝った書き方をしていた部分を簡略化. 結構な分量なのでしばらくこの作業を続ける.
打ち合わせ
木, 金と予定を詰めすぎたら(物理的に)首が回らなくなった. なんか痛すぎる.
聴講. 難しいなあ. SIDHへの攻撃の話も緊急にしてくれるらしい.
XbyakライクなPython DSLによるasmコード生成の話.