情報科学 › ソフトウェア開発 › バージョン管理システム Git
内容アドレス格納庫
を有限バイト列全体、 を正整数とする。写像 が暗号学的ハッシュ関数であるとは、次の性質が(計算量的な意味で)成り立つことをいう。
- (衝突困難性) かつ となる を現実的な計算資源で求められない。
- (原像困難性) が与えられたとき、 となる を現実的な計算資源で求められない。
いま有限集合 を格納するとき、 を鍵 のもとに保存し、取り出しも で行う方式を内容アドレス格納庫(content-addressable store)という。この方式では、鍵は内容から決まり、内容が変われば必ず鍵も変わる。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。