ると
@cocoa-ruto.bsky.social
コンピュータ関連、その他言葉遊びなどを書いてます。アイコンは「腕時計」。ヘッダー画像は2-3フィンガーツリー。
Nostr: npub19zyfvxjkfcyqml344k8uv5tmjgxjlnft0qcvw0mu870j4whfp65sq5sfxh
https://github.com/taku0
https://p.tatapa.org/users/ruto
https://twitter.com/cocoa_ruto
Nostr: npub19zyfvxjkfcyqml344k8uv5tmjgxjlnft0qcvw0mu870j4whfp65sq5sfxh
https://github.com/taku0
https://p.tatapa.org/users/ruto
https://twitter.com/cocoa_ruto
#いろいろなアドベントカレンダー
頭が大きな花になっている背の高い人物が、1日に1杯不思議な香りの紅茶をくれる。花は毎日違うものだが、名前はわからない。ティーストレーナーには昨日の花の欠片が1枚乗っていた。
頭が大きな花になっている背の高い人物が、1日に1杯不思議な香りの紅茶をくれる。花は毎日違うものだが、名前はわからない。ティーストレーナーには昨日の花の欠片が1枚乗っていた。
December 8, 2025 at 12:04 AM
ところで、これからAをしてBをしてCをするぞという展開になった後に「一方その頃」的に別の場面が描かれて、再度戻ってきたときに「よしAをしてBをしてCをするぞ」みたいなことをセリフで言っていて、親切〜って思った。
December 7, 2025 at 9:42 AM
ところで、これからAをしてBをしてCをするぞという展開になった後に「一方その頃」的に別の場面が描かれて、再度戻ってきたときに「よしAをしてBをしてCをするぞ」みたいなことをセリフで言っていて、親切〜って思った。
補足: ログイン用のリンク(マジックリンク)をメールで送る方法は、暗号化していない場合はメールサーバの安全性に全体の安全性が制限される。暗号化する場合は鍵をどうするかという問題がある。一つの解はリカバリコードから鍵導出関数で鍵を導出する方法である。しかしこれでも攻撃者のアカウントで被害者にログインさせる攻撃(Login CSRF)を防げない(被害者がメールの差出人を確認しない前提の場合)。ただしリカバリコードに対応する公開鍵が攻撃者に未知の場合は多分安全。
December 2, 2025 at 4:06 AM
補足: ログイン用のリンク(マジックリンク)をメールで送る方法は、暗号化していない場合はメールサーバの安全性に全体の安全性が制限される。暗号化する場合は鍵をどうするかという問題がある。一つの解はリカバリコードから鍵導出関数で鍵を導出する方法である。しかしこれでも攻撃者のアカウントで被害者にログインさせる攻撃(Login CSRF)を防げない(被害者がメールの差出人を確認しない前提の場合)。ただしリカバリコードに対応する公開鍵が攻撃者に未知の場合は多分安全。
LLVM中間コードやRISC-VコードはMicroRAMという中間コードに変換してからゼロ知識証明の回路に変換する。
最適化のためにシンボリック実行などを活用する。
ゼロ知識証明でメモリ安全性侵害、情報流出、インタラクティブなネットワーク攻撃、DoSなどを表す方法を工夫している。
最適化のためにシンボリック実行などを活用する。
ゼロ知識証明でメモリ安全性侵害、情報流出、インタラクティブなネットワーク攻撃、DoSなどを表す方法を工夫している。
November 30, 2025 at 10:34 AM
LLVM中間コードやRISC-VコードはMicroRAMという中間コードに変換してからゼロ知識証明の回路に変換する。
最適化のためにシンボリック実行などを活用する。
ゼロ知識証明でメモリ安全性侵害、情報流出、インタラクティブなネットワーク攻撃、DoSなどを表す方法を工夫している。
最適化のためにシンボリック実行などを活用する。
ゼロ知識証明でメモリ安全性侵害、情報流出、インタラクティブなネットワーク攻撃、DoSなどを表す方法を工夫している。
全ての異なる位置じゃなくて全ての連続する位置で十分だった。
November 26, 2025 at 3:40 PM
全ての異なる位置じゃなくて全ての連続する位置で十分だった。