diff --git a/crates/starknet_os_flow_tests/resources/data_gas_account.casm.json b/crates/starknet_os_flow_tests/resources/data_gas_account.casm.json new file mode 100644 index 00000000000..5ad24764730 --- /dev/null +++ b/crates/starknet_os_flow_tests/resources/data_gas_account.casm.json @@ -0,0 +1,1854 @@ +{ + "prime": "0x800000000000011000000000000000000000000000000000000000000000001", + "compiler_version": "2.12.3", + "bytecode": [ + "0xa0680017fff8000", + "0x7", + "0x482680017ffa8000", + "0x100000000000000000000000000000000", + "0x400280007ff97fff", + "0x10780017fff7fff", + "0xc3", + "0x4825800180007ffa", + "0x0", + "0x400280007ff97fff", + "0x482680017ff98000", + "0x1", + "0x482480017ffe8000", + "0x1bf8", + "0x48297ffc80007ffd", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0x11", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", + "0x400080007ffe7fff", + "0x48127ffb7fff8000", + "0x482480017ffb8000", + "0x492", + "0x480a7ffb7fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffa7fff8000", + "0x482480017ff98000", + "0x1", + "0x208b7fff7fff7ffe", + "0x1104800180018000", + "0x358", + "0x482480017fff8000", + "0x357", + "0x48127ffb7fff8000", + "0x480080007ffe8000", + "0xa0680017fff8000", + "0x9", + "0x4824800180007ffd", + "0xd688", + "0x482480017fff8000", + "0x100000000000000000000000000000000", + "0x400080007ff57fff", + "0x10780017fff7fff", + "0x8a", + "0x4824800180007ffd", + "0xd688", + "0x400080007ff67fff", + "0x48127fff7fff8000", + "0x482480017ff58000", + "0x1", + "0x480680017fff8000", + "0x476574457865637574696f6e496e666f", + "0x400280007ffb7fff", + "0x400280017ffb7ffd", + "0x480280037ffb8000", + "0x20680017fff7fff", + "0x6d", + "0x480280027ffb8000", + "0x480280047ffb8000", + "0x480080017fff8000", + "0x480080007fff8000", + "0x480080017ffe8000", + "0x480080027ffd8000", + "0x480080037ffc8000", + "0x480080047ffb8000", + "0x480080057ffa8000", + "0x480080067ff98000", + "0x480080077ff88000", + "0x480080087ff78000", + "0x480080097ff68000", + "0x4800800a7ff58000", + "0x4800800b7ff48000", + "0x4800800c7ff38000", + "0x4800800d7ff28000", + "0x4800800e7ff18000", + "0x4800800f7ff08000", + "0x480080107fef8000", + "0x482680017ffb8000", + "0x5", + "0x48127feb7fff8000", + "0xa0680017fff8000", + "0x16", + "0x480080007fe68003", + "0x480080017fe58003", + "0x4844800180017ffe", + "0x100000000000000000000000000000000", + "0x483080017ffd7fe9", + "0x482480017fff7ffd", + "0x800000000000010fffffffffffffffff7ffffffffffffef0000000000000001", + "0x20680017fff7ffc", + "0x6", + "0x402480017fff7ffd", + "0xffffffffffffffffffffffffffffffff", + "0x10780017fff7fff", + "0x4", + "0x402480017ffe7ffd", + "0xf7ffffffffffffef0000000000000000", + "0x400080027fe17ffd", + "0x20680017fff7ffe", + "0x10", + "0x402780017fff7fff", + "0x1", + "0x400080007fe67fec", + "0x40780017fff7fff", + "0x5", + "0x482480017fe18000", + "0x1", + "0x482480017ff88000", + "0x316", + "0x48127fe57fff8000", + "0x480680017fff8000", + "0x0", + "0x10780017fff7fff", + "0x7", + "0x482480017fe18000", + "0x3", + "0x48127ff87fff8000", + "0x48127ffd7fff8000", + "0x48127ffb7fff8000", + "0x48127ffc7fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fe27fff8000", + "0x48127fec7fff8000", + "0x48127fec7fff8000", + "0x1104800180018000", + "0xa7", + "0x20680017fff7ffd", + "0x10", + "0x40780017fff7fff", + "0x1", + "0x400080007fff7ffd", + "0x400080017fff7ffe", + "0x48127ffb7fff8000", + "0x482480017ef78000", + "0x12c", + "0x48127eed7fff8000", + "0x480680017fff8000", + "0x0", + "0x48127ffb7fff8000", + "0x482480017ffa8000", + "0x2", + "0x208b7fff7fff7ffe", + "0x48127ffc7fff8000", + "0x48127ef87fff8000", + "0x48127eee7fff8000", + "0x48127ffb7fff8000", + "0x48127ffb7fff8000", + "0x10780017fff7fff", + "0xa", + "0x480280027ffb8000", + "0x48127ffc7fff8000", + "0x482480017ffe8000", + "0xac58", + "0x482680017ffb8000", + "0x6", + "0x480280047ffb8000", + "0x480280057ffb8000", + "0x48127ffb7fff8000", + "0x48127ffb7fff8000", + "0x48127ffb7fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x4f7574206f6620676173", + "0x400080007ffe7fff", + "0x482480017ff38000", + "0x1", + "0x48127ff87fff8000", + "0x480a7ffb7fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffa7fff8000", + "0x482480017ff98000", + "0x1", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x4f7574206f6620676173", + "0x400080007ffe7fff", + "0x482680017ff98000", + "0x1", + "0x482680017ffa8000", + "0x21b6", + "0x480a7ffb7fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffa7fff8000", + "0x482480017ff98000", + "0x1", + "0x208b7fff7fff7ffe", + "0xa0680017fff8000", + "0x7", + "0x482680017ffa8000", + "0x100000000000000000000000000000000", + "0x400280007ff97fff", + "0x10780017fff7fff", + "0x4a", + "0x4825800180007ffa", + "0x0", + "0x400280007ff97fff", + "0x482680017ff98000", + "0x1", + "0x482480017ffe8000", + "0x1bf8", + "0x48297ffc80007ffd", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0x11", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", + "0x400080007ffe7fff", + "0x48127ffb7fff8000", + "0x482480017ffb8000", + "0x492", + "0x480a7ffb7fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffa7fff8000", + "0x482480017ff98000", + "0x1", + "0x208b7fff7fff7ffe", + "0x1104800180018000", + "0x280", + "0x482480017fff8000", + "0x27f", + "0x48127ffb7fff8000", + "0x480080007ffe8000", + "0xa0680017fff8000", + "0x9", + "0x4824800180007ffd", + "0x0", + "0x482480017fff8000", + "0x100000000000000000000000000000000", + "0x400080007ff57fff", + "0x10780017fff7fff", + "0x11", + "0x4824800180007ffd", + "0x0", + "0x400080007ff67fff", + "0x40780017fff7fff", + "0x1", + "0x482480017ff58000", + "0x1", + "0x482480017ffd8000", + "0x190", + "0x480a7ffb7fff8000", + "0x480680017fff8000", + "0x0", + "0x48127ffb7fff8000", + "0x48127ffa7fff8000", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x4f7574206f6620676173", + "0x400080007ffe7fff", + "0x482480017ff38000", + "0x1", + "0x48127ff87fff8000", + "0x480a7ffb7fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffa7fff8000", + "0x482480017ff98000", + "0x1", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x4f7574206f6620676173", + "0x400080007ffe7fff", + "0x482680017ff98000", + "0x1", + "0x482680017ffa8000", + "0x21b6", + "0x480a7ffb7fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffa7fff8000", + "0x482480017ff98000", + "0x1", + "0x208b7fff7fff7ffe", + "0x4825800180007ffc", + "0x1", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0x160", + "0x4825800180007ffc", + "0x3", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0x10", + "0x40780017fff7fff", + "0xe6", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x494e56414c49445f5458", + "0x400080007ffe7fff", + "0x480a7fea7fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffc7fff8000", + "0x482480017ffb8000", + "0x1", + "0x208b7fff7fff7ffe", + "0x48297ff380007ff4", + "0x4844800180007fff", + "0x3", + "0x4824800180007fff", + "0x2", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0x10", + "0x40780017fff7fff", + "0xe3", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x494e56414c49445f5245534f555243455f424f554e4453", + "0x400080007ffe7fff", + "0x480a7fea7fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffc7fff8000", + "0x482480017ffb8000", + "0x1", + "0x208b7fff7fff7ffe", + "0x48297ff380007ff4", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0x122", + "0x480680017fff8000", + "0x1", + "0x480280007ff38000", + "0x480280017ff38000", + "0x480280027ff38000", + "0x48297ff380007ff4", + "0x484480017ffb8000", + "0x3", + "0xa0680017fff8000", + "0x6", + "0x48307ffd80007ffe", + "0x400280007fea7fff", + "0x10780017fff7fff", + "0x105", + "0x482480017ffe8000", + "0x1", + "0x48307fff80007ffc", + "0x400280007fea7fff", + "0x48327ffc7ff38000", + "0x4824800180007ff7", + "0x4c315f474153", + "0x482680017fea8000", + "0x1", + "0x480080007ffd8000", + "0x480080017ffc8000", + "0x480080027ffb8000", + "0x20680017fff7ffb", + "0xa", + "0x48127ff27fff8000", + "0x48127ff27fff8000", + "0x48127ff27fff8000", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", + "0x10780017fff7fff", + "0x8", + "0x48127ffd7fff8000", + "0x48127ffd7fff8000", + "0x48127ffd7fff8000", + "0x48127fef7fff8000", + "0x48127fef7fff8000", + "0x48127fef7fff8000", + "0x4824800180007ffa", + "0x4c315f474153", + "0x20680017fff7fff", + "0xd7", + "0x4824800180007ffc", + "0x4c325f474153", + "0x20680017fff7fff", + "0xc5", + "0x48127ff47fff8000", + "0x48127ff87fff8000", + "0x480680017fff8000", + "0x0", + "0x48127ff77fff8000", + "0x480680017fff8000", + "0x0", + "0x1104800180018000", + "0xfe", + "0x20680017fff7fff", + "0xac", + "0x48127fa57fff8000", + "0x480680017fff8000", + "0x0", + "0x480680017fff8000", + "0x0", + "0x48287ff57fa38001", + "0xa0680017fff7fff", + "0x7", + "0x4824800180007fff", + "0x100000000000000000000000000000000", + "0x400080007ff67fff", + "0x10780017fff7fff", + "0xc", + "0x400080007ff77fff", + "0x40780017fff7fff", + "0x5", + "0x482480017ff28000", + "0x1", + "0x48127ff97fff8000", + "0x480680017fff8000", + "0x0", + "0x10780017fff7fff", + "0x13", + "0x480680017fff8000", + "0x0", + "0x480680017fff8000", + "0x1", + "0x48307fff7ffe8001", + "0xa0680017fff7fff", + "0x7", + "0x4824800180007fff", + "0x100000000000000000000000000000000", + "0x400080017ff17fff", + "0x10780017fff7fff", + "0x79", + "0x400080017ff27fff", + "0x482480017ff28000", + "0x2", + "0x48127ffa7fff8000", + "0x48127ffd7fff8000", + "0x20680017fff7ff5", + "0x6d", + "0x48127ffd7fff8000", + "0x48127ff27fff8000", + "0x48127ff27fff8000", + "0x48127ffb7fff8000", + "0x48127ffb7fff8000", + "0x1104800180018000", + "0xcb", + "0x20680017fff7fff", + "0x56", + "0x48307ffe7f9a8001", + "0xa0680017fff7fff", + "0x7", + "0x4824800180007fff", + "0x100000000000000000000000000000000", + "0x400080007ff97fff", + "0x10780017fff7fff", + "0xc", + "0x400080007ffa7fff", + "0x40780017fff7fff", + "0x1", + "0x482480017ff98000", + "0x1", + "0x48127ffd7fff8000", + "0x480680017fff8000", + "0x0", + "0x10780017fff7fff", + "0x7", + "0x482480017ff98000", + "0x1", + "0x48127ffe7fff8000", + "0x480680017fff8000", + "0x1", + "0x48307ff77f938001", + "0xa0680017fff7fff", + "0x7", + "0x4824800180007fff", + "0x100000000000000000000000000000000", + "0x400080007ffa7fff", + "0x10780017fff7fff", + "0xb", + "0x400080007ffb7fff", + "0x40780017fff7fff", + "0x4", + "0x482480017ff78000", + "0x1", + "0x48127ffa7fff8000", + "0x48127ff67fff8000", + "0x10780017fff7fff", + "0x11", + "0x480680017fff8000", + "0x1", + "0x48307fff7ffa8001", + "0xa0680017fff7fff", + "0x7", + "0x4824800180007fff", + "0x100000000000000000000000000000000", + "0x400080017ff67fff", + "0x10780017fff7fff", + "0x14", + "0x400080017ff77fff", + "0x482480017ff78000", + "0x2", + "0x48127ffb7fff8000", + "0x48127ffd7fff8000", + "0x20680017fff7ff6", + "0xa", + "0x40780017fff7fff", + "0x3", + "0x48127ffa7fff8000", + "0x480680017fff8000", + "0x0", + "0x48127ff97fff8000", + "0x48127ff97fff8000", + "0x208b7fff7fff7ffe", + "0x48127ffd7fff8000", + "0x10780017fff7fff", + "0x6", + "0x40780017fff7fff", + "0x2", + "0x482480017ff48000", + "0x2", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x753235365f616464204f766572666c6f77", + "0x400080007ffe7fff", + "0x48127ffd7fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffc7fff8000", + "0x482480017ffb8000", + "0x1", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x10", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x753235365f6d756c204f766572666c6f77", + "0x400080007ffe7fff", + "0x48127fea7fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffc7fff8000", + "0x482480017ffb8000", + "0x1", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x66", + "0x48127f977fff8000", + "0x10780017fff7fff", + "0x6", + "0x40780017fff7fff", + "0x68", + "0x482480017f898000", + "0x2", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x753235365f616464204f766572666c6f77", + "0x400080007ffe7fff", + "0x48127ffd7fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffc7fff8000", + "0x482480017ffb8000", + "0x1", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x74", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x753235365f6d756c204f766572666c6f77", + "0x400080007ffe7fff", + "0x48127f867fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffc7fff8000", + "0x482480017ffb8000", + "0x1", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0xcb", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x494e56414c49445f5458", + "0x400080007ffe7fff", + "0x48127f277fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffc7fff8000", + "0x482480017ffb8000", + "0x1", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0xcc", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x494e56414c49445f5458", + "0x400080007ffe7fff", + "0x48127f277fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffc7fff8000", + "0x482480017ffb8000", + "0x1", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0xda", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x496e646578206f7574206f6620626f756e6473", + "0x400080007ffe7fff", + "0x482680017fea8000", + "0x1", + "0x480680017fff8000", + "0x1", + "0x48127ffc7fff8000", + "0x482480017ffb8000", + "0x1", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0xe2", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x496e646578206f7574206f6620626f756e6473", + "0x400080007ffe7fff", + "0x480a7fea7fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffc7fff8000", + "0x482480017ffb8000", + "0x1", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0xe9", + "0x480a7fea7fff8000", + "0x480680017fff8000", + "0x0", + "0x480a7fed7fff8000", + "0x480680017fff8000", + "0x0", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x2", + "0x4824800180008002", + "0xffffffffffffffff0000000000000000", + "0x480280007ff98001", + "0x480280017ff97ffe", + "0x400280027ff97ffe", + "0x484480017ffe8000", + "0x10000000000000000", + "0x40317ffc7fff7ffa", + "0x48487ffc7ffc8000", + "0x48487ffc7ffc8000", + "0x4824800180018002", + "0xffffffffffffffff0000000000000000", + "0x480280037ff98001", + "0x480280047ff97fff", + "0x400280057ff97ffd", + "0x484480017ffd8000", + "0x10000000000000000", + "0x40307ffd7fff7ffb", + "0x484480017ffd8000", + "0x10000000000000000", + "0x48307fff7ff98003", + "0x482480017fff8000", + "0xfffffffffffffffe0000000000000000", + "0x480280067ff97fff", + "0x480280077ff97ffd", + "0x400280087ff97ff0", + "0x404480017ffc7ffe", + "0x100000000000000000000000000000000", + "0x40307ff07ffe7fff", + "0x40307ffc7ff77fef", + "0x40780017fff7fff", + "0x2", + "0x4824800180008002", + "0xffffffffffffffff0000000000000000", + "0x480280097ff98001", + "0x4802800a7ff97ffe", + "0x4002800b7ff97ffe", + "0x484480017ffe8000", + "0x10000000000000000", + "0x40317ffc7fff7ffa", + "0x48487ffd7ffc8000", + "0x48487ffd7ffc8000", + "0x4824800180018002", + "0xffffffffffffffff0000000000000000", + "0x4802800c7ff98001", + "0x4802800d7ff97fff", + "0x4002800e7ff97ffd", + "0x484480017ffd8000", + "0x10000000000000000", + "0x40307ffd7fff7ffb", + "0x484480017ffd8000", + "0x10000000000000000", + "0x48307fff7ff98003", + "0x482480017fff8000", + "0xfffffffffffffffe0000000000000000", + "0x4802800f7ff97fff", + "0x480280107ff97ffd", + "0x400280117ff97ff0", + "0x404480017ffc7ffe", + "0x100000000000000000000000000000000", + "0x40307ff07ffe7fff", + "0x40307ffc7ff77fef", + "0x40780017fff7fff", + "0x2", + "0x4824800180008002", + "0xffffffffffffffff0000000000000000", + "0x480280127ff98001", + "0x480280137ff97ffe", + "0x400280147ff97ffe", + "0x484480017ffe8000", + "0x10000000000000000", + "0x40317ffc7fff7ffb", + "0x48487ffc7ffc8000", + "0x48487ffc7ffc8000", + "0x4824800180018002", + "0xffffffffffffffff0000000000000000", + "0x480280157ff98001", + "0x480280167ff97fff", + "0x400280177ff97ffd", + "0x484480017ffd8000", + "0x10000000000000000", + "0x40307ffd7fff7ffb", + "0x484480017ffd8000", + "0x10000000000000000", + "0x48307fff7ff98003", + "0x482480017fff8000", + "0xfffffffffffffffe0000000000000000", + "0x480280187ff97fff", + "0x480280197ff97ffd", + "0x4002801a7ff97ff0", + "0x404480017ffc7ffe", + "0x100000000000000000000000000000000", + "0x40307ff07ffe7fff", + "0x40307ffc7ff77fef", + "0x48307fdf7fcd8001", + "0xa0680017fff7fff", + "0x7", + "0x4824800180007fff", + "0x100000000000000000000000000000000", + "0x4002801b7ff97fff", + "0x10780017fff7fff", + "0x4e", + "0x4002801b7ff97fff", + "0x482680017ff98000", + "0x1c", + "0x20680017fff7fdb", + "0x3f", + "0x20680017fff7fec", + "0x6", + "0x480680017fff8000", + "0x1", + "0x10780017fff7fff", + "0x4", + "0x480680017fff8000", + "0x0", + "0x480680017fff8000", + "0x1", + "0x48307ffe80007fff", + "0x20680017fff7fff", + "0x2e", + "0x480680017fff8000", + "0x0", + "0x48287ffb80017fff", + "0xa0680017fff7fff", + "0x7", + "0x482480017fff8000", + "0x100000000000000000000000000000000", + "0x400080007ff87fff", + "0x10780017fff7fff", + "0xb", + "0x400080007ff97fff", + "0x40780017fff7fff", + "0x5", + "0x482480017ff48000", + "0x1", + "0x480680017fff8000", + "0x0", + "0x10780017fff7fff", + "0x19", + "0x480680017fff8000", + "0x0", + "0x48287ffd80017fff", + "0xa0680017fff7fff", + "0x7", + "0x482480017fff8000", + "0x100000000000000000000000000000000", + "0x400080017ff47fff", + "0x10780017fff7fff", + "0xb", + "0x400080017ff57fff", + "0x40780017fff7fff", + "0x1", + "0x482480017ff48000", + "0x2", + "0x480680017fff8000", + "0x0", + "0x10780017fff7fff", + "0x6", + "0x482480017ff48000", + "0x2", + "0x480680017fff8000", + "0x1", + "0x10780017fff7fff", + "0xb", + "0x40780017fff7fff", + "0x8", + "0x10780017fff7fff", + "0x4", + "0x40780017fff7fff", + "0xb", + "0x48127ff47fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffe7fff8000", + "0x48127ff07fff8000", + "0x48127ffd7fff8000", + "0x10780017fff7fff", + "0x9", + "0x40780017fff7fff", + "0xd", + "0x482680017ff98000", + "0x1c", + "0x48127ff17fff8000", + "0x480680017fff8000", + "0x1", + "0x48307fdd7ffe8001", + "0xa0680017fff7fff", + "0x7", + "0x4824800180007fff", + "0x100000000000000000000000000000000", + "0x400080007ffa7fff", + "0x10780017fff7fff", + "0xb", + "0x400080007ffb7fff", + "0x40780017fff7fff", + "0x1", + "0x482480017ffa8000", + "0x1", + "0x48127ffd7fff8000", + "0x48127ffa7fff8000", + "0x10780017fff7fff", + "0x7", + "0x482480017ffa8000", + "0x1", + "0x48127ffe7fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffd7fff8000", + "0x48127fb47fff8000", + "0x48127ffc7fff8000", + "0x48127ffc7fff8000", + "0x208b7fff7fff7ffe" + ], + "bytecode_segment_lengths": [ + 216, + 95, + 365, + 214 + ], + "hints": [ + [ + 0, + [ + { + "TestLessThanOrEqual": { + "lhs": { + "Immediate": "0x0" + }, + "rhs": { + "Deref": { + "register": "FP", + "offset": -6 + } + }, + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 19, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 40, + [ + { + "TestLessThanOrEqual": { + "lhs": { + "Immediate": "0xd688" + }, + "rhs": { + "Deref": { + "register": "AP", + "offset": -2 + } + }, + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 59, + [ + { + "SystemCall": { + "system": { + "Deref": { + "register": "FP", + "offset": -5 + } + } + } + } + ] + ], + [ + 85, + [ + { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": -19 + } + }, + "rhs": { + "Immediate": "0x100000000000000000000000000000000" + }, + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 87, + [ + { + "DivMod": { + "lhs": { + "Deref": { + "register": "AP", + "offset": -20 + } + }, + "rhs": { + "Immediate": "0x100000000000000000000000000000000" + }, + "quotient": { + "register": "AP", + "offset": 3 + }, + "remainder": { + "register": "AP", + "offset": 4 + } + } + } + ] + ], + [ + 148, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 185, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 200, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 216, + [ + { + "TestLessThanOrEqual": { + "lhs": { + "Immediate": "0x0" + }, + "rhs": { + "Deref": { + "register": "FP", + "offset": -6 + } + }, + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 235, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 256, + [ + { + "TestLessThanOrEqual": { + "lhs": { + "Immediate": "0x0" + }, + "rhs": { + "Deref": { + "register": "AP", + "offset": -2 + } + }, + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 268, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 280, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 295, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 325, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 348, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 373, + [ + { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": -1 + } + }, + "rhs": { + "Deref": { + "register": "AP", + "offset": -2 + } + }, + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 432, + [ + { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": 0 + } + }, + "rhs": { + "Immediate": "0x100000000000000000000000000000000" + }, + "dst": { + "register": "AP", + "offset": -1 + } + } + } + ] + ], + [ + 454, + [ + { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": 0 + } + }, + "rhs": { + "Immediate": "0x100000000000000000000000000000000" + }, + "dst": { + "register": "AP", + "offset": -1 + } + } + } + ] + ], + [ + 478, + [ + { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": 0 + } + }, + "rhs": { + "Immediate": "0x100000000000000000000000000000000" + }, + "dst": { + "register": "AP", + "offset": -1 + } + } + } + ] + ], + [ + 501, + [ + { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": 0 + } + }, + "rhs": { + "Immediate": "0x100000000000000000000000000000000" + }, + "dst": { + "register": "AP", + "offset": -1 + } + } + } + ] + ], + [ + 520, + [ + { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": 0 + } + }, + "rhs": { + "Immediate": "0x100000000000000000000000000000000" + }, + "dst": { + "register": "AP", + "offset": -1 + } + } + } + ] + ], + [ + 549, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 563, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 584, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 598, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 612, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 626, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 640, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 655, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 676, + [ + { + "WideMul128": { + "lhs": { + "Deref": { + "register": "FP", + "offset": -6 + } + }, + "rhs": { + "Deref": { + "register": "FP", + "offset": -4 + } + }, + "high": { + "register": "AP", + "offset": 0 + }, + "low": { + "register": "AP", + "offset": 1 + } + } + } + ] + ], + [ + 678, + [ + { + "DivMod": { + "lhs": { + "Deref": { + "register": "FP", + "offset": -6 + } + }, + "rhs": { + "Immediate": "0x10000000000000000" + }, + "quotient": { + "register": "AP", + "offset": 1 + }, + "remainder": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 688, + [ + { + "DivMod": { + "lhs": { + "Deref": { + "register": "AP", + "offset": -1 + } + }, + "rhs": { + "Immediate": "0x10000000000000000" + }, + "quotient": { + "register": "AP", + "offset": 0 + }, + "remainder": { + "register": "AP", + "offset": 1 + } + } + } + ] + ], + [ + 699, + [ + { + "DivMod": { + "lhs": { + "Deref": { + "register": "AP", + "offset": 2 + } + }, + "rhs": { + "Immediate": "0x100000000000000000000000000000000" + }, + "quotient": { + "register": "AP", + "offset": -1 + }, + "remainder": { + "register": "AP", + "offset": -13 + } + } + } + ] + ], + [ + 708, + [ + { + "WideMul128": { + "lhs": { + "Deref": { + "register": "FP", + "offset": -6 + } + }, + "rhs": { + "Deref": { + "register": "FP", + "offset": -3 + } + }, + "high": { + "register": "AP", + "offset": 0 + }, + "low": { + "register": "AP", + "offset": 1 + } + } + } + ] + ], + [ + 710, + [ + { + "DivMod": { + "lhs": { + "Deref": { + "register": "FP", + "offset": -6 + } + }, + "rhs": { + "Immediate": "0x10000000000000000" + }, + "quotient": { + "register": "AP", + "offset": 1 + }, + "remainder": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 720, + [ + { + "DivMod": { + "lhs": { + "Deref": { + "register": "AP", + "offset": -1 + } + }, + "rhs": { + "Immediate": "0x10000000000000000" + }, + "quotient": { + "register": "AP", + "offset": 0 + }, + "remainder": { + "register": "AP", + "offset": 1 + } + } + } + ] + ], + [ + 731, + [ + { + "DivMod": { + "lhs": { + "Deref": { + "register": "AP", + "offset": 2 + } + }, + "rhs": { + "Immediate": "0x100000000000000000000000000000000" + }, + "quotient": { + "register": "AP", + "offset": -1 + }, + "remainder": { + "register": "AP", + "offset": -13 + } + } + } + ] + ], + [ + 740, + [ + { + "WideMul128": { + "lhs": { + "Deref": { + "register": "FP", + "offset": -5 + } + }, + "rhs": { + "Deref": { + "register": "FP", + "offset": -4 + } + }, + "high": { + "register": "AP", + "offset": 0 + }, + "low": { + "register": "AP", + "offset": 1 + } + } + } + ] + ], + [ + 742, + [ + { + "DivMod": { + "lhs": { + "Deref": { + "register": "FP", + "offset": -5 + } + }, + "rhs": { + "Immediate": "0x10000000000000000" + }, + "quotient": { + "register": "AP", + "offset": 1 + }, + "remainder": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 752, + [ + { + "DivMod": { + "lhs": { + "Deref": { + "register": "AP", + "offset": -1 + } + }, + "rhs": { + "Immediate": "0x10000000000000000" + }, + "quotient": { + "register": "AP", + "offset": 0 + }, + "remainder": { + "register": "AP", + "offset": 1 + } + } + } + ] + ], + [ + 763, + [ + { + "DivMod": { + "lhs": { + "Deref": { + "register": "AP", + "offset": 2 + } + }, + "rhs": { + "Immediate": "0x100000000000000000000000000000000" + }, + "quotient": { + "register": "AP", + "offset": -1 + }, + "remainder": { + "register": "AP", + "offset": -13 + } + } + } + ] + ], + [ + 773, + [ + { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": 0 + } + }, + "rhs": { + "Immediate": "0x100000000000000000000000000000000" + }, + "dst": { + "register": "AP", + "offset": -1 + } + } + } + ] + ], + [ + 801, + [ + { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": 0 + } + }, + "rhs": { + "Immediate": "0x100000000000000000000000000000000" + }, + "dst": { + "register": "AP", + "offset": -1 + } + } + } + ] + ], + [ + 820, + [ + { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": 0 + } + }, + "rhs": { + "Immediate": "0x100000000000000000000000000000000" + }, + "dst": { + "register": "AP", + "offset": -1 + } + } + } + ] + ], + [ + 864, + [ + { + "TestLessThan": { + "lhs": { + "Deref": { + "register": "AP", + "offset": 0 + } + }, + "rhs": { + "Immediate": "0x100000000000000000000000000000000" + }, + "dst": { + "register": "AP", + "offset": -1 + } + } + } + ] + ] + ], + "entry_points_by_type": { + "EXTERNAL": [ + { + "selector": "0x4ddd04b671bd8953f2dfa24a146c045c3fc8cb23b4fc40bf36b4d3cb50294a", + "offset": 0, + "builtins": [ + "range_check" + ] + } + ], + "L1_HANDLER": [], + "CONSTRUCTOR": [ + { + "selector": "0x28ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194", + "offset": 216, + "builtins": [ + "range_check" + ] + } + ] + } +} \ No newline at end of file diff --git a/crates/starknet_os_flow_tests/resources/data_gas_account.sierra.json b/crates/starknet_os_flow_tests/resources/data_gas_account.sierra.json new file mode 100644 index 00000000000..3e8c345dbd1 --- /dev/null +++ b/crates/starknet_os_flow_tests/resources/data_gas_account.sierra.json @@ -0,0 +1,728 @@ +{ + "sierra_program": [ + "0x1", + "0x7", + "0x0", + "0x2", + "0xb", + "0x0", + "0x194", + "0x6c", + "0x33", + "0x52616e6765436865636b", + "0x800000000000000100000000000000000000000000000000", + "0x75313238", + "0x800000000000000700000000000000000000000000000000", + "0x4e6f6e5a65726f", + "0x800000000000000700000000000000000000000000000001", + "0x1", + "0x553132384d756c47756172616e746565", + "0x436f6e7374", + "0x800000000000000000000000000000000000000000000002", + "0xc", + "0x2", + "0x496e646578206f7574206f6620626f756e6473", + "0x753235365f6d756c204f766572666c6f77", + "0x753235365f616464204f766572666c6f77", + "0x537472756374", + "0x800000000000000f00000000000000000000000000000001", + "0x0", + "0x2ee1e2b1b89f8c495f200e4956278a4d47395fe262f27b52e5865c9524c08c3", + "0x456e756d", + "0x800000000000000700000000000000000000000000000003", + "0x3288d594b9a45d15bb2fcb7903f06cdb06b27f0ba88186ec4cfaa98307cb972", + "0x7", + "0x25e2ca4b84968c2d8b83ef476ca8549410346b00836ce79beaf538155990bb2", + "0x9", + "0x8", + "0x4c325f474153", + "0x66656c74323532", + "0x4c315f474153", + "0x753634", + "0x24", + "0x426f78", + "0x14", + "0x494e56414c49445f5245534f555243455f424f554e4453", + "0x800000000000000700000000000000000000000000000004", + "0x3342418ef16b3e2799b906b1e4e89dbb9b111332dd44f72458ce44f9895b508", + "0xf", + "0x4172726179", + "0x800000000000000300000000000000000000000000000001", + "0x536e617073686f74", + "0x15", + "0x494e56414c49445f5458", + "0x3", + "0x4f7574206f6620676173", + "0x1b", + "0x800000000000000700000000000000000000000000000002", + "0x1baeba72e79e9db2587cf44fedb2f3700b2075a5e8e39a562584862c4b71f62", + "0x1c", + "0x1d", + "0x16a4c8d7c05909052238a862d8cc3e7975bf05a07b3a69c6b28951083a6d672", + "0x800000000000000300000000000000000000000000000003", + "0x20", + "0x2ce4352eafa6073ab4ecf9445ae96214f99c2c33a29c01fcae68ba501d10e2c", + "0x1f", + "0x21", + "0x753332", + "0x1597b831feeb60c71f259624b79cf66995ea4f7e383403583674ab9c33b9cec", + "0x16", + "0x436f6e747261637441646472657373", + "0x80000000000000070000000000000000000000000000000e", + "0x348a62b7a38c0673e61e888d83a3ac1bf334ee7361a8514593d3d9532ed8b39", + "0x26", + "0x25", + "0x27", + "0x2a", + "0x3808c701a5d13e100ab11b6c02f91f752ecae7e420d21b56c90ec0a475cc7e5", + "0x800000000000000700000000000000000000000000000006", + "0x7d4d99e9ed8d285b5c61b493cedb63976bc3d9da867933d829f49ce838b5e7", + "0x29", + "0x28", + "0x2b", + "0x4275696c74696e436f737473", + "0x53797374656d", + "0x9931c641b913035ae674b400b61a51476d506bbe8bba2ff8a6272790aba9e6", + "0x1e", + "0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473", + "0x4761734275696c74696e", + "0x7c", + "0x7265766f6b655f61705f747261636b696e67", + "0x77697468647261775f676173", + "0x6272616e63685f616c69676e", + "0x72656465706f7369745f676173", + "0x7374727563745f6465636f6e737472756374", + "0x73746f72655f74656d70", + "0x32", + "0x61727261795f736e617073686f745f706f705f66726f6e74", + "0x64726f70", + "0x31", + "0x61727261795f6e6577", + "0x636f6e73745f61735f696d6d656469617465", + "0x30", + "0x61727261795f617070656e64", + "0x7374727563745f636f6e737472756374", + "0x656e756d5f696e6974", + "0x2f", + "0x2e", + "0x6765745f6275696c74696e5f636f737473", + "0x2d", + "0x77697468647261775f6761735f616c6c", + "0x6765745f657865637574696f6e5f696e666f5f76325f73797363616c6c", + "0x2c", + "0x756e626f78", + "0x647570", + "0x656e61626c655f61705f747261636b696e67", + "0x75313238735f66726f6d5f66656c74323532", + "0x23", + "0x6a756d70", + "0x736e617073686f745f74616b65", + "0x66756e6374696f6e5f63616c6c", + "0x656e756d5f6d61746368", + "0x22", + "0x64697361626c655f61705f747261636b696e67", + "0x72656e616d65", + "0x753132385f746f5f66656c74323532", + "0x1a", + "0x19", + "0x753132385f6571", + "0x18", + "0x17", + "0x61727261795f6c656e", + "0x13", + "0x7533325f6571", + "0x12", + "0x10", + "0x61727261795f676574", + "0x11", + "0xe", + "0x66656c743235325f737562", + "0x66656c743235325f69735f7a65726f", + "0xd", + "0xb", + "0x757063617374", + "0xa", + "0x753132385f6f766572666c6f77696e675f616464", + "0x6", + "0x5", + "0x4", + "0x753132385f67756172616e7465655f6d756c", + "0x753132385f6d756c5f67756172616e7465655f766572696679", + "0x753132385f69735f7a65726f", + "0x626f6f6c5f6e6f745f696d706c", + "0x753132385f6f766572666c6f77696e675f737562", + "0x2ff", + "0xffffffffffffffff", + "0x9c", + "0x8e", + "0x7f", + "0x34", + "0x35", + "0x36", + "0x37", + "0x38", + "0x4b", + "0x39", + "0x3a", + "0x3b", + "0x3c", + "0x3d", + "0x3e", + "0x3f", + "0x40", + "0x41", + "0x51", + "0x42", + "0x43", + "0x44", + "0x45", + "0x46", + "0x47", + "0x48", + "0x75", + "0x49", + "0x4a", + "0x4c", + "0x4d", + "0x4e", + "0x4f", + "0x50", + "0x52", + "0x53", + "0x54", + "0x55", + "0x56", + "0x57", + "0x58", + "0x59", + "0x5a", + "0x5b", + "0x5c", + "0x5d", + "0x5e", + "0x5f", + "0x60", + "0x61", + "0x62", + "0x63", + "0x64", + "0x65", + "0x86", + "0x66", + "0x67", + "0x68", + "0x69", + "0x6a", + "0x6b", + "0x6c", + "0x6d", + "0x6e", + "0x6f", + "0x70", + "0x71", + "0x72", + "0x73", + "0x74", + "0x76", + "0x77", + "0xe5", + "0xc3", + "0xd7", + "0x277", + "0x108", + "0x129", + "0x26a", + "0x25d", + "0x164", + "0x168", + "0x24e", + "0x23f", + "0x78", + "0x79", + "0x7a", + "0x7b", + "0x7d", + "0x7e", + "0x80", + "0x81", + "0x22f", + "0x82", + "0x83", + "0x84", + "0x85", + "0x87", + "0x88", + "0x89", + "0x8a", + "0x8b", + "0x8c", + "0x8d", + "0x8f", + "0x90", + "0x91", + "0x92", + "0x93", + "0x94", + "0x95", + "0x96", + "0x97", + "0x98", + "0x99", + "0x9a", + "0x9b", + "0x1b7", + "0x9d", + "0x9e", + "0x9f", + "0xa0", + "0x1c0", + "0xa1", + "0xa2", + "0xa3", + "0x21e", + "0xa4", + "0xa5", + "0xa6", + "0x216", + "0xa7", + "0xa8", + "0xa9", + "0xaa", + "0xab", + "0xac", + "0xad", + "0x208", + "0xae", + "0xaf", + "0xb0", + "0xb1", + "0xb2", + "0xb3", + "0xb4", + "0x1d6", + "0xb5", + "0xb6", + "0xb7", + "0xb8", + "0xb9", + "0xba", + "0xbb", + "0x1dc", + "0xbc", + "0xbd", + "0xbe", + "0xbf", + "0x1e2", + "0xc0", + "0xc1", + "0xc2", + "0xc4", + "0x1ea", + "0xc5", + "0xc6", + "0xc7", + "0x1f9", + "0xc8", + "0xc9", + "0xca", + "0x1f3", + "0xcb", + "0xcc", + "0xcd", + "0xce", + "0xcf", + "0x1fe", + "0xd0", + "0xd1", + "0xd2", + "0xd3", + "0xd4", + "0xd5", + "0xd6", + "0xd8", + "0xd9", + "0xda", + "0xdb", + "0xdc", + "0x225", + "0xdd", + "0xde", + "0xdf", + "0xe0", + "0xe1", + "0xe2", + "0xe3", + "0xe4", + "0xe6", + "0xe7", + "0xe8", + "0xe9", + "0xea", + "0xeb", + "0xec", + "0xed", + "0xee", + "0xef", + "0xf0", + "0xf1", + "0xf2", + "0xf3", + "0xf4", + "0xf5", + "0xf6", + "0xf7", + "0xf8", + "0xf9", + "0xfa", + "0xfb", + "0xfc", + "0xfd", + "0xfe", + "0xff", + "0x100", + "0x101", + "0x102", + "0x103", + "0x104", + "0x105", + "0x106", + "0x107", + "0x109", + "0x10a", + "0x10b", + "0x10c", + "0x10d", + "0x10e", + "0x10f", + "0x110", + "0x111", + "0x112", + "0x2e3", + "0x2d6", + "0x2a5", + "0x2aa", + "0x2d1", + "0x2ba", + "0x2ce", + "0x2c6", + "0x2cc", + "0x2df", + "0x2db", + "0x2ed", + "0x2f3", + "0x2fa", + "0x28e", + "0x1a90", + "0x2c0e0a04838180b03828120d0602c0e0a048081007038180a04018080200", + "0x1c26120a8400e070381c30120a8402e070b81c2c120a8502612088401e0c", + "0x7c0e0a048103c1d0602c0e0a0482c0e0602810381b0602c0e0a048680e19", + "0x1c4a070581c481211840180c0f81c1409110301607050244207030800e0c", + "0x1c180703828122b0601c0e0a048a8180b0382812290381850210389c4c07", + "0x406207098485c101801c5e12170405a07030a0160713898580c0581c1409", + "0x281237038d80e35090cc282d038d00e13090cc20320904420190384c242e", + "0x1c62070381c7c070581c7a121e040083b1d01c7212170400838090300e07", + "0x8c20410381840400381840310387c0e1f038c40e07038fc0e0b0382c0e0b", + "0x1208e070308016071f01c7c072301c8a072204886101f01c4a071281c8412", + "0x140244f270089a0b03818404c0602c0e0a048dc0e4b0392824330a0089204", + "0x1cae300381cae0b0381cac550381ca8120381ca8310381ca61229048a212", + "0x1786e0703974680703974160703970160703950b60703968160703964b007", + "0x1940e072a048c812319880e072a048c25f0381ca8600381ca8070617c0e0c", + "0x1c0e662301c0e540581c0e571f01c0e572281c0e572381c0e532381c0e66", + "0x1cae3f0381cae310381cae070381cae400381ca6400381cce400381ca840", + "0x1c0e5d2001c0e572001c0e6c091ac0e0703950d407039682469091a03e07", + "0x640e072b8640e07360d80e0729848e06f0381cdc0c1581cda190381ca819", + "0x1746207039745a070395c5a07039b024720381c0e710c81c0e530c81c0e67", + "0x1cb4730381cb42d0381ca8340381cae370381ca6120617c0e0c2f12c0e07", + "0x1c4de07039500e0c3781c185e3b81c0e5a3b01c0e5a091d40e070399ce807", + "0x1cac7b0381cb4123d07c0e072a1e40e072d0840e073c0fc0e07298fc0e07", + "0x19cfc07039504207039f4420703950f8070396842070399874070395c4207", + "0x2080e072b84902124002c0e07389fc0e072d0940e072b8840e07298840e07", + "0x15c3407039b90a070394c562b039b40e071281c18841281c0e714181c0e5a", + "0x1cba07060680e0c2f0490c1a0381ca812060680e0c2f05c0e072e85c0e07", + "0x1c0e5a1081c0e574401c0e5a4381c0e5a0d01c0e5709030de07061786c07", + "0x2140e072e8680e07388480e07388491c12468300e072b8491812458491489", + "0x30241743831228844831200c03848180709049200709048248f4281c0e54", + "0x1d20074481d10120c81d20071581d12120d01d20074401c5612092400e12", + "0x49200709030240b039d906850624018190385c241a03a400e1a03a1c2489", + "0x2400e124284904074801c340715848249003a0c0e190904920074281c3412", + "0x48f8074801c4a7f06208242503a400e250382c242503a400e1241848fe07", + "0x2240e88091e40e90039ec0e7c091ec0e90039f0fc0c12848fc074801c247f", + "0x1d20073c81cf6120601d20070601cfc124101d20074101d0e124481d2007", + "0x1d20070d01c5612092400e0b0386824124801c240c091e4188244a240e79", + "0xac52121481d20071481c42121081d20071081d0e121481d2007091e42421", + "0x48e6074801cee071584824900384818123a1d818923b8e81890060a44289", + "0x24c6230168ad200c061cc183a090e80e90038e80e88091cc0e90039cc0e87", + "0x486e074801c5a07158485a074801c5a074384824900384818121a0d8962b", + "0x1007c3f0f9a91090039bc0e74091bc0e90038c40e76090c40e90038c40e77", + "0x2400e40038c024124801c7c07168482490038fc0e2d0904920073501ce612", + "0xd0244603a400e46038d8244603a400e1f0392c241f03a400e1f038c42412", + "0x2592a9400154b05b2f980c465239050490039140e37091148c0c4801c8c07", + "0x2400e60038c024124801cc407350482490039940e6f0904920072381c5a12", + "0x1caa07378482490039600e1f0904920072d81c6012092400e5f038c02412", + "0x2580e6a0904920074a81c7e12092400e94038fc24124801c0007350482490", + "0x100243703a400e3703a1c243003a400e30039f824124801c243e090492007", + "0x2740e90038dc0e2b09049200709030249c4da6856994c25c189006104740c", + "0x2600e45092800e9003a740e870927c0e9003a5c0e88092780e90038488c12", + "0x1c5612092400e120604824a30384882125101d20074f01c8a125081d2007", + "0x2400e9c0391424a003a400ea403a1c249f03a400e9a03a2024a403a400e37", + "0x48249003a940e65092994a0c4801c8c072384944074801d3607228494207", + "0x1cc0125301d20075301c6c124f81d20074f81d10125381d2007512841862", + "0x2b00eab5501d200c5481cb61254aa0189003a9d4c9f1597c24a703a400ea7", + "0x2640e90038490a125681d20075001c5612092400e122c0482490038481812", + "0x1d2a12092400eaf03a5024b05783120075701c00125701d20075501caa12", + "0x1d64074b848249003a8c0e6f0928d640c4801d62074b04962b0062400eb0", + "0x3120075801d2c125a81d20075a2641882092d00e9003acc0e98092cc0e90", + "0x20824b903a400eb803a6024b803a400eb703a5c24124801d6c07378496eb6", + "0x2f00e9c0904920075d81d36125e2ec189003ae80e9a092e80e9003ae56a0c", + "0x1d20075401d10125f81d20075f01d3c125f01d20075e81d3a125e81d2007", + "0x2240ebf03a400ebf039ec243003a400e30039f824ad03a400ead03a1c24a8", + "0x1d3e126001d20075001c5612092400e122c04824900384818125f8c15aa8", + "0x2400ec003a1c24c303a400ea803a2024124801d82075004984c1062400eac", + "0x4818120931c0e12208498c074801d8407508498a074801c60073f0498807", + "0x30c0e90038e80e88093200e900392c0e2b0912c0e900392c0e87090492007", + "0x48fe126301d20071a01d42126281d20071b01cfc126201d20076401d0e12", + "0x2400ec303a2024cb03a400eca039f024ca03a400ec6648304a126481d2007", + "0x1d96074801d96073d8498a074801d8a073f04988074801d8807438498607", + "0x499a074801c2485093300e90039d00e2b0904920070903024cb62b118689", + "0x1c247f0933c0e9003b399a0c410499c074801d9c07058499c074801c24a2", + "0x1d20073b01d10126901d20076881cf8126881d200767b401825093400e90", + "0x2240ed203a400ed2039ec240c03a400e0c039f824cc03a400ecc03a1c2476", + "0x21424d303a400e17038ac24124801c5607350482490038481812690319876", + "0x2400ed56a03104126a81d20076a81c16126a81d20070928824d403a400e12", + "0x49b0074801dae073e049ae074801dacab0609424ab03a400e123f849ac07", + "0x3600e7b090300e90038300e7e0934c0e9003b4c0e870921c0e9003a1c0e88", + "0x3651089062401807090300e12092400e1209049b00c69a1d12076c01d2007", + "0x220241903a400e2b03a24241a03a400e88038ac24124801c240c0905d0e0c", + "0x4816076d20d0a0c4803032070b84834074801c34074384912074801d1207", + "0x2080e90038680e2b0904920074181c3212092400e850386824124801c240c", + "0x94fe0c410484a074801c4a07058484a074801c2483091fc0e90038490a12", + "0x1d20073d81cf8123d81d20073e1f81825091f80e9003848fe123e01d2007", + "0x1ec240c03a400e0c039f8248203a400e8203a1c248903a400e8903a202479", + "0xac24124801c16070d04824900384818123c83104894481cf2074801cf207", + "0x2400e2903884242103a400e2103a1c242903a400e123c84842074801c3407", + "0x1dc0e2b0904920070903024743b031b6771d031200c14885122b148485207", + "0x4920071801d3612188c01890038b40e9a090b40e90038490a123981d2007", + "0x1d10121a01d20071b01d3c121b01d20072581d3a122581d20071881d3812", + "0x2400e34039ec240c03a400e0c039f8247303a400e7303a1c243a03a400e3a", + "0x2400e12428486e074801ce8071584824900384818121a030e63a4481c6807", + "0x483e074801cd46f06208246a03a400e6a0382c246a03a400e1251048de07", + "0x1d80e88091000e90038f80e7c090f80e900387c7e0c128487e074801c247f", + "0x1d20072001cf6120601d20070601cfc121b81d20071b81d0e123b01d2007", + "0x1d20070b81c5612092400e2b039a824124801c240c0910018373b2240e40", + "0x1141882091040e90039040e0b091040e900384944122281d2007092142446", + "0x2400e62039f0246203a400e47328304a123281d2007091fc244703a400e41", + "0x4818074801c18073f0488c074801c8c07438490e074801d0e0744048c007", + "0x1d120737849122b062400e0c03a582460061190e89039800e90039800e7b", + "0x3702490062210e0c530490e2b062400e2b03a94248803a400e12520482490", + "0x4818120937424900605c560c530482e074801c24a7090492007090302412", + "0x1c16120c81d2007092a0241a03a400e124284824900381c0e65090492007", + "0x1d0a8306094248303a400e123f8490a074801c321a06208241903a400e19", + "0x2080e9003a080eaa090480e90038480e88092080e900382c0ea90902c0e90", + "0x950490039fc0e37091fc0e0c4801c0e071a0482490038481812410481807", + "0x482490039f00e2d0904920071281c6012169cce8763b8e852213c9ecfc7c", + "0x4920071081c6012092400e79038c024124801cf607350482490039f80e6f", + "0x2400e74038fc24124801cec07350482490039dc0e6f0904920071481c6012", + "0xc00ead090c00e90038e80eac0904920071681cd412092400e73038fc2412", + "0x12c0e900392c0eaf090d80e90038495c122581d20071881d32121881d2007", + "0x1c24850904920070381cca12092400e120604824de092401836258316012", + "0x1bc0e90038dc680c410486e074801c6e07058486e074801c24b1090d00e90", + "0x1d10121f81d20070f81d52120f81d2007379a81825091a80e9003848fe12", + "0x1c0e3409049200709030243f090300e3f03a400e3f03aa8241203a400e12", + "0xc024002a960b65f30188ca47209148c40412400e3e038dc243e038312007", + "0x482490039040e6a0904920072281cde12092400e46038b424124801c8007", + "0x4920072f81cde12092400e62038c024124801cca071804824900391c0e30", + "0x2400e00039a824124801caa071f8482490039600e3f0904920072d81cd412", + "0x37d2e9606240189503ac8249503a400e9403ab4249403a400e6003ab02412", + "0x1c0e34092680e9003a5c0eb30904920074b01d4612092400e12060493007", + "0xc024a95429d4ca55228942a04fa793a9c412400e9b038dc249b038312007", + "0x48249003a7c0e6a0904920074f01cde12092400e9d038b424124801d3807", + "0x4920075281cde12092400ea2038c024124801d420718048249003a800e30", + "0x2400ea9039a824124801d50071f848249003a9c0e3f0904920075301cd412", + "0x1d5e125681d20075501d5a125601d2007092d024aa03a400ea403ab02412", + "0x2bc0ee0572641890062b15a1215ad8249a03a400e9a03ad424ac03a400eac", + "0x1d34075c04960074801d5c07598495c074801d5c075b8482490038481812", + "0x2400eb3039bc24124801d46075d04966a3590ad20075881d721258a681890", + "0x2c24b603a400eb45a8317a125a81d20075901d78125a01d2007092ec2412", + "0x316c075f04960074801d60075a84932074801d3207440496c074801d6c07", + "0x2e40e9003ac00eb5092e00e9003a680eb50904920070903024b703b842490", + "0x2e00e9003ac00eb50904920075b81d7e12092400e120604824e2038488212", + "0x2f578bb15a400eba03ae424ba5c03120075c01d70125c81d20074d01d6a12", + "0x2400ebb03af024be03a400e125d848249003af40e6f0904920075e01d7412", + "0x38c2490063000ebe093000e9003b000e0b093000e9003af97e0c5e8497e07", + "0x31588c315a400ec203ae424c25c83120075c81d7012092400e12060498207", + "0x2400ec303af024c603a400e1260048249003b140e6f0904920076201d7412", + "0x3902490063240ebe093240e9003b240e0b093240e9003b19900c5e8499007", + "0x3399acc15a400ecb03ae424cb5c03120075c01d7012092400e12060499407", + "0x1d9e07610499e074801d9a0760848249003b380e6f0904920076601c6012", + "0x1da40718049a8d3690ad20076881d721268ae4189003ae40eb8093400e90", + "0x11824d603a400ed503b0824d503a400ed303b0424124801da807378482490", + "0x1db0075d048249003b5c0e3009395b0d715a400eb803ae424ab03a400e12", + "0x49d0074801d56d00618824e703a400e1223049cc074801dca074b8482490", + "0x1cc0127401d20077401cc0124c81d20074c81d10122701d200773b981862", + "0x31424eb4983120077501d8812753a4189003939d09915b0c244e03a400e4e", + "0x2400e1223048249003bb00ec60904920070903024ee03bb5d80748031d607", + "0x32424c703a400e1264049e2074801dded60618824f003a400e1223049de07", + "0x3d00eba0904920077981c60127abd1e62b4801d72075c849e4074801d8e07", + "0x3f9fafc7dbe9f2927c3dd04900381c0e37093d80e9003bd40e97090492007", + "0x1a824124801d240737848249003be00e2d0904920077b81c60128140600ff", + "0x48249003bf00e300904920077d81c6012092400efa038c024124801df207", + "0x4920078081c7e12092400f00038fc24124801dfe0735048249003bf40e1f", + "0x3c80eca093c40e9003bc40e600940c0e9003bf80e970904920078101cd412", + "0x22024124801c240c0941d220c83416080c4803206f6748ad96127901d2007", + "0x42c0e122084a14074801de0072284a12074801e0a072284a10074801e0807", + "0x1e180722849e0074801de0072284a18074801c24a4090492007090302412", + "0x1d1012092400e120604a23100643e1d0d06240190c7824456cb094300e90", + "0x24018f203b14250a03a400f0e03914250903a400f0703914250803a400f0d", + "0x4540e9003c2a120c31048249003c480ec609049200709030251403c4e2407", + "0xad86128a81d20078a81cc0127881d20077881cc0128401d20078401d1012", + "0x1e371a03a40191903b1425198c03120078b81d88128bc58189003c55e308", + "0x4600e960947a3a0c4801d26074b048249003c680ec609049200709030251c", + "0x48249003848181292c901923914841890064823d1615b2c25208f8312007", + "0x1e44072284a50074801e42074404a4e074801e4c076484a4c074801c24c8", + "0x1c24c80904920070903024129581c2441094a80e9003c9c0eca094a40e90", + "0x4a40e9003c940e45094a00e9003c900e88094b40e9003cb00ecc094b00e90", + "0x1c240c094ca620c984be5c0c480323f1d940ad96129501d20079681d9412", + "0x4a68074801e520722849b4074801e5e072284a66074801e5c07440482490", + "0x4a6c074801e6c072284a6c074801c24a40904920070903024129a81c2441", + "0x1d20079b81d1012092400e120604a773a064e6713706240193694cc456cb", + "0x1e7b3c03a40192a03b14253403a400f380391424da03a400f32039142533", + "0x4fc0ecd094fc0e9003cd1b40c31048249003cf00ec609049200709030253e", + "0x1d2007a081d54129981d20079981d1012a081d2007a001d9c12a001d2007", + "0x1bc24124801e680737848249003cf80ec6090492007090302541998300f41", + "0x1bc24124801c240c0904a860709104254203a400f3303a2024124801db407", + "0x5080e9003ce80e880904920079501d9e12092400f32039bc24124801e7607", + "0x516880c4104a8a074801e8a070584a8a074801c24d0095100e90038490a12", + "0x1d2007a401d5212a401d2007a351c18250951c0e9003848fe12a301d2007", + "0x492007090302549a10300f4903a400f4903aa8254203a400f4203a202549", + "0x1d20070921424124801d26074a048249003c600e940904920078e01d8c12", + "0x1fc254b03a400edba503104126d81d20076d81c16126d81d200709344254a", + "0x1e2c074404a9c074801e9a075484a9a074801e974c06094254c03a400e12", + "0x2400f1403b1824124801c240c0953a2c0c03d380e9003d380eaa094580e90", + "0x1e120737848249003c280e6f0904920077881d2812092400e9303a502412", + "0x1e2207378482490038481812095400e122084a9e074801e1007440482490", + "0x3c80ecf0904920077881d2812092400f07039bc24124801d26074a0482490", + "0x2c255203a400e126804aa2074801c24850953c0e9003c400e88090492007", + "0x54ea80c1284aa8074801c247f0954c0e9003d4aa20c4104aa4074801ea407", + "0x1d2007ab01d5412a781d2007a781d1012ab01d2007aa81d5212aa81d2007", + "0x1bc24124801d26074a048249003bb80ec6090492007090302556a78300f56", + "0x4aae074801c24850904920075c81da412092400e070399424124801dac07", + "0x1c247f093640e9003d62ae0c4104ab0074801eb0070584ab0074801c24d1", + "0x1d20077481d1012ad81d2007ad01d5212ad01d20076cd641825095640e90", + "0x48249003b280ebf09049200709030255b748300f5b03a400f5b03aa824e9", + "0x5700e90038490a12092400e070399424124801d700769048249003ae40ed2", + "0x48fe12af01d2007aed701882095740e9003d740e0b095740e90038495012", + "0x2400e9903a20256103a400f6003aa4256003a400f5eaf8304a12af81d2007", + "0x4920076081d7e12092400e120604ac2990601ec2074801ec207550493207", + "0x1d20070921424124801c0e0732848249003ae00ed20904920075c81da412", + "0x1fc256403a400f63b10310412b181d2007b181c1612b181d2007092a02562", + "0x1d32074404ace074801ecc075484acc074801ec96506094256503a400e12", + "0x2400e070399424124801c240c0959d320c03d9c0e9003d9c0eaa092640e90", + "0x1ed2070584ad2074801c24d3095a00e90038490a12092400e9a03b482412", + "0x1d2007b55ac1825095ac0e9003848fe12b501d2007b4da01882095a40e90", + "0x300f6d03a400f6d03aa824af03a400eaf03a20256d03a400f6c03aa4256c", + "0x2400e124284824900381c0e650904920074c01d4612092400e120604adaaf", + "0x4ae0074801edf6e06208256f03a400f6f0382c256f03a400e126984adc07", + "0x480e88095cc0e9003dc80ea9095c80e9003dc2e20c1284ae2074801c247f", + "0x1c5607378482490038481812b98481807b981d2007b981d54120901d2007", + "0x1ee8071804aff7ebedf2f6ddbd5e6f177bb5d6e8824801c0e071b8482490", + "0x5e40e30090492007bc01c6012092400f77039a824124801eea07168482490", + "0x1cd412092400f7b039bc24124801dba070f848249003de80e30090492007", + "0x25c24124801efe0735048249003df80e3f090492007be81c7e12092400f7c", + "0x1f04076684b04074801f038006188258103a400e122304b00074801eec07", + "0x6100e9003e100eaa090480e90038480e88096100e9003e0c0ece0960c0e90", + "0x1c5607528490e88062400e0c03a5824891583120070381d2c12c20481807", + "0x31aa1241a14322b4801c341706350241a4403120074401d4a120b8ac1890", + "0x48f8253f8ad2007410ac18d4092090e0c4801d0e075284816074801d0612", + "0x84f22b4801d107b06350247b4483120074481d4a123f01d20073e02c18d5", + "0x3024733a0330a763b831200c12864742b6584874074801c527e063542429", + "0x2400e12060485a07c3049200c3f81dac123b81d20073b81d1012092400e12", + "0x1d98121881d20070932024124801c240c090c00f8709240187903b582412", + "0x2ac24124801c240c0904b100709104243603a400e4b03b28244b03a400e31", + "0x1d20071b81d94121b81d20071a01d92121a01d20070932024124801c6007", + "0x1f126a03a40186f03b14246f03a400e6f03b28246f03a400e3603b5c2436", + "0x2400e3f03914243f03a400e12230482490039a80ec609049200709030241f", + "0x1000e6f0904920070903024452303314401f031200c448fcee2b6c0487e07", + "0x220244703a400e4103b24244103a400e1264048249003a1c0e6f090492007", + "0x4824900384818120962c0e1220848c4074801c8e0765048ca074801c7c07", + "0x21cc04615b60246003a400e6003914246003a400e12230482490039140e6f", + "0x2400e126404824900396c0e6f0904920070903024552c033185b2f831200c", + "0x492c074801d2807650492a074801cbe074404928074801c0007648480007", + "0x330249703a400e12640482490039540e6f090492007090302412c681c2441", + "0x1d2a07728492c074801d3007650492a074801cb0074404930074801d2e07", + "0x26c0e90039880ee6092680e90039940ee5091880e9003a580ee6091940e90", + "0x48249003a1c0e6f0904920070f81d8c12092400e1206048258e038488212", + "0x1bc24124801c5a075584824900384818120963c0e1220848249003a240e6f", + "0x4938074801c24c80904920073c81cde12092400e89039bc24124801d0e07", + "0x2680e880926c0e9003a740eca092680e90039dc0e88092740e9003a700ecc", + "0x4825900384882125001d20074d81d94124f81d20073b01c8a124f01d2007", + "0x48249003a240e6f0904920074381cde12092400e79039bc24124801c240c", + "0x2400e7403a2024a203a400ea103b3024a103a400e12640482490039fc0e6f", + "0x31200c10a7d3c2b6584940074801d4407650493e074801ce607228493c07", + "0x1d20075281c8a125401d20075201d1012092400e12060494ea6066454aa4", + "0x2400ea003b3c24124801c240c0904b24070910424aa03a400ea003b2824a9", + "0x1c8a125401d20075301d10125681d20075601d98125601d2007093202412", + "0x2a9320c7384932074801d52850618824aa03a400ead03b2824a903a400ea7", + "0x491289572a018075701d20075701dd0125401d20075401d10125701d2007", + "0xac18070917cc0550922462602a8491212158300e122f980aa12448c4c055", + "0x64c180709214240c0c864242bb38300e12378481819200485718" + ], + "sierra_program_debug_info": { + "type_names": [], + "libfunc_names": [], + "user_func_names": [] + }, + "contract_class_version": "0.1.0", + "entry_points_by_type": { + "EXTERNAL": [ + { + "selector": "0x4ddd04b671bd8953f2dfa24a146c045c3fc8cb23b4fc40bf36b4d3cb50294a", + "function_idx": 0 + } + ], + "L1_HANDLER": [], + "CONSTRUCTOR": [ + { + "selector": "0x28ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194", + "function_idx": 1 + } + ] + }, + "abi": [ + { + "type": "constructor", + "name": "constructor", + "inputs": [] + }, + { + "type": "struct", + "name": "core::integer::u256", + "members": [ + { + "name": "low", + "type": "core::integer::u128" + }, + { + "name": "high", + "type": "core::integer::u128" + } + ] + }, + { + "type": "function", + "name": "test_resource_bounds", + "inputs": [], + "outputs": [ + { + "type": "core::integer::u256" + } + ], + "state_mutability": "external" + }, + { + "type": "event", + "name": "data_gas_account_cairo1::data_gas_account_cairo1::TestContract::Event", + "kind": "enum", + "variants": [] + } + ] +} diff --git a/crates/starknet_os_flow_tests/src/special_contracts.rs b/crates/starknet_os_flow_tests/src/special_contracts.rs index 94e75f43bbc..0028c7140c6 100644 --- a/crates/starknet_os_flow_tests/src/special_contracts.rs +++ b/crates/starknet_os_flow_tests/src/special_contracts.rs @@ -22,3 +22,18 @@ pub(crate) static V1_BOUND_CAIRO1_CONTRACT_CASM: LazyLock = serde_json::from_str(include_str!("../resources/v1_bound_cairo1_account.casm.json")) .unwrap() }); + +#[allow(dead_code)] +pub(crate) static DATA_GAS_ACCOUNT_CONTRACT_SIERRA: LazyLock = + LazyLock::new(|| { + let compiler_contract_class: cairo_lang_starknet_classes::contract_class::ContractClass = + serde_json::from_str(include_str!("../resources/data_gas_account.sierra.json")) + .unwrap(); + SierraContractClass::from(compiler_contract_class) + }); + +#[allow(dead_code)] +pub(crate) static DATA_GAS_ACCOUNT_CONTRACT_CASM: LazyLock = + LazyLock::new(|| { + serde_json::from_str(include_str!("../resources/data_gas_account.casm.json")).unwrap() + });