zkevm-rom 0.0.1-security → 6.0.1

package/test/ecrecover.zkasm

@@ -0,0 +1,538 @@
+;;;;;;;;;;;;
+;; ecrecover_tx
+;;;;;;;;;;;;
+INCLUDE "../main/constants.zkasm"
+VAR GLOBAL lastHashKIdUsed
+VAR GLOBAL cntKeccakPreProcess
+VAR GLOBAL originalCTX
+start:
+
+        STEP => A
+        0 :ASSERT
+
+        CTX     :MSTORE(originalCTX)
+        -1      :MSTORE(lastHashKIdUsed)
+                ; :JMP(repeat_ecrecover_test)
+                :JMP(edge_cases)
+
+INCLUDE "../main/ecrecover/ecrecover.zkasm"
+
+repeat_ecrecover_test:
+        ; A:ecrecover_hash B:ecrecover_r C:ecrecover_s D:ecrecover_v
+
+        0xd9eba16ed0ecae432b71fe008c98cc872bb4cc214d3220a36f365326cf807d68n => A
+        0x79BE667EF9DCBBAC55A06295CE870B07029BFCDB2DCE28D959F2815B16F81798n => B ; ECGX
+        0x265e99e47ad31bb2cab9646c504576b3abc6939a1710afc08cbf3034d73214b8n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0xBC44674AD5868F642EAD3FDF94E2D9C9185EAFB7n :ASSERT
+
+        0xd9eba16ed0ecae432b71fe008c98cc872bb4cc214d3220a36f365326cf807d68n => A
+        0x79BE667EF9DCBBAC55A06295CE870B07029BFCDB2DCE28D959F2815B16F81798n => B ; ECGX
+        0x265e99e47ad31bb2cab9646c504576b3abc6939a1710afc08cbf3034d73214b8n => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0xEE3FEFB38D4E5C7337818F635DEE7609F67CFDB8n :ASSERT
+
+        ; #100 first valid ecrecover_tx
+
+        0xd9eba16ed0ecae432b71fe008c98cc872bb4cc214d3220a36f365326cf807d68n => A
+        0xddd0a7290af9526056b4e35a077b9a11b513aa0028ec6c9880948544508f3c63n => B
+        0x265e99e47ad31bb2cab9646c504576b3abc6939a1710afc08cbf3034d73214b8n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0x14791697260e4c9a71f18484c9f997b308e59325n :ASSERT
+
+        ; #0 valid ecrecover_tx
+
+        0x3cc4cb050478c49877188e4fbd022f35ccb41cee02d9d4417194cbf7ebc1eeben => A
+        0x7dff8b06f4914ff0be0e02edf967ce8f13224cb4819e3833b777867db61f8a62n => B
+        0x2bcf13b5e4f34a04a77344d5943e0228ba2e787583036325450c889d597a16c4n => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0xbec80D04A24CD4D811876fF40F31260C339d63C2n :ASSERT
+
+        ; #1 valid ecrecover_tx
+
+        0xee43d51baa54831bfd9b03c4b17b59a594378d777e418020c3358f1822cec07dn => A
+        0xea678b4b3ebde1e877401b1bf67fd59e17c0eb75e6da8ecd9cc38620099e0c65n => B
+        0x2b954333cfe2b4bf97c4abbcede04a5edda0688b9e965a4bff3d6a45bed2a6e8n => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0xd571a2180a8647e77adfc109C49bd2137c7a71b5n :ASSERT
+
+        ; #2 valid ecrecover_tx
+
+        0xfd98b0bfc9eecc813b958263c08db17c932bfe1c2ae7c21a12bb42860d9d9c1fn => A
+        0x86b2f6d4bae0e1e1139bc29378fd243d33de35822652144b0b04af346cbf3ad2n => B
+        0x5ec4a8672d44b21bdc2203ab8adab6ae53d4c57a2d832090cab710f26600e2fcn => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0x52855436E41c2671759d54103e71A3d5Fe27439Cn :ASSERT
+
+        ; #3 valid ecrecover_tx
+
+        0xc401c7d7baa568f5928028def2818ec62b70db9b738ab3f4d36326dac17839e5n => A
+        0x4a95890f1102c6a6684815f4274d68d64d6deb59e5d524d1a6394256dd188b33n => B
+        0x3e53619fe2f4c67ac8ff4103da0740fd7c912be5b176329a74764bd790e42f51n => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0xA4E24c3ea459D50409dd31Cf1C35A222ADA889fan :ASSERT
+
+        ; #4 valid ecrecover_tx
+
+        0x60049b234e7fd86ba5354613066d0d67ccdd993d5322656c56562d48c208002an => A
+        0xf06fbfb021b185a599ec35b0c4a85f5c329abee4f91c4027cb90210c66868e99n => B
+        0x1e0e24cab3e119fea57b012b25bfd65f710fe567a53d1a414208f0385f37be1cn => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0x2302Fdd6dB52D32b84cc7648Fb9d8978a005E382n :ASSERT
+
+        ; #5 valid ecrecover_tx
+
+        0xfda892e54ef8d0fc5d34f3c78fd9262ebc97c448eec72348340c902ff8f82d86n => A
+        0xe9713e52d8ca16c7723ea73ff89244d1c5bfe6611f56d8a2cebcf25f546c0bb3n => B
+        0x627566979c5b6e3a5b8e06ba56f22eed367a9b54ed9c3c54d01a29012435fe02n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0xCc665b2CaA43684c99f0EB59751DC1a8C4dBd9Een :ASSERT
+
+        ; #6 valid ecrecover_tx
+
+        0x1df5d6cd09999848b734ef91a35a31840b6f4f7bc42fa4005ef44a3a0da75fd7n => A
+        0x8c661a2e0ae1ffe716d34e6d1ceacfd75326da91bf3af225ed675602a00ebf21n => B
+        0x3de21452fd054750ae68326d7781ed903b278bb1ac1f52fb8f55e8a4c9954000n => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0x1F34358a423C2FED839090Dd943A728Dbd711e62n :ASSERT
+
+        ; #7 valid ecrecover_tx
+
+        0x84254d72d3a17a61a1ff7dbef2cbb063f2913a407a15ee6012168ce0ce5bc500n => A
+        0x4937d15fdde73a18520a70b8e8f6fb05e9c172d8b04b02c0246cd5c9fa76ff97n => B
+        0x70ac180d31a5336bc902e317c6b5850b151ea7a2cff0595c61d67bf49d1fc210n => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0x0C470e0895Bbe22A5cFeD06002e29e8ADCEB59E1n :ASSERT
+
+        ; #8 valid ecrecover_tx
+
+        0xcbfb5477b23d3f14e821799805060a4be3dc7ec51f007ac78b810941a5693723n => A
+        0x465e8a566e29f97b29980b458bff07cdeff5e020f38d541c3a980eb4642b4606n => B
+        0x531eaeeeec12998af811c435a79a737d3dbb7411ed4d937080b6201a46703bf0n => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0x6777D222b69b69F41ee3DBFCf6baee332999f347n :ASSERT
+
+        ; #9 valid ecrecover_tx
+
+        0xf27fb8414a5aaed947f91ff458ea71f6eed0b8949d3da51ad7325047aba2e081n => A
+        0x493b8ca6e09c06450508b8eae88bf8103548b71135e1d8721b935a8822f28890n => B
+        0x4dea2362974bb205c48e92bd88761b454f2f4e085dfb9beb0706588b6eb852a8n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0x1f56A9F3Ca1F284978478D9363D2b345B23B198Bn :ASSERT
+
+        ; #10 valid ecrecover_tx
+
+        0x7d7e073c17eb159ad8372f82f9fa700a77a8a09dbfa7ccc2561504993be9cccan => A
+        0x8c23081e8211029ca641fe88235387a54d875b2fd64df1dbe87fb438316db708n => B
+        0x41c8e2f71966a6553c03d9477145366764399a6ad23c2efdabbdf7004d21a7b7n => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0x6a7C3804E52D9B089767eA5D26232F9096F7B50en :ASSERT
+
+        ; #11 valid ecrecover_tx
+
+        0x8aec5831f7b02d4f714878d3729975afd5435e61e738a119ddca2e9777e04183n => A
+        0x49b0018d05b6f36d461339633082c8a032543c4f4c5ae6af56ff5e48fd943372n => B
+        0x34f096b3ee06d00f330697bddbe5e25d9207e5ccac214eb94ce96ed4507393c1n => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0xdD6F178Fa6ed5859154301C686C3cd12192CcC0An :ASSERT
+
+        ; #12 valid ecrecover_tx
+
+        0xc2c0f5c01b3e244bd9f40da627cfefbc45c53e76f26798cc195de61e3438585fn => A
+        0x4a06e1f0012017c68294911be669e953e01c41f97b31e4f6830af4200d4bf253n => B
+        0x2eafb33fbb92b512175812972ce89e54e50f28ecf27a051b4f2291da2cf0e1f3n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0x5fFd05d8565FA51BB1aE1E4c7b980e1C91d2c939n :ASSERT
+
+        ; #13 valid ecrecover_tx
+
+        0x1430fc999d7bfa8954983e43f80a27a07eb4845037bc344fc128b453f76877a3n => A
+        0x88843aea48fff6790cb6f9657e1650e1386aa73a6bed50e8db2467d06445bed8n => B
+        0x779ce085139a5fc49f33431c9d4794a16732d497158570690662ed779fb22eadn => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0xF329e07AFade0Fb45a599993dF4313DFaB5f80A6n :ASSERT
+
+        ; #14 valid ecrecover_tx
+
+        0x8bc6619ef176973b22e4a0f0f81a6cd5badf091e452f910de38162b18c2f2ff6n => A
+        0x347faebc1fc4c014692ffc7284fa28596d1494c29f29cdc52fa1c8d57ded6a5dn => B
+        0x597a18da2e6c3c1eaa56d9611f50bf3d161a05e542afd29cf416b80f82ee5ef9n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0x411559B990Fd50F1DF20B4D3780C4185d113A9Een :ASSERT
+
+        ; #15 valid ecrecover_tx
+
+        0xb3dc90532569a73ab8fc3d41d6df176833133be5a697f076392f51001c715006n => A
+        0xaf4592a0ec76c84bb587b1bdd3b77b1207f7fd572e118f4278a80ec7c89666b9n => B
+        0x0cb4bd62edd2d286b883d32006b799532737b5b90ed4a03ce0a6868a2f10edb6n => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0xB2E1a1FbfdAE0743f4539166309B72BB737716b1n :ASSERT
+
+        ; #16 valid ecrecover_tx
+
+        0xc7367ffedb65fe022fa06a8c2855c69547cca19ee828d6615e5f7decafccbdc8n => A
+        0xb7fd2fa91dd0ba816b37f4ad9b507ad3b32ec2a445544fabb0e231c5aeeefb18n => B
+        0x244c004f8b78dc3a3c3db9bda9b39d6e6b11b9397baaf29d0529b7bac9490742n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0x95DdaFE17e5550FF8ac7b2EF9D365d067aa7Ae91n :ASSERT
+
+        ; #17 valid ecrecover_tx
+
+        0x898a015948f4e12fe71bb3f6015410f33d0b67842b551599762b51fecad5577cn => A
+        0xa0d427856db72164abc59666e34cd4accb689f1800f71384d797a729c003598bn => B
+        0x514d41eca750ebe03d75ed7182d81168af198760e3ac5077c5d88d1f85656039n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0x9D39Cfa3F2e98CA109c45F28735436798CBBDEF8n :ASSERT
+
+        ; #18 valid ecrecover_tx
+
+        0xadd47d80decfc50037d37430ccdda08b3d39831e5355e99bfe5e08e00531182en => A
+        0xf74a32e691a8e0ee1b55fa4aeeebfb3eed091108ce03f7ef449846044f228d4an => B
+        0x308af50fef22673ae4a83c5e80c4f316829490b57a561c9f45a1570286d94e41n => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0x4AB0c3d24dfF7E98e16Edd61269997D089E97c9fn :ASSERT
+
+        ; #19 valid ecrecover_tx
+
+        0x8fc27577b5290a3ab0d3407969123c719c475a28e687d943f88ac5abadf83420n => A
+        0x8b9d9e9c4201b9b2d351b5dde35c0ebefa5446c2dbdd5e30dca02af69d8c29bdn => B
+        0x047fb2ba1e4cc0a059ee64aae40d4ba48e6d3265426f602be275d286e45917f6n => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0xd02c6aAB18d3f40AA994A5B7F3c2be14B34EAB6en :ASSERT
+
+        ; #20 mess == change 1 bit
+
+        0x256e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0x4f8ae3bd7535248d0bd448298cc2e2071e56992d0774dc340c368ae950852adan => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0x34E325D8023eb901c39747338C587b098fB75dF4n :ASSERT
+
+        ; #21 mess == 0
+
+        0x0000000000000000000000000000000000000000000000000000000000000000n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0x4f8ae3bd7535248d0bd448298cc2e2071e56992d0774dc340c368ae950852adan => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0x2a558C4cD662E0b74E289d746AEA2f8cf8e54f7cn :ASSERT
+
+        ; #22 mess == field
+
+        0xfffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364141n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0x4f8ae3bd7535248d0bd448298cc2e2071e56992d0774dc340c368ae950852adan => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0x2a558C4cD662E0b74E289d746AEA2f8cf8e54f7cn :ASSERT
+
+        ; #23 mess == field - 1
+
+        0xfffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364140n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0x4f8ae3bd7535248d0bd448298cc2e2071e56992d0774dc340c368ae950852adan => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0xc41ABa9e06fac6976618820d04D247FfD38f62FFn :ASSERT
+
+        ; #24 mess == field + 1
+
+        0xfffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364142n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0x4f8ae3bd7535248d0bd448298cc2e2071e56992d0774dc340c368ae950852adan => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0x7a343F50dd8fAFa76406F6Ee4dA1796FF9A06109n :ASSERT
+
+        ; #25 mess == 1
+
+        0x0000000000000000000000000000000000000000000000000000000000000001n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0x4f8ae3bd7535248d0bd448298cc2e2071e56992d0774dc340c368ae950852adan => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0x7a343F50dd8fAFa76406F6Ee4dA1796FF9A06109n :ASSERT
+
+        ; #26 flip v: 28 --> 27. Valid ecrecover_tx
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0x4f8ae3bd7535248d0bd448298cc2e2071e56992d0774dc340c368ae950852adan => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0xE077fd3C958303e36309B9EE20AE9D3D59817232n :ASSERT
+
+        ; #27 v < 27
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0x4f8ae3bd7535248d0bd448298cc2e2071e56992d0774dc340c368ae950852adan => C
+        0x1an => D
+        :CALL(ecrecover_tx)
+        0 :ASSERT
+
+        ; #28 v > 28
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0x4f8ae3bd7535248d0bd448298cc2e2071e56992d0774dc340c368ae950852adan => C
+        0x1dn => D
+        :CALL(ecrecover_tx)
+        0 :ASSERT
+
+        ; #29 r == 0
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0x0000000000000000000000000000000000000000000000000000000000000000n => B
+        0x4f8ae3bd7535248d0bd448298cc2e2071e56992d0774dc340c368ae950852adan => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0 :ASSERT
+
+        ; #30 r == field
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0xfffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364141n => B
+        0x4f8ae3bd7535248d0bd448298cc2e2071e56992d0774dc340c368ae950852adan => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0 :ASSERT
+
+        ; #31 r > field
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0xfffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364142n => B
+        0x4f8ae3bd7535248d0bd448298cc2e2071e56992d0774dc340c368ae950852adan => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0 :ASSERT
+
+        ; #32 r = field - 1
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0xfffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364140n => B
+        0x4f8ae3bd7535248d0bd448298cc2e2071e56992d0774dc340c368ae950852adan => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0 :ASSERT
+
+        ; #33 s == 0
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0x0000000000000000000000000000000000000000000000000000000000000000n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0 :ASSERT
+
+        ; #34 s == field/2 + 1. Valid (precompiled)
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a1n => C
+        0x1cn => D
+        :CALL(ecrecover_precompiled)
+        0x4ef445CADd8bEe8A02bc79b30A97e6Fe3AE3B7a3n :ASSERT
+
+        ; #34' s == field/2 + 1. Invalid (tx)
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a1n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0n :ASSERT
+        B => A
+        4n :ASSERT
+
+        ; #35 s == field/2. Valid
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0xB29F65aA401660dfa96ecD7eB28134d87E9a618Dn :ASSERT
+
+        ; #36 s == field/2 + 2. Valid (precompiled)
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a2n => C
+        0x1cn => D
+        :CALL(ecrecover_precompiled)
+        0xfE706AA7fe3455F29e0F5553D9C780Be3Bd54564n :ASSERT
+
+        ; #36' s == field/2 + 2. Invalid (tx)
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a2n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0n :ASSERT
+        B => A
+        4n :ASSERT
+
+        ; #37 s == field
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0xfffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364141n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0 :ASSERT
+        B => A
+        4n :ASSERT
+
+        ; #38 s == field - 1
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0xfffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364140n => C
+        0x1cn => D
+        :CALL(ecrecover_precompiled)
+        0xc846e2E4Ab85A761042265B9A8d995345432A60en :ASSERT
+
+        ; #38' s == field - 1
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0xfffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364140n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0 :ASSERT
+        B => A
+        4n :ASSERT
+
+        ; #39 s == field + 1
+
+        0x456e9aea5e197a1f1af7a3e85a3212fa4049a3ba34c2289b4c860fc0b0c64ef3n => A
+        0x9242685bf161793cc25603c231bc2f568eb630ea16aa137d2664ac8038825608n => B
+        0xfffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364142n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0 :ASSERT
+
+edge_cases:
+
+        ; #40 EGX
+
+        0x3cc4cb050478c49877188e4fbd022f35ccb41cee02d9d4417194cbf7ebc1eeben => A
+        %ECGX => B
+        0x2bcf13b5e4f34a04a77344d5943e0228ba2e787583036325450c889d597a16c4n => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0x3c8b5f2426549658f425fad7e061c500626b39a3n :ASSERT
+
+        ; #41 -EGX
+
+        0x3cc4cb050478c49877188e4fbd022f35ccb41cee02d9d4417194cbf7ebc1eeben => A
+        %ECGX => B
+        0x2bcf13b5e4f34a04a77344d5943e0228ba2e787583036325450c889d597a16c4n => C
+        0x1cn => D
+        :CALL(ecrecover_tx)
+        0x687526ad233c19b0a9b2eb8c96d1a45603f3919en :ASSERT
+
+        0x3cc4cb050478c49877188e4fbd022f35ccb41cee02d9d4417194cbf7ebc1eec0n => A ; hash
+        0xc6047f9441ed7d6d3045406e95c07cd85c778e4b8cef3ca7abac09b95c709ee5n => B ; r
+        0x2bcf13b5e4f34a04a77344d5943e0228ba2e787583036325450c889d597a16c8n => C ; s
+        0x1b => D ; v
+        :CALL(ecrecover_tx)
+        0x89fea198bd4a0efb63f36b5a04c993cca3a1891dn :ASSERT
+
+
+        0x3cc4cb050478c49877188e4fbd022f35ccb41cee02d9d4417194cbf7ebc1eec0n => A ; hash
+        0xc6047f9441ed7d6d3045406e95c07cd85c778e4b8cef3ca7abac09b95c709ee5n => B ; r
+        0x2bcf13b5e4f34a04a77344d5943e0228ba2e787583036325450c889d597a16c8n => C ; s
+        0x1c => D ; v
+        :CALL(ecrecover_tx)
+        0xc613182e8da092201765f852e3d6fbec4d281432n :ASSERT
+
+        ; p: (0xc6047f9441ed7d6d3045406e95c07cd85c778e4b8cef3ca7abac09b95c709ee5,0x1ae168fea63dc339a3c58419466ceaeef7f632653266d0e1236431a950cfe52a)
+
+        0x3cc4cb050478c49877188e4fbd022f35ccb41cee02d9d4417194cbf7ebc1eec1n => A ; hash
+        0xc6047f9441ed7d6d3045406e95c07cd85c778e4b8cef3ca7abac09b95c709ee5n => B ; r
+        0x2bcf13b5e4f34a04a77344d5943e0228ba2e787583036325450c889d597a16c8n => C ; s
+        0x1b => D ; v
+        :CALL(ecrecover_tx)
+        0x1772bf1cfa310fdca361ee65825a74013eeaa17en :ASSERT
+
+        ; p3 = point at infinity
+
+        0x0000000000000000000000000000000000000000000000000000000000000001n => A ; hash
+        0xc6047f9441ed7d6d3045406e95c07cd85c778e4b8cef3ca7abac09b95c709ee5n => B ; r
+        0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a1n => C ; s
+        0x1bn => D
+        :CALL(ecrecover_precompiled)
+        0 :ASSERT
+        B => A
+        7 :ASSERT
+
+CONSTL %P2_C0_EGX = %ECGX & 0xFFFF
+
+        ; # p2 & 0xFFFF == EGX & 0xFFFF
+
+        0x3cc4cb050478c49877188e4fbd022f35ccb41cee02d9d4417194cbf7ebc1eeben => A
+        %P2_C0_EGX => B
+        0x2bcf13b5e4f34a04a77344d5943e0228ba2e787583036325450c889d597a16c4n => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0x9446d37b3aaedc97b2a8a9437998ba5787a2d5cbn :ASSERT
+
+
+
+        ; # p2 & 0x001FFFF....FFFF == EGX & 0x001FFFF....FFFF
+
+CONSTL %P2_CH_EGX = %ECGX & 0x001FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFn
+
+        0x3cc4cb050478c49877188e4fbd022f35ccb41cee02d9d4417194cbf7ebc1eeben => A
+        %P2_CH_EGX => B
+        0x2bcf13b5e4f34a04a77344d5943e0228ba2e787583036325450c889d597a16c4n => C
+        0x1bn => D
+        :CALL(ecrecover_tx)
+        0x4c90563674ab8de6f7731475a01a2bd09fd7b4b1n :ASSERT
+        $${dump(STEP)}
+
+        :JMP(end)
+
+outOfCountersBinary:
+outOfCountersArith:
+outOfCountersKeccak:
+outOfCountersStep:
+        A-1 :ASSERT
+
+end:
+        $ => CTX        :MLOAD(originalCTX)
+        0 => A,B,C,D,E, SP, PC, GAS,  SR, HASHPOS, RR, RCX
+
+finalizeExecution:
+finalWait:
+        ${beforeLast()}  : JMPN(finalWait)
+
+                         : JMP(start)
+opINVALID:

package/test/lt4-test.zkasm

@@ -0,0 +1,38 @@
+start:
+    CONSTL %FOUR_GL = 0xffffffff00000001ffffffff00000001ffffffff00000001ffffffff00000001n
+    ; less than 4 goldilocks
+    0 => A
+    %FOUR_GL => B
+    1                                        :LT4
+
+    ; equal than 4 goldilocks
+    %FOUR_GL => A
+    %FOUR_GL => B
+    0                                        :LT4
+
+    ; equal than 4 goldilocks (just 3 elements)
+    %FOUR_GL => A
+    1 => B
+    $ => A                                   :SUB
+    %FOUR_GL => B
+    0                                        :LT4
+
+    ; less than 4 goldilocks (just 1 unit in all elements)
+    %FOUR_GL => A
+    0x1000000000000000100000000000000010000000000000001n => B
+    $ => A                                   :SUB
+    %FOUR_GL => B
+    1                                        :LT4
+
+    ; more than 4 goldilocks (just 1 unit in all elements)
+    %FOUR_GL => A
+    0x1000000000000000100000000000000010000000000000001n => B
+    $ => A                                   :ADD
+    %FOUR_GL => B
+    0                                        :LT4
+
+
+    0 => A,B,C,D,E,CTX, SP, PC, GAS,  SR, HASHPOS, RR ; Set all registers to 0
+                                                                        :JMP(finalizeExecution)
+
+INCLUDE "../main/main.zkasm"