Ryoan: 信用できない計算を秘密データ上で行うための分散サンドボックス

税務処理やゲノムスクリーニングなどの現代のデータ処理サービスのユーザーは、秘密にしておきたいデータをサービスに信頼して預けることを余儀なくされています。Ryoanは、データ所有者が信頼していないサービスによって処理される秘密データを保護します。この目標を分散環境で達成することは、ユーザーがサービスプロバイダーや計算プラットフォームをコントロールできないため難しいです。秘密が漏洩しないようにコードを制限することは非常に困難ですが、Ryoanは新しいハードウェアとリクエスト指向のデータモデルを活用しています。Ryoanは、ハードウェアエンクレーブ（例: Intelのソフトウェアガード拡張（SGX）15）を利用して、サンドボックスインスタンスを潜在的に悪意のある計算プラットフォームから保護する分散サンドボックスを提供します。保護されたサンドボックスインスタンスは、信用できないデータ処理モジュールを制限し、ユーザーの入力データの漏洩を防ぎます。Ryoanはリクエスト指向のデータモデル用に設計されており、制限されたモジュールは入力を一度だけ処理し、入力に関する状態を保持しません。Ryoanの設計とプロトタイプ実装を示し、メールフィルタリング、健康分析、画像処理、機械翻訳を含む一連の難題に対して評価します。