Skip to content

fix(formal-verification): use unsigned ULE for the keccak gate's byte-range contract - #934

Merged
MauroToscano merged 2 commits into
docs-keccak-formal-verification-baselinefrom
fix/keccak-z3-unsigned-byte-bound
Aug 13, 2026
Merged

fix(formal-verification): use unsigned ULE for the keccak gate's byte-range contract#934
MauroToscano merged 2 commits into
docs-keccak-formal-verification-baselinefrom
fix/keccak-z3-unsigned-byte-bound

Correct the direction of harm in the ULE contract comment

b973791
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar