Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

P5 · Platform

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

SHA-256 is collision-resistant (the journal’s hash chain, I18)

Sites: txn::chain (the chain decision, proved), txn::journal (its I/O)

If it is false

These invariants fall: I2, I8, I18.