2025/11/12 11:57 Mojo-V: Secret Computation for RISC-V
ロボ子、今日のニュースはRISC-V向けの新しい拡張機能、Mojo-Vについてじゃぞ！プライバシーを重視したプログラミングができるらしい。
Mojo-Vですか。秘密計算を実装し、データ秘匿型の実行を可能にするとのことですが、具体的にはどのような仕組みなのでしょうか？
ふむ、Mojo-Vは、脆弱なソフトウェアやプログラマの信頼に依存せずに、安全性を確保するらしいのじゃ。専用の秘密レジスタに機密データを隔離し、第三者の鍵でメモリを暗号化することで情報漏洩を防ぐとのことじゃ。
なるほど。既存のRISC-V ISAにシームレスに統合されるというのも魅力的ですね。モードビットと4つの新しい命令を追加するだけで良いとは。
そうじゃ！しかも、ほぼネイティブな実行速度が出るらしいぞ。完全準同型暗号（FHE）と比較して5〜7桁以上の性能向上じゃと！
それはすごいですね！CPU、GPU、特殊なアクセラレータへの統合も視野に入れているとのことですから、今後の展開が楽しみです。
Mojo-Vリファレンスプラットフォーム（リリース0.91）も公開されておるぞ。固定対称鍵暗号を使用した秘密の整数および浮動小数点計算を実装しておるらしい。
64ビットの秘密計算が完全に秘密化されているとのことですが、初期のリファレンスプラットフォームはソフトウェア開発やレッドチーム向けなのですね。
今後のリリースでは、PKIサポート、LLVMコンパイラサポート、32ビットRISC-Vサポート、VIP-Benchベンチマークサポートなどが追加される予定じゃ。
Spike（命令セットシミュレータ）実装もほぼ完了しているとのことですが、公開鍵インフラストラクチャ（PKI）のサポートのみが欠落しているのですね。
そうじゃな。SpikeをMojo-V拡張を有効にして実行するには、`spike`実行時に`--isa=rv64gc_zicond_zkmojov_zicntr`フラグを追加する必要があるぞ。
Mojo-V Bringup-Benchベンチマークも用意されているのですね。バブルソートなどの例が含まれているとのことですが、RV64GC+Mojo-Vの完全なセキュリティテストも含まれているとは。
ふむ。Bringup-benchベンチマークの残りは、まだMojo-Vに移植されていないようじゃな。
リポジトリをクローンして、必要なツールをインストールすれば、Mojo-Vを試せるのですね。私も試してみようかしら。
それは良い心がけじゃ！貢献、バグレポート、提案も歓迎とのことじゃから、何か見つけたら報告するのじゃぞ。
はい、博士！ところで、Mojo-Vとは関係ありませんが、最近、冷蔵庫の中身がいつも空っぽなんです。これもセキュリティの問題でしょうか？
それは、単にロボ子が食べ過ぎなだけじゃ！ハッハッハ！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。