miden-vm icon indicating copy to clipboard operation
miden-vm copied to clipboard

Published 20 hours ago • verified publisher icon 0xPolygonMiden

Properly constrain `u32` values

Open plafer opened this issue 5 months ago • 1 comments

As discussed in https://github.com/0xPolygonMiden/miden-vm/pull/1480#pullrequestreview-2287458755, AIR constraints currently don't verify that u32 values are $< 2^{32}$. We should enforce that in the constraints.

plafer avatar Sep 09 '24 13:09 plafer