Skip to content

Research theorem: sharp scratch-dependent call bound for dirty echoes - #784

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
AlexS-scale:research/dirty-echo-space-budget-seed50
Oct 14, 2026
Merged

Research theorem: sharp scratch-dependent call bound for dirty echoes#784
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
AlexS-scale:research/dirty-echo-space-budget-seed50

research: prove a sharp scratch-dependent dirty-echo bound

548e420
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs