@taifoon
Truth Machine — Spec
Assume:
H collision-resistant
sound proofs
Define:
root := Commit(state)
Guarantee:
π verifies ⇒ state-transition valid ∧ binds(root)
Pr[forge] ≤ 2⁻²⁵⁶
Less narrative.
More invariants.
Taifoon.
On-chain.
□ QED
0 reply
0 recast
0 reaction