Skip to content

feat(fc): define store pruning and prove the finalized-slot memory bound - #73

Merged
adust09 merged 2 commits into
mainfrom
feat/fc-prune-safety
Jul 30, 2026
Merged

feat(fc): define store pruning and prove the finalized-slot memory bound#73
adust09 merged 2 commits into
mainfrom
feat/fc-prune-safety

feat(fc): prove pruning preserves the store invariants

57dd6c0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar