情報科学 › ソフトウェア開発 › バージョン管理システム Git

内容アドレス格納庫

定義 2.1(「バージョン管理システム Git」§2)

B={0,1}∗B = \{0,1\}^{*} を有限バイト列全体、bb を正整数とする。写像 H:B→{0,1}bH : B \to \{0,1\}^{b} が暗号学的ハッシュ関数であるとは、次の性質が(計算量的な意味で)成り立つことをいう。

  • (衝突困難性)H(x)=H(y)H(x) = H(y) かつ x≠yx \neq y となる (x,y)(x, y) を現実的な計算資源で求められない。
  • (原像困難性)y∈{0,1}by \in \{0,1\}^{b} が与えられたとき、H(x)=yH(x) = y となる xx を現実的な計算資源で求められない。

いま有限集合 S⊆BS \subseteq B を格納するとき、x∈Sx \in S を鍵 H(x)H(x) のもとに保存し、取り出しも H(x)H(x) で行う方式を内容アドレス格納庫(content-addressable store)という。この方式では、鍵は内容から決まり、内容が変われば必ず鍵も変わる。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 2 問