Repository navigation

Update Proof section with measured collaborative scan benchmark - #26

Merged

timkpaine merged 2 commits into

mainfrom

Oct 6, 2026

Merged

Update Proof section with measured collaborative scan benchmark#26
timkpaine merged 2 commits into
mainfrom
tkp/proof-copy

Commits on Oct 6, 2026
- State the measured CPU-plus-card result in the Proof section
  timkpaine
  committed
  93fd69c
- Check the Proof section's measured result in the page test
  timkpaine
  committed
  6dcb3ba