Skip to content

fix(programs): enforce extension checks for Compress with CToken-only outputs (H-01)#2261

Closed
ananas-block wants to merge 1 commit into
mainfrom
jorrit/fix-certora-h01-extension-bypass
Closed

fix(programs): enforce extension checks for Compress with CToken-only outputs (H-01)#2261
ananas-block wants to merge 1 commit into
mainfrom
jorrit/fix-certora-h01-extension-bypass

Commits

Commits on Feb 9, 2026