Skip to content

fix(soundness): range-check HintsTable init limbs (#999)#1359

Merged
hero78119 merged 1 commit into
masterfrom
fix/issue-999-hint-table-range-check
Jun 16, 2026
Merged

fix(soundness): range-check HintsTable init limbs (#999)#1359
hero78119 merged 1 commit into
masterfrom
fix/issue-999-hint-table-range-check

fix(soundness): range-check HintsTable init limbs (#999)

c22ce1b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar