giza
giza copied to clipboard
Implement Bitwise builtin constraints
The bitwise constraints are not implemented at all, and not documented for the Cairo VM. It might be possible to adapt the bitwise constraints that are documented for Miden (https://maticnetwork.github.io/miden/design/aux_table/bitwise.html).
link is broken, updated one is here : https://maticnetwork.github.io/miden/design/chiplets/bitwise.html