Skip to content

Commit

Permalink
Merge pull request #252 from 0xPolygonHermez/feature/fix-rlp
Browse files Browse the repository at this point in the history 
Feature/fix rlp
  • Loading branch information
@krlosMata
krlosMata authored Feb 20, 2023
2 parents 0dbd921 + 9735552 commit 70012ac
Show file tree
Hide file tree
Showing 58 changed files with 68 additions and 66 deletions.
2 changes: 1 addition & 1 deletion counters/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ checkCounters:
%OPADD_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPADD_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)
// Finalize execution
0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/MLOAD32.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ operation:
%MLOAD32_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%MLOAD32_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/MLOADX.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ operation:
%MLOADX_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%MLOADX_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/MSTORE32.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ operation:
%MSTORE32_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%MSTORE32_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/MSTOREX.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ operation:
%MSTOREX_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%MSTOREX_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/SHLarith.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ operation:
%SHLARITH_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%SHLARITH_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/SHLarithBit.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ operation:
%SHLARITHBIT_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%SHLARITHBIT_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/SHRarith.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ operation:
%SHRARITH_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%SHRARITH_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/SHRarithBit.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ operation:
%SHRARITHBIT_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%SHRARITHBIT_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/abs.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ operation:
%ABS_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%ABS_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)
finalizeExecution:
0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
:JMP(finalWait)
readCode:
:RETURN
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/addBatchHashByteByByte.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ operation:
%ADDBATCHHASH_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%ADDBATCHHASH_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/computeGasSendCall.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ operation:
%COMPUTEGASSENDCALL_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%COMPUTEGASSENDCALL_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/copySP.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ operation:
%COPYSP_CNT_PADDING_PG + %MLOAD32_CNT_PADDING_PG*C - CNT_PADDING_PG :JMPNZ(failedCounters)
%COPYSP_CNT_POSEIDON_G + %MLOAD32_CNT_POSEIDON_G*C - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/divArith.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ operation:
%DIVARITH_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%DIVARITH_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)
finalizeExecution:
0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
:JMP(finalWait)
readCode:
:RETURN
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/expAD.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ operation:
%EXPAD_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%EXPAD_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/getLenBits.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ operation:
%GETLENBITS_CNT_PADDING_PG + %DIVARITH_CNT_PADDING_PG*C - CNT_PADDING_PG :JMPNZ(failedCounters)
%GETLENBITS_CNT_POSEIDON_G + %DIVARITH_CNT_POSEIDON_G*C - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/getLenBytes.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ operation:
%GETLENBYTES_CNT_PADDING_PG + %SHRARITH_CNT_PADDING_PG*C - CNT_PADDING_PG :JMPNZ(failedCounters)
%GETLENBYTES_CNT_POSEIDON_G + %SHRARITH_CNT_POSEIDON_G*C - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/isEmptyAccount.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ operation:
%ISEMPTYACCOUNT_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%ISEMPTYACCOUNT_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/mulARITH.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ operation:
%MULARITH_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

finalizeExecution:
0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
:JMP(finalWait)
readCode:
:RETURN
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/offsetUtil.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ operation:
%OFFSETUTIL_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OFFSETUTIL_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)
finalizeExecution:
0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
:JMP(finalWait)
readCode:
:RETURN
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opADDMOD.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ checkCounters:
%OPADDMOD_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPADDMOD_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opAdd.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ checkCounters:
%OPADD_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPADD_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opBLOCKHASH.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ checkCounters:
%OPBLOCKHASH_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPBLOCKHASH_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opCALL.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ checkCounters:
%OPCALL_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPCALL_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opCALLCODE.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ checkCounters:
%OPCALLCODE_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPCALLCODE_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opCALLDATACOPY.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ checkCounters:
%OPCALLDATACOPY_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPCALLDATACOPY_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opCALLDATALOAD.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ checkCounters:
%OPCALLDATALOAD_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPCALLDATALOAD_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opCODECOPY.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ checkCounters:
%OPCODECOPY_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPCODECOPY_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opCREATE.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ checkCounters:
%OPCREATE_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPCREATE_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opCREATE2.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ checkCounters:
%OPCREATE2_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPCREATE2_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opDELEGATECALL.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ checkCounters:
%OPDELEGATECALL_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPDELEGATECALL_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opDIV.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ checkCounters:
%OPDIV_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPDIV_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opEXP.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ checkCounters:
%OPEXP_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPEXP_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opEXTCODECOPY.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ checkCounters:
%OPEXTCODECOPY_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPEXTCODECOPY_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opMOD.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ checkCounters:
%OPMOD_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPMOD_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opMUL.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ checkCounters:
%OPMUL_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPMUL_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opMULMOD.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ checkCounters:
%OPMULMOD_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPMULMOD_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opRETURN.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ checkCounters:
%OPRETURN_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPRETURN_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opRETURNDATACOPY.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ checkCounters:
1000 - STEP:JMPN(failedCounters)


0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opREVERT.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ checkCounters:
%OPREVERT_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPREVERT_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opSDIV.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ checkCounters:
%OPSDIV_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPSDIV_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opSHA3.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ checkCounters:
%OPSHA3_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPSHA3_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opSIGNEXTEND.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ checkCounters:
%OPSIGNEXTEND_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPSIGNEXTEND_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
2 changes: 1 addition & 1 deletion counters/tests/opSMOD.zkasm
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ checkCounters:
%OPSMOD_CNT_PADDING_PG - CNT_PADDING_PG :JMPNZ(failedCounters)
%OPSMOD_CNT_POSEIDON_G - CNT_POSEIDON_G :JMPNZ(failedCounters)

0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR, HASHPOS, RR ; Set all registers to 0
0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, HASHPOS, RR ; Set all registers to 0
finalizeExecution:
:JMP(finalWait)
readCode:
Expand Down
Loading

0 comments on commit 70012ac

Please sign in to comment.