ZKASM Proposals
inFREE0
$0{something} => A ; A0 was a FF, A1..A7 = 0
verify_free_input
$ => C :MLOAD(myvar)
A + 3 * C => B
; vs
A + 3 * myvar => B ; internament fa un MLOAD
A + 3 => myvar,B ; internament fa un MSTORE
useOpeAsParam & useConstAsParam