search

TritonVM / tasm-lib

A collection of functions written in Triton VM assembly (tasm)
Apache License 2.0
11 stars 2 forks source link

Different `TasmObject::MAX_OFFSET` values for different structs? #128

Open Sword-Smith opened 2 weeks ago

Sword-Smith commented 2 weeks ago

Can we use different TasmObject::MAX_OFFSET values for different structs?

Cf 910991140c25fbae53aaffc3e973f28ba8b3b5c9 and cb5d463012271dc33c71fbb954625a61a5b4b16b, we added a bounds-check on the field sizes. We set the max size very high since some witnesses can contain many (up to 1000?) proofs.

If this MAX_OFFSET value could be defined for each struct, it would limit the number of shenanigans, you could do.