約 6,824,007 件
https://w.atwiki.jp/premiumstorage/pages/15.html
海外オンラインファイルホスティング 海外オンラインストレージサービス一覧 海外オンラインストレージ機能比較 名称 Vプリカ 自動課金 料金 フリー速度 プレミアム速度 制限 備考 4shared 対応 有り $9.95 /月 50～100KB/s 100KB～2MB/s 不明 BitShare 対応 有り $9.99 /月 50～300KB/s 100KB～3MB/s 75～90 GB/日 BrutalSha.re 対応 有り EUR10 /40日 ～3MB/s 不明 Free 2GB/日プレミアム 無制限 Coraldrive 対応 有り EUR 9.99 /月 不明 不明 登録ユーザー：最大のダウンロードファイルサイズ：400MB ダウンロードスピード：250 KB/s Crocko 対応 有り $11.95 /月 120KB/s～ 不明 200GBを超えた分は60日制限 Easy-shareの新しいブランド名 DataFile.com 対応 有り $12.99 /月 40～50KB/s 300KB～400KB/s 1 TB/月 Depositfiles 対応 有り $11.95 /月 20～250KB/s 10KB～5MB/s 20 GB/日 Easybytez 対応 有り EUR 8.49 /月 不明 不明 Extabit 対応 有り $12.99 /月 15KB/s～75KB/s 100KB～2MB/s 50GB/日 Extmatrix 対応 有り $ 9.99 /月 不明 不明 FiberUpload 非対応 有り EUR 9.00 /月 50 KB～150 KB/s 1 M～3 MB Payza（旧AlertPay） File4sharing 対応 有り $ 9.00 /月 不明 不明 FileFactory 対応 有り $12.00 /月 150～200KB/s 不明 無料 150MB/h Premium 12GB/day Filegag 対応 有り $9.99 /月 50～150KB/s 不明 不明 ダウンロード最大サイズ：無料ユーザー 1GBダウンロード速度：無料ユーザー 150 Kbytes/sec FileMates 対応 有り EUR 7.99 /月 不明 不明 40 GB/日 Filepost 対応 有り $12.95 /月 5～100KB/s 200KB～1MB/s 25 GB/日 Files2share.ch 対応 有り EUR 9.88 /月 不明 不明 Fileom.com 対応 なし $12.99 /月 ～100KB/s 不明 不明 待ち時間ゲスト：900秒登録：300秒 FreakShare 対応 有り EUR 9.99 /月 70～100KB/s 100KB～3MB/s 50 GB/日 Hitfile 対応 有り $ 9.99 /月 不明 不明 Turbobitと同じファイルベース HotFile 対応 有り $9.00 /月 100～200KB/s 100KB～2MB/s 100 GB/日 HotFiles.ws 対応 有り $9.00 /月 --KB/s 不明 不明 keep2share.cc 対応 有り $ 12.95 /月 不明 20 GB/日 Jumbofiles 対応 有り $ 9.95 /月 不明 不明 Letitbit 対応 なし EUR 7.00 /月 50～500KB/s 不明 10GB / 日 Luckyshare 対応 有り $ 12.00 /月 不明 不明 Lumfile 対応 有り EUR 9.99 /月 ～70KB /s 不明 50GB/日 ダウンロードの待ち時間 無料ユーザ：1時間 登録ユーザー：45分 MediaFire 対応 有り $9.00 /月 不明 300KB～8MB/s 不明 Netload 対応 なし EUR 9.50 /月 150～200kB/s 不明 Free：100MB/hプレミアム 無制限 Oboom.com 対応 有り EUR9.99 /月 50KB/s 不明 登録：1GB/時間Premium 無制限/日 PandaMemo 対応 有り EUR 9.99 /月 不明 不明 PutLocker 対応 有り $ 5.99 /月 不明 不明 Queenshare 対応 有り EUR 9.99 /月 不明 不明 Rapidgator 対応 有り $9.99 /月 1～10KB/s 不明 1 TB/月 自動更新を解除：「My account」→「Profile」→「Modify account settings」→「Other→Subscribe to a recurring payment」のチェック欄にチェックが入っているのでこのチェックを外す。 RapidShare 対応 有り EUR 9.90 /月 1～30KB/s 不明 無制限 Ryushare 対応 なし EUR 9.96 /月 100kB～200KB/s 300KB～2MB/s 88 GB/日 Salefiles.com 対応 なし EUR 7.00 /月 60kB/s～ 不明 30 GB/日 ShareFlare 対応 なし EUR 7.00 /月 60kB/s～ 不明 不明 Share-Online 対応 なし EUR 8.49 /月 100kB/s～ 不明 Free：300MB/h Turbobit 対応 有り $ 8.98 /月 1～20KB/s 20KB～150KB/s 25GB/日 300 GB/月 Upfile 対応 有り $ 9.95 /月 不明 不明 Uploadable 対応 有り $ 12.99 /月 200kB～300KB/s 不明 無制限 リセラー PayPal対応 Uploaded 対応 有り EUR 9.99 /月 100kB～350KB/s 100KB～5MB/s 50 GB/日 VISA、Mastercardに対応 Videomega.tv 対応 有り EUR /月 00～00KB/s 不明 ゲスト：Free / 日登録：Free / 日 ※速度は参考値。速度は環境、時間帯、サーバーの混雑時などにより変化します。 ※自動課金は、「PayPal」にログインして事前承認支払いの更新を確認。 ※クレジットカード（VISAデビット）払いはサポートにメールをして自動継続を解除してもらう。 「PayPal（ペイパル）」アカウントを持ってない方 PayPal（ペイパル）アカウントの作り方 クレジットカードをお持ちでない方、クレカでの海外決済が心配な方 Vプリカ Visaデビットカード
https://w.atwiki.jp/premiumstorage/pages/14.html
オンラインストレージサービス一覧 オンラインストレージ機能比較 名称 容量 日本語 1ファイルの最大サイズ 同期 共有 無料 有料 備考 115.com 150GB 対応 115GB 自動同期 可能 無料で30GB なし フォルダごとのアップロードは、専用アドオンを追加インストール後に実行できる。 Baidu Cloud 1GB ☓ 1GB ☓ ☓ 無料で5GB なし torrent size 1GB disk space 1GB BTCloud 1GB ☓ 1GB ☓ ☓ 無料で1GB なし torrent size 1GB disk space 1GB SkyDrive 25GB 対応 300MB 同期せず 可能 無料で25GB なし スマートフォンアプリからは1ファイル100MBまで Yahoo!ボックス 5GB 対応 300MB 自動同期 可能 無料で5GB、Yahoo!プレミアム会員は50GB Yahoo!プレミアム会員費（月額346円/税込） 専用ソフトによるドラッグ＆ドロップで5GBまでアップロード対応 Google Drive 5GB 対応 10GB 自動同期 可能 無料で5GB 25GBで月額2.49ドルから最大で16TBのプランまで 有料プランを利用すると、Gmailの容量も25GBにアップグレードされる。 Amazon Cloud Drive 5GB 未対応 2GB 非対応 可能 無料で5GB 20GB 20ドル/年から、1TB 1000ドル/年まで Amazon MP3 で購入した楽曲ファイルについては無制限(使用容量に含まれない)。 SugarSync 5GB 対応 100MB 自動同期 可能 無料で5GB 30GB 5250円/年から、500GB 42,000円/年まで SugarSyncファイルマネージャ利用で最大ファイルサイズ無制限 Dropbox 2GB＋500MB のボーナス容量 (最大 16 GB まで) 対応 無制限 自動同期 可能 2GB + 500MB 50GB US$9.99/月、US$99.00/年 同期するフォルダを任意に指定できない。 Copy 15GB＋5GB のボーナス容量 未対応 無制限 自動同期 可能 15GB + 5GB 250GB US$9.99/月、US$99.00/年 Pcloud 10GB＋10GB のボーナス容量 未対応 無制限 自動同期 可能 10GB + 10GB 100GB US$4.99/月、300GB US$14.99/月、1TB US$49.99/月 File1.info 50 GB 未対応 無制限 自動同期 可能 50 GB 5 TB EUR 7.00/月、5 TB EUR 36.00/6月、5 TB EUR 60.00/12月 終了 1fichier.com 無制限 未対応 50 GB 非対応 可能 無制限60日後に削除 EUR 3.99/月、EUR 29.99/年 Remote upload 名称 容量 日本語 1ファイルの最大サイズ 同期 共有 無料 有料 備考
https://w.atwiki.jp/mykingdom/pages/63.html
農地 製材所 採石場 ストレージ ストレージは建設することで食糧・木材・石材の上限を一律で上げることが出来る。 建設 名称 小型ストレージ 中型ストレージ 黄金ストレージ 費用 3000 30000 15HC 食糧 200 800 0 木材 0 200 0 資源上限 100 300 600 サイズ 3×3 3×3 3×3 名前 コメント すべてのコメントを見る
https://w.atwiki.jp/strage/pages/15.html
名称 容量(無料) 備考 Dropbox 2GB 3 4 5
https://w.atwiki.jp/sevenlives/pages/545.html
ストレージ 読み：すとれーじ 英語：storage 別名：外部記憶装置 意味： ストレージとはデータを保管するためのデバイス、外部記憶装置のこと。 メインメモリのように作業のために一時的に保存する装置ではなくデータを恒久的に残すためのデバイスのこと。 HDD、SSD、テープデバイスなどあるが現在もっともポピュラーなものはHDD。 2009年06月03日 HDD? SSD テープ・カートリッジ? DAS? NAS(ストレージ)? iSCSI? ファイバチャネル? SAN RAID オンライン・ストレージ? ストレージ・アーキテクト? ■ ハードウェア・インターフェース ATA SCSI
https://w.atwiki.jp/pc_parts/pages/18.html
ストレージ HDD SDD FDD 光学ドライブ その他ストレージ
https://w.atwiki.jp/gehapc/pages/20.html
データを溜め込む倉庫。 SSDとかHDDとか大容量の記憶装置達のこと。 これらをストレージと呼んだりする。 だいたい、OSやシステムファイルはここにぶち込まれる。 これらのほか、ユーザーファイルとして音楽やゲーム、エロ動画などさまざまなものを保存する役割を担う。 メモリとの違いは長期間保存するか、使うときだけ保存するか。 よく作業机の盤上と引き出しに例えられる。 使用頻度が高いため、PCの速度を決めるものすごく重要な部品。 ゲームでも読み込みが速いとオンラインプレイで得をしたりする。 予算があれば是非良いSSDを搭載しよう。 速度：M.2 SSD SSD＞HDD（比べ物にならない） 価格：M.2SSD≒SSD*4≒HDD*40（1GBあたり） ちなみにメインメモリはSSDより10倍近く速かったりで、それを利用したRAMディスクってストレージもある。 廃人用。 性能も重要だけど、故障したときに交換だけでは済まない（データを失う）ので信頼性も重要。 信頼性はスペックなどから事前に知ることが難しいので、最新の製品は様子を見て人柱報告（レビュー）が上がってから買うのが有効。 でも壊れるときは壊れるからあんまり真剣になっても仕方ない。 CrystalDiskInfoなどでちゃんと監視しておけば完全に昇天する前にデータを救出できる。 何を買うにしてもバックアップは確実に取ることをお勧めする。 どのくらいの容量があればいい? 目安として「Windows7や8なら128GBが最低ライン」と覚えておけばいい。 でもゲームやるなら1TBは欲しいところ。 動画をキャプチャするなら3TB以上あると安心。 「SSD256GB(OS・重要ソフト)」+「HDD～TB」って構成が一番無難。 もちろん全部SSDが最強。 どのくらいの容量があればいい? SSD HDD内蔵と外付け 容量 サイズ 回転数 接続規格内蔵タイプ 外付けタイプ バッファ (参考)知っきおきたい知識RAID SSD USBメモリみたいなのをいっぱい積んで高速化したストレージ。 書き込み、読み込みともに500MB/sくらい。(シーケンシャル) ただでさえ速いSSDに最近爆速のM.2(32Gb/s)という接続規格が立ち上がった。 採用製品だと読み込み2GB/s、書き込み1GB/sぐらい出る。(シーケンシャル) ただし爆熱に注意されたし。 SSDを参照。 爆速だけど、お高いのでOS・重要ソフトだけでもSSDに入れるって人も多い。 ゲーマーならBFとかロードで差がつくゲームだけでも入れておくと良い。 HDD 磁性円盤(プラッタ)が1枚以上くるくる回ってて、そこにデータが記録されるようなストレージ。 最近は1プラッタタイプが主流。 ※プラッタが少ない方が良いことが多い。 容量当たりの単価が安い 騒音、発熱、消費電力、故障率もやや下がる 速度が向上する 内蔵と外付け HDDには「PC内部に積む内蔵タイプ」と「USB外付けタイプ」がある。 前述のSSDの登場によりHDDは「安価なデータ置き場」となったため、「USB外付けタイプ」も汎用性が高くおすすめ。 容量 人による。 どれだけ容量積むか悩んでる人は「コスパが良い3TB～4TB」が無難 ゲームプレイを録画するにしても3TBあれば当分は問題ない。 容量が足りなくなったら増設すればいいので気楽に。 (増設できる量はM/Bとケースによる) サイズ HDDの場合店で見かけるのは内蔵で2.5インチか3.5インチだが、3.5インチの方がより大容量で安いからおすすめ。 ※2.5インチは殆どがノートPC用。 SSDは2.5インチ。 回転数 プラッタの回転数。 回転数が速い方が高速となる。 7200rpmがちょうどいい。 より高回転な10000rpm/15000rpmのものもあるが うるさい 熱い 電力大食い なので個人用途だと微妙。 5400rpmだとかなり体感速度が悪く、もうパソコン自体触りたくなくなる。 最近はそれでもかなり頑張ってる。 まぁアクセス速度でとやかく言うなら、SSDを買え。 接続規格 内蔵タイプ 内蔵の主流接続規格はSATA。 マザボとSSD、内蔵HDD、光学ドライブを繋ぐ規格であるためストレージ以外でも重要。 速度ごとにSATA6Gbps(SATA3)＞SATA3.0Gbps(SATA2)＞SATA1.5Gbps(SATA)と分かれている。 SATA達は接続の互換性はあるけど、最近のマザボもSSDも内蔵HDDも光学ドライブもSATA3。 ちなみに最大速度の理論値はこんな感じ。 世代 最大速度 SATA 1.5Gbps≒150MB/s SATA2 3Gbps≒300MB/s SATA3 6Gbps≒600MB/s HDDはどんな高速機でも200MB/s程度なのでSATA3の恩恵は受けなかったり。 ちなみに、SSDは読み書き速度500MB/s前後なのでSATA3で繋がないと生かせないので注意。 ※SATA - Wikipedia 外付けタイプ 外付けの接続規格はおなじみのUSBがほとんど。 「USB3.0対応のマザボ」なら、迷いなく「USB3.0対応のHDD」を選ぼう。 次世代規格のUSB3.1にも期待。 USBの規格と最大速度 規格 最大転送速度 給電能力(5V) USB1.0 12Mbps -- USB1.1 12Mbps -- USB2.0 480Mbps 500mA USB3.0 5Gbps 900mA USB3.1 10Gbps 1000mA ※USB - Wikipedia バッファ データを一時的に取っておくところ。 流れる水を汲むバケツみたいなの。 容量は多いほうがいいが少なくても別にかまわない。 バッファ量の差はパフォーマンスへ与える影響はそれ程大きくないので優先順位は低い。 ここを気にするくらいならSSDを買え。 (参考)知っきおきたい知識RAID 複数台のSSD、HDDをひとつにまとめて、高速化したり安全性を高める方法。 普通にやれば2倍近く速くなる。 マザボのオンボ機能でだいたいできる。 詳しくはRAID?なにそれおいしいの?を参照。 できるだけ複数のストレージを買ってRAIDをやった方がいい。 例えば、SSDで256GBを組むとき、 値段：RAIDSSD*2(128GB+128GB)≒SSD(256GB) 速度：RAIDSSD*2(128GB+128GB)＞＞SSD(256GB) というように同じ値段でもより速度が出せたりする。
https://w.atwiki.jp/queseraserapso2/pages/124.html
＞＞QSSストレージ＜＜ ストレージのファイル操作を行った際は、ここに操作内容を書き記してください。 名前 コメント 「動画」フォルダ内に、天極と地極にリリーパ族が挑む動画をアップ -- リリーパ族 (2016-01-18 23 04 49) ここ最近、アークスシップ内など、各地で目撃されているリリーパ族のようなモノを激写することに成功した！ -- 雪 (2014-09-24 01 25 32) 【リベンジ】雪ちゃんと二人でアークスＧＰの本戦やってみたの巻 -- ヘレン (2014-09-10 09 22 27) 雪ちゃんと二人でアークスＧＰの本戦やってみたの巻 -- ヘレン (2014-08-31 02 16 05) いけない地蔵を激写 -- 雪 (2014-08-30 01 11 39) 受け取った草案テキストをアップしておいたぜぃ -- 雪 (2014-05-12 00 54 54) タリスで支援な龍祭壇SHペア タリスゾンディールでの敵の集積と、対ボス戦にて通常攻撃織り交ぜてPPやりくりしながらのイルバータを頑張りました。 今後の課題は遠隔レスタの精度アップかな～ヽ( ω 三 ω )ﾉ -- ヘレン (2014-04-16 02 51 43) 腰がポッキリ逝ったSSをうｐ -- ヘレン (2014-03-27 00 29 18) 一人DF(SH)アップ -- ヘレン (2014-03-01 15 13 23) タガミカズチがバグったので、記念撮影(´･ω･｀) -- ヘレン (2014-02-23 14 39 54) もういっこ、侵食カタドラールにも遭遇したので、こちらもアップヽ( ω 三 ω )ﾉ -- ヘレン (2014-02-02 04 29 48) キャタドランサにナメギドするだけの動画をアップ。地面が平坦ならノーダメクリアできる…かも？(´･ω･｀) -- ヘレン (2014-02-02 04 15 38) PSO2動画ではないけども、ちょっとしたお絵かきの過程を動画にしてUP -- ヘレン (2014-01-31 22 31 18) ストレージの使用方法 ページ左上にある「箱の蓋を開いたようなアイコン」をクリックしてDropboxのHOME画面に移行し、 「QSS_OPEN」というフォルダを開きます。 そうすると、アップされているファイルの一覧が出ますので、アップしたいファイルを ドラッグアンドドロップだけでファイルのアップが可能です。 削除する時は、削除したいファイルを右クリック→削除で完了！ あとは、使用報告ログに「□□アップしましたー」「△△削除したよー」とログを残してくれればOKです。 Dropbox内にも「はじめに.pdf」という使い方が書いてあるファイルがあるので、そちらにも目を通して頂ければ 注意 ストレージの使用にはログインする必要があります。 使いたい人はログインに必要なアドレス、パスワードを「四月の雪」「ほこほこ」から聞き出してください。 ゲーム内メールにてお知らせいたします。 最大容量は2.75GBです。 容量を増やす事も可能ですが、ぶっちゃけ手間がかかりすぎるので容量アップは基本行いません。
https://w.atwiki.jp/switch_brew/pages/19.html
内部ストレージ Nintendo Switchには32GBの内部ストレージが付いています。 Samsung KLMBG2JENB-B041 32 GB eMMC もしくは Toshiba THGBMHG8C2LBAIL 32 GB eMMC ↑内臓ストレージ。SamsungもしくはToshiba製の32GBのeMMCが使用される。
https://w.atwiki.jp/cryptospace/pages/155.html
ストレージ証明の機能ストレージ証明 (Kg, St, V, P)： 完全性(completeness) ストレージ証明の安全性セットアップゲーム 定義 (ε-健全) ストレージ証明の構成私的検証可能ストレージ証明 Priv = (Kg, St, V, P)部品 パラメータ Kg() St(sk, M) (V(pk, t, sk), P(pk, t, M*)) スキームの観察構成について 安全性について 定理 (私的検証可能ストレージ証明 Priv)証明について 公的検証可能ストレージ証明 Pub = (Kg, St, V, P)部品 パラメータ Kg() St(sk, M) (V(pk=(v,spk), t, sk), P(pk, t, M*)) スキームの観察構成について 安全性について 定理 (公的検証可能ストレージ証明 Pub)証明について 文献 ストレージ証明の機能 ストレージ証明とは、証明者（サーバ）P が、検証者（クライアント）V から預ったデータ M を（捨てたり壊したりしないで）完全に保持していることを証明するプロトコル。 ストレージ証明においては、データMは非常に大きなサイズとなることを想定している。証明サイズを、データMのサイズに比べ、なるべく小さくすることがポイント。 （ストレージ証明は、その証明サイズがデータサイズと同程度でよいのなら、通常のデジタル署名やMACで容易に実現される。） ストレージ証明 (Kg, St, V, P)： (pk, sk) ← Kg() (t, M*) ← St(sk, M) ※ a file-storing algorithm 0/1 ← (V(pk, t, sk), P(pk, t, M*)) 完全性(completeness) ∀(pk, sk) ← Kg(), ∀M ∈ {0,1}*, ∀(t, M*) ← St(sk, M) (V(pk, t, sk), P(pk, t, M*)) = 1. ストレージ証明の安全性 セットアップゲーム (pk, sk) ← Kg() 公開鍵pkを入力として攻撃者Aを起動： AがファイルMのストアを要求したら、 (t, M*) ← St(sk, M) を計算し、(t, M*)をAに返す。 Aが、あるファイルMをストアさせる際に得たタグtについて、そのストレージ証明の実行を要求したら、 V(pk, t, sk)にしたがって相手をする。 Aは(t,P )を出力して停止する。 ただし、 t AがあるファイルMをストアさせる際に得たタグ P 証明者アルゴリズム。 P がε-許容可能 であるとは、 Pr[ (V(pk,t,sk), P ) = 1 ] ≧ ε. 定義 (ε-健全) ストレージ証明 (Kg, St, V, P)がε-健全であるとは、 あるエクストラクタ Extr が存在し、 任意の攻撃者Aについて、 Aがセットアップゲームの結果、あるファイルMについて、ε-許容可能である証明者P を出力したならば、 ネグリジブルな確率の例外を除いて、ExtrがP を利用してMを復元できること、すなわち M = Extr(pk, sk, t, P ) であることを云う。 ストレージ証明の構成 私的検証可能ストレージ証明 Priv = (Kg, St, V, P) 部品 ρ-erasure code（割合ρ以上の符号語から全体ファイルをデコード可能な線形符号）C 対象鍵暗号 Enckenc メッセージ認証子 MACkmac 擬似ランダム関数 f {0,1}* x Kprf → Zp パラメータ B ⊆ Zp チャレンジ集合 l ランダムインデックス集合の大きさ Kg() kenc ← Kenc kmac ← Kmac return sk = (kenc, kmac). St(sk, M) { mi }1≦i≦n = M ← C(M) ※ 以下、各符号語miは必要な場合はZpの要素と考える。 kprf ← Kprf, α ← Zp t0 = n || Enckenc(kprf || α), t = t0 || MACkmac(t0). i ∈ [1..n] σi ← fkprf(i) + α mi ※ σiはmiのMAC M* = M ∪ { σi }1≦i≦n return (t, M*). (V(pk, t, sk), P(pk, t, M*)) [V → P] (kenc, kmac) = sk, t0 || mac = t kmac を用いて、macの正しさを確認 kenc を用いて、t0から、kprf とαを復号。 l個のランダムインデックス I（⊆ [1..n]）を選択、i ∈ I vi ← B Send Q = {(i, vi)}i ∈ I. [P → V] { mi } ∪ { σi } = M* μ ← Σ(i, vi)∈Qvi mi σ ← Σ(i, vi)∈Qviσi Send (σ, μ). [V] return σ =? Σ(i, vi)∈Qvifkprf(i) + αμ. スキームの観察 構成について 証明者Pはファイルの各ブロックmiのMACであるσiを保持。 検証者Vは、ランダムに選択したl個のブロックのランダムな線形結合μ=Σ(i, vi)∈Qvi miのMACを要求する。 証明者PはチャレンジμのMACとして、各ブロックのMACの線形結合であるσ=Σ(i, vi)∈Qviσiを答える。 利用しているMACスキームの準同型性のおかげで、MACの線形結合σが意味を持つ。 安全性について 与えられたチャレンジQ = {(i, vi)}i ∈ Iについて、 検証式の係数であるfkprf(i)やαは検証者にしか見えない乱数だから、 σ = ? Σ(i, vi)∈Qvifkprf(i) + αμ を満たす (σ, μ) を答えるためには、証明者は、インデックス集合Iに属するiについて、{mi}も{σi}も捨てられない。 ところが、Q = {(i, vi)}i ∈ I においてインデックス集合Iはランダムに選ばれるから、証明者は結局どの{mi}も{σi}も捨てられない。 定理 (私的検証可能ストレージ証明 Priv) もしも MAC が偽造不可能で、 ENC が意味論的安全で、 f が擬似ランダム関数である ならば、 ω = 1/#B + (ρn)l/(n-l+1)l とするとき、 ε ≧ ω かつ ε-ωが非無視可能であるようなεについて、 私的検証ストレージ証明 Priv はε-健全と言える。 証明について 上に見たように、検証者Vを説得するには、正しい{mi}について μ ← Σ(i, vi)∈Qvi mi と計算するしかない。 ランダムに選ばれたQについて、O( n/(ε-ω) )回、P にそのようなμを答えさせれば、線形代数（行縮約）を用いて、{mi}の割合ρを復元できる。 公的検証可能ストレージ証明 Pub = (Kg, St, V, P) 部品 ρ-erasure code（割合ρ以上の符号語から全体ファイルをデコード可能な線形符号）C 双線形写像 e G x G → GT, G = g 位数p ハッシュ関数 H {0,1}* → G 署名スキーム (Skg, SSig, Svfy) パラメータ B ⊆ Zp チャレンジ集合 l ランダムインデックス集合の大きさ Kg() (spk, ssk) ← SKg α ← Zp, v = gα return sk = (α, ssk), pk = (v, spk). St(sk, M) { mi }1≦i≦n = M ← C(M) ※ 以下、各符号語miは必要な場合はZpの要素と考える。 (α, ssk) = sk name ← Zp, u ← G t0 = name||n||u, t = t0||SSigssk(t0) i ∈ [1..n] σi ← ( H(name||i) umi )α ※ σiはmiの署名 M* = M ∪ { σi }1≦i≦n return (t, M*). (V(pk=(v,spk), t, sk), P(pk, t, M*)) [V → P] spk を用いてタグtの正しさを確認して後、 name||n||u = t. l個のランダムインデックス I（⊆ [1..n]）を選択、i ∈ I vi ← B Send Q = {(i, vi)}i ∈ I. [P → V] { mi } ∪ { σi } = M* μ ← Σ(i, vi)∈Qvi mi σ ← Π(i, vi)∈Qσivi Send (σ, μ). [V] return e(σ,g) =? e(Π(i, vi)∈QH(name||i)vi uμ, v). スキームの観察 構成について 証明者Pはファイルの各ブロックmiの署名であるσiを保持 検証者Vは、ランダムに選択したl個のブロックのランダムな線形結合μ=Σ(i, vi)∈Qvi miの署名を要求する。 証明者Pはチャレンジμの署名として、各ブロックの署名の（乗法的）線形結合であるσ=Π(i, vi)∈Qσiviを答える。 利用している署名スキームの準同型性のおかげで、署名の線形結合σが意味を持つ。 安全性について 与えられたチャレンジQ = {(i, vi)}i ∈ Iについて、証明者*は、あるμについて、 σ = ( Π(i, vi)∈Q H(name||i)vi uμ )α を答えなければならない。（双線形写像の非退化性） 公開情報g, v=gαから、このようなσ=wαを作り出すのは、ハッシュ関数H(・)の操作不可能なランダム性を仮定すると困難。ここで、 w = Π(i, vi)∈Q H(name||i)vi uμ の g に関する離散対数がわからないことが効く。 定理 (公的検証可能ストレージ証明 Pub) もしも 署名スキームが存在的偽造不可能で、 群Gについて計算的ディフィー・ヘルマン仮定が成り立つ ならば、 ω = 1/#B + (ρn)l/(n-l+1)l とするとき、 ε ≧ ω かつ ε-ωが非無視可能であるようなεについて、 ハッシュ関数Hに関するランダムオラクルモデルのもとで、公的検証ストレージ証明 Pub はε-健全と言える。 証明について 上に見たように、検証者Vを説得するには、正しい{mi}について μ ← Σ(i, vi)∈Qvi mi と計算するしかない。 ランダムに選ばれたQについて、O( n/(ε-ω) )回、P にそのようなμを答えさせれば、線形代数（行縮約）を用いて、{mi}の割合ρを復元できる。 文献 [SW 08] [AKK 09] [JK07] [BJO 09] 上へ