Skip to content

Derive proof domains from supply and execution-work limits - #79

Merged
Th0rgal merged 1 commit into
mainfrom
codex/resource-assumption-closure
Sep 15, 2026
Merged

Derive proof domains from supply and execution-work limits#79
Th0rgal merged 1 commit into
mainfrom
codex/resource-assumption-closure

feat(proofs): derive history domains from supply and work limits

a59d572
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar