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

Tutorials

Tutorials walk through one piece of work from an empty directory to a checked result.

  • Build a log and verify the proofs stores three records, reads an inclusion proof back from the tiles, appends a fourth record, checks consistency, signs a checkpoint, and looks up a key in an indexed log.

Getting started is the shorter program that stops at the in-memory tree. The how-to guides are separate tasks for each crate.