Skip to content

feat(bootloader): prove the verify-core — "loads only verified bytes"#3

Merged
Hugegreencandle merged 1 commit into
mainfrom
feat/bootloader-proof
Jun 17, 2026
Merged

feat(bootloader): prove the verify-core — "loads only verified bytes"#3
Hugegreencandle merged 1 commit into
mainfrom
feat/bootloader-proof

feat(bootloader): prove the verify-core invariant — "loads only verif…

ede62e4
Select commit
Loading
Failed to load commit list.

There are no checks for this commit