Pinned
k0b_kynea@梅と豆腐
k0b_kynea@梅と豆腐
12.3K posts
k0b_kynea@梅と豆腐
@k0b_kynea
Female Engineer。女性エンジニアを増やしたい！東工大廣田薫研究室出身 元数学徒（表現論）。k8s/MPC/LLM/ベクトル検索/暗号 Programming: Haskell/Rust/cpp/go/java Sports: Marathon/bouldering #kynea0btodo
Joined May 2017
k0b_kynea@梅と豆腐’s posts
大抵のIT技術は純粋数学の知識なくても理解できるのかもだけど、暗号に関しては数学を正しく扱う気がない人は永久に理解できないのは仕方ないでしょ。。。
Appleがswiftの準同型暗号ライブラリ開発している。本格的に準同型暗号入れていく感じかな。
女性記者「女性を守るために何かをしたのか。他にも被害者が出る可能性ありますよね？再発防止策は？」
遠藤さん「しどろもどろ。。。特定しないでね。」
何も考えてないことがよくわかるな。
netflixのレコメンドの工夫点や、nlpコンペの最新事情、気になる。
暗号より、統計や機械学習の数学が楽な件については、たとえば回帰分析で最小二乗法の解を求めるとか、そゆのは、初等的な線形代数だものね。
zksnarkで言えば、witness計算までの行列計算よりも平易ぐらいな感じの処理が分かれば扱える感じ。
暗号はハードなのに日本では軽視されてる気がする涙涙
おおお。TCPとUDP、どちらをどう使うか定量的に理解したかったのでめちゃくちゃ嬉しみが深いGoogle記事。
>去年度の東工大院 数理•計算科学の入試問題が統計検定1級の統計数理に出そうなレベル
このモーメント母関数の不等式の問題に似た問題、そういえば、高安先生の定期テストで出題された記憶がある。もしや作成者高安先生かしら。。。
「バスタオルを贈っただけ」というのは加害者側（知りあいの部長（55歳男性））の認識に過ぎないうえに、知り合い側であれば、不都合な事実が明らかではない可能性が高いでしょう。
Quote
はぁとふる倍国土
@keiichisennsei
知りあいの部長（55歳男性）が部署異動する部下（27歳女性）の送別会でバスタオルを贈ったら、後日パワハラ認定され厳重注意された話、色々と考えさせられるな。部長は「フェイスタオルだとギフトのボリューム感がないから」という理由からだったそうだが、もらった側はキモくて吐きそうだったとか。
BLS閾値署名とかVSSとかDKGの論文などがまとまってて嬉しみ。acompanyさんありがとう。
怒られるかもしれんけど、ソフトウェアエンジニアに限定したら、海外の人の方が数学力高い気がするんだけど、私の見てる範囲が狭いんだろうか。
ブロックチェーンに関わる人見てても、位数とか生成元とか巡回群とか、海外の人は意味わかってて当たり前な人率高いけど、日本の人意味プーな人多いような
qiitaとかで、atcoderのfftに類する問題を見ながら暗号論文を輪読する的なのも書いてみようかな。楕円曲線の演算回数をどうやって減らすかの小技集みたいな感じで。
【暗号関係の方に相談】
生成元や位数、有限体の意味が全くわかっていないまま、（当然ペアリングの双線形もわからないだろうと思われ）
「ペアリング知ってますよ、G1とG2があるんでしょ！」
って言ってくる人にはどうすればいいですか？
前に書いたBLSのsigの値がhash_to_curveのアルゴリズムの性質から一様分布性が保証されているのと秘密鍵とメッセージに対して決定論的である性質から、そのまま検証可能な乱数として使用できるっていう嬉しさを享受しているのがズバリklaytnのここ。
github.com/klaytn/klaytn/
Quote
k0b_kynea@梅と豆腐
@k0b_kynea
Replying to @k0b_kynea
>2. Regular: for s uniformly distributed in S, the distribution of F(s) is ε-statistically indistinguishable from the uniform distribution in R.
引用を辿るとSWUの統計的性質とはこの一様分布のこと。
なので、BLSのsignatureはVRFとして使用できるってことだ了
eprint.iacr.org/2009/340.pdf
DFINITYうらやま
>DFINITY Foundation の暗号学者、研究者、エンジニアは、合計で 1,500 以上の論文を発表し、88,000 以上の引用を集め、190 以上の特許を取得
DFINITY Foundation は、ほとんどのテクノロジー組織よりも男女比のバランスが良く、世界中の部門長の 43% が女性
wiki.internetcomputer.org/wiki/History
numpyの正体はBLASってfortanライブラリ。
pythonでfor文使って行列計算定義したものよりもこのライブラリを介することで１万倍速くなる。
#pysap
楕円曲線の美しき泉を辿るー。
「Miller loop」のVictor S. Miller氏のアルゴリズムの説明。
曰く「Weil Pairingは楕円曲線の算術とアーベル多様体の理論において重要な役割を担っている」として始まるワクドキではじまるー。
link.springer.com/article/10.100
#kokeshimemo
私も小学生の時にサッカーやってて、「女のくせにサッカーか」「おかま」と嘲笑されたりして、やめてしまったのは心残りだけど、あらゆる方面で少しずつでも種まきを続けることが未来をひらくんだな。
こちらの本、機械学習の切り口で微積、線形代数、確率がまとまってる上に丁寧な証明がついていて、時々読み返したりして知識の整理するとすごく良さそう(ღˇᴗˇ)｡o३৸३৸ ♬
Quote
コロナ社☉自然科学専門書の出版社
@coronasha
2024年7月新刊
機械学習のための数学
coronasha.co.jp/np/isbn/978433
飯塚秀明 明大教授 博士（理学） 著
Schoof's algorithmが考案される前は有限体上の楕円曲線の有理点の数はbaby-step giant-step algorithmsとかのナイーブな数え上げアプローチがとられてて実行時間は指数関数時間かかってましたー(^^)。Schoof氏まじNICEね
#kokeshimemo
zama-aiのcontract上での準同型暗号による演算のテスト実行してみたら、案外早くてすごいいってなってる。
github.com/zama-ai/fhevm/
私も理系専攻で、「女として〇〇点」「1人しかいない女がこんなやつか」「女らしい服着ろよ」などと言われ続けました男のノリについていかなきゃと必死なときももちろんありましたが、不毛な労力と今にしてみると思います。同じ思いをしました。代弁してくれたように感じます。
Quote
まなみん
@Sbw0cjs7kC60156
私は理系専攻で、大学時代は私以外男しかいない研究室に入ってた。
何カップ？とかその服昨日見たAV女優の服装と似てるとか言われるのは日常茶飯事で、当然の如く体型や容姿についてもいじられてた。
でも女1人だし、男のノリについて行かなきゃ！と必死だった私は→ x.com/bbcnewsjapan/s…
Replying to
楕円曲線の群の要素の位数とフィボナッチ数列の周期の長さには密接な関係があり、一般化されたフィボナッチ数列の命題のほとんどは楕円曲線の群に拡張されます！
私 「生成元の意味もわからない状態で、ペアリングなんてわかるわけないです」
被告人 「わかってないと言われて傷つきました」
私（5年間暗号開発に関わりながら、生成元の意味すらわからない被告人、マジで無期懲役にして二度と暗号開発してほしくない）
Quote
k0b_kynea@梅と豆腐
@k0b_kynea
【暗号関係の方に相談】
生成元や位数、有限体の意味が全くわかっていないまま、（当然ペアリングの双線形もわからないだろうと思われ）
「ペアリング知ってますよ、G1とG2があるんでしょ！」
って言ってくる人にはどうすればいいですか？
using Plots
gr()
using ImplicitEquations
a = -1
b = 1
f(x,y) = y^2 - x^3 - a * x - b
plot(f ⩵ 0, aspect_ratio=:equal)
savefig("Elliptic curve.png")
#julia
数学、暗号、コンピュータ科学などの領域、人が集まって拡大していければ人工知能とかも込みで女子中高生もしくは大学生をエンカレッジするイベントとかもそのうちやりたいと思っている。一年に一度ぐらいはやりたい。
雪江師の代数学3はホモロジー代数の理解によいとあり、今購入した。これでweil paringのdomain/codomainのwell definedがわかる。
標数の大きい体上のエドワーズ、ツイストエドワーズ、モンゴメリ曲線に対して、余因子４で分割する手法の提案。余因子４の曲線ができると、素数位数の群を効率的に実装できる。
#kokeshimemo
shiftleft.org/papers/decaf/d
準同型暗号の関数が適用された正規表現エンジンの実装追ってるうちに、正規表現を代数演算として一般化した理論的側面に興味湧いてしまってそのメモ。後で掘り下げてみよう。
「kleene代数と正規表現」
#kokeshitodo
cosmos/cosmos-sdkにcontributeしたのお初かも。後発PRまで出してくれたり親切でありがたい。ᵃʳⁱᵍᵃᵗᵒ~(˘͈ᵕ ˘͈♡)ஐ:*。OSS活動していこ。
#kokeshimemo
github.com/cosmos/cosmos-
日本て楕円曲線まわりの数学者たちの貢献すごいのに、ブロックチェーンにおける暗号技術開発は、全体として世界にだいぶ遅れをとっている感じがしてしまう。