Repository navigation

tls: make hello::bootstrap verify - #12

Merged

atiernan merged 3 commits into

phase3/tls-ccs-fragmentsfrom

phase3/tls-bootstrap-proof

Oct 27, 2026

Merged

tls: make hello::bootstrap verify#12
atiernan merged 3 commits into
phase3/tls-ccs-fragmentsfrom
phase3/tls-bootstrap-proof

Commits on Oct 26, 2026
- proof(tls): bootstrap acknowledge_send and eof obligations
  
  atiernan
  and
  claude
  committed
  3249e16
- proof(tls): bootstrap feed refines the spec, split into helper lemmas
  
  atiernan
  and
  claude
  committed
  80f6213
- Merge origin/phase3/tls-ccs-fragments into phase3/tls-bootstrap-proof
  
  atiernan
  and
  claude
  committed
  4d4c266