😂 You are taking about me?
作業中どこかでショートしてコイルに電流が回ってない可能性は…?
Nothing happened to my family or relatives. Neither to me. Hope the time ease the victims' wounds someday...
#m=image%2Fjpeg&dim=214x236&blurhash=%7BJIrA%3D-oxukBM%7D%2519HxZ%7ESIpRPxtRj%25LRlxuIvRjW%3DRkWWRjoeNG01RkM%7CM%7BoeR%2BxtNGM%7CbbxuxuoeRjRkt7xtRjRjaej%5Bt6RkWCE2jut7t7R%2BR*oej%5BIVoMWVazWBWBoeayM%7CM%7CRjaet6t7t7t6&x=f921d32f0df3ef68e290c5ec83eed499fc02ab0905435fc57b4b6a124afb8c23
gm and hope have a wonderful weekend.
「xが偶数ならp-xは必ず偶数」→「xが偶数ならp-xは必ず奇数」のタイポでした。
拡張ユークリッド互除法:
確かにそうですね、剰余なので r=0 まで続けるが正しいですね。ご指摘ありがとうございます。商と混同してたみたいです。エラッタ作らずにウェブページ作ってたのでなにかしようかな…。
平方剰余の計算:
px (mod p) は xの値によらず、和の単位元(ゼロ)なため、前述の等式はpの整数倍でも成立します。なので px=0 としても良かったのですが、平方剰余の負の数には触れていませんでした。
また、 px-x = -x (mod p)とするよりも、px-x = p-x (mod p) としたほうが、署名計算で使うというコンテキストでは、便利だろうと思いそうしました。
pを素数に選んだ場合、xが奇数ならp-xは偶数で、xが偶数ならp-xは必ず偶数です。平方剰余で出てくる2数は、実数の平方根で言うところの正負の関係のように振る舞うんですよね。楕円曲線を扱うところではそこを意識する箇所があります。なので、あの表記にしたはず…です。
参考
#m=image%2Fjpeg&dim=1920x1440&blurhash=%23BEoGaxu8w-V00iIBTR5L19tbHozfkR*R*ozSgs%3A00V%3F.SNG%3Fvk%3D%23ntRvg%3FHj%5BRPWV%24*t7VssANG7JS%23oLS2rraeayjFkWwJoLs%3AjZRjjFf%2Bj%5Bof.mf%2BibofM%7Be.X8WBX8&x=4da9def40e98979d05ae158c83952a152833e96d01dd37d04b099218a39cc21d
#m=image%2Fjpeg&dim=1920x915&blurhash=ZBH_oX4%3A%3FGt5I9xu%25MocRO_4s%3Ba%23ozV%3FWCWBofay%25Gt7Rkj%5DRkflRjj%5Da%7EjWoIR*oga%23ofaej%5Baz&x=cec19155db661d3d6638acb2970328276cda534061ac0e2c9691b4b6baa64604