kkrt-labs/cairo-vm-ts

feat: implement range_check96

Closed this issue · 0 comments

The all_cairo layout has a range_check builtin and a range_check96 which differ by the value of the upper bound. Both should be implemented. Adapt the current rangeCheckHandler to take as parameter the exponent $x$ of the bound:
$\text{rcBound} = 2^x$, with $x = 128$ or $x = 96$