Determinism Proofs

Determinism Proofs — показан в пълни детайли, с неговото доказателство: детерминиран адрес по съдържание, преизчислим от името на компонента.

докажи всичко · детерминираното ядро, в анимация

6/6 доказани · 512 проби

Детерминизъм

Един и същ вход винаги дава един и същ UUID — провери чрез преизчисление, не с разрешение.

toUuid(x) = toUuid(x), for all x

Лавинен ефект (доказателство срещу подправяне)

Смени един символ и ~половината от 128-те бита се обръщат — всяка промяна е видима.

mean Hamming(toUuid(x), toUuid(x′)) / 128 ≈ 1/2

Чувствителност към реда (род 2)

merge(a,b) се различава от merge(b,a): сгъването е некомутативно, двете посоки са различни.

≠

merge(a,b) ≠ merge(b,a)

Меркъл включване

Всеки лист носи одитна пътека, която преизчислява корена — включване, доказуемо без доверие към хоста.

fold(path(leaf)) = root

Без колизии

Различни семена дават различни UUID-та по целия влак на пи — никои две координати не споделят разписка.

|{toUuid(s) : s ∈ set}| = |set|

Инвариантност на сгъването на множество

Едно и също множество се сгъва до един корен в произволен ред — сгъването зависи от множеството, не от редицата.

fold(set) independent of order

анимациите вдигат цената на фалшификата, изчислено: 2,962 възпроизвеждания срещу един статичен корен · 7,260 живи преизчисления / секунда · или счупи 128-bit преобраз на разписка

✓ доказано · адрес по съдържание 73cab198-f8c5-8351-a3cd-4a6ffd4f0cd7 — деклариран, поставен, монтиран и преизчислим от името на компонента.

Determinism Proofs ​