public-vm: support all types for SET (u8, ..., u128)

[dbanks12]

No description provided.

[fcarreiro]

@dbanks12 what was the scope for this ticket? have the binary rep be u128 and cast, or decide the spec on what to do with other sizes?

[dbanks12]

Let's do whatever's easiest for now (probably 128 binary rep + cast?). This ticket is basically "get them working with simulator and transpiler", although at the moment Noir doesn't actually tell us what type it's setting, so we might not really be able to flex this with real transpiled code at the moment.

[fcarreiro]

It's done now on the TS side, assuming a 128 bit constant in the wire format. As I mentioned in other comment, we have a few options for the wire format depending on wether we want fixed-size serialization or variable-size serialization.

• Fixed: (1) many opcodes, one for each size; (2) one opcode, constant size w/truncation (like now)
• Variable: I think this can be done by specializing static deserialize in Set. Should not be too difficult. Is this difficult on the circuit side?

cc: @jeanmon

[jeanmon]

Current cpp code deserializes SET bytecode deducing the size of the constant from the inTag (fixed size based on tag)