From 97264147248bcb0bec662b8e96a61c75763c3f22 Mon Sep 17 00:00:00 2001 From: Francois Bojarski Date: Wed, 6 Mar 2024 19:02:29 +0545 Subject: [PATCH] feat(constant): add exo sum values --- constants/constants.lisp | 314 ++++++++++++++++++++------------------- 1 file changed, 162 insertions(+), 152 deletions(-) diff --git a/constants/constants.lisp b/constants/constants.lisp index ca1a1429..1389ac15 100644 --- a/constants/constants.lisp +++ b/constants/constants.lisp @@ -5,160 +5,159 @@ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; Stop and Arithmetic Operations - EVM_INST_STOP 0x00 - EVM_INST_ADD 0x01 - EVM_INST_MUL 0x02 - EVM_INST_SUB 0x03 - EVM_INST_DIV 0x04 - EVM_INST_SDIV 0x05 - EVM_INST_MOD 0x06 - EVM_INST_SMOD 0x07 - EVM_INST_ADDMOD 0x08 - EVM_INST_MULMOD 0x09 - EVM_INST_EXP 0x0a - EVM_INST_SIGNEXTEND 0x0b + EVM_INST_STOP 0x00 + EVM_INST_ADD 0x01 + EVM_INST_MUL 0x02 + EVM_INST_SUB 0x03 + EVM_INST_DIV 0x04 + EVM_INST_SDIV 0x05 + EVM_INST_MOD 0x06 + EVM_INST_SMOD 0x07 + EVM_INST_ADDMOD 0x08 + EVM_INST_MULMOD 0x09 + EVM_INST_EXP 0x0a + EVM_INST_SIGNEXTEND 0x0b ;; Comparison & Bitwise Logic Operations - EVM_INST_LT 0x10 - EVM_INST_GT 0x11 - EVM_INST_SLT 0x12 - EVM_INST_SGT 0x13 - EVM_INST_EQ 0x14 - EVM_INST_ISZERO 0x15 - EVM_INST_AND 0x16 - EVM_INST_OR 0x17 - EVM_INST_XOR 0x18 - EVM_INST_NOT 0x19 - EVM_INST_BYTE 0x1a - EVM_INST_SHL 0x1b - EVM_INST_SHR 0x1c - EVM_INST_SAR 0x1d + EVM_INST_LT 0x10 + EVM_INST_GT 0x11 + EVM_INST_SLT 0x12 + EVM_INST_SGT 0x13 + EVM_INST_EQ 0x14 + EVM_INST_ISZERO 0x15 + EVM_INST_AND 0x16 + EVM_INST_OR 0x17 + EVM_INST_XOR 0x18 + EVM_INST_NOT 0x19 + EVM_INST_BYTE 0x1a + EVM_INST_SHL 0x1b + EVM_INST_SHR 0x1c + EVM_INST_SAR 0x1d ;; KECCAK256 - EVM_INST_SHA3 0x20 + EVM_INST_SHA3 0x20 ;; Environmental Information - EVM_INST_ADDRESS 0x30 - EVM_INST_BALANCE 0x31 - EVM_INST_ORIGIN 0x32 - EVM_INST_CALLER 0x33 - EVM_INST_CALLVALUE 0x34 - EVM_INST_CALLDATALOAD 0x35 - EVM_INST_CALLDATASIZE 0x36 - EVM_INST_CALLDATACOPY 0x37 - EVM_INST_CODESIZE 0x38 - EVM_INST_CODECOPY 0x39 - EVM_INST_GASPRICE 0x3A - EVM_INST_EXTCODESIZE 0x3B - EVM_INST_EXTCODECOPY 0x3C - EVM_INST_RETURNDATASIZE 0x3D - EVM_INST_RETURNDATACOPY 0x3E - EVM_INST_EXTCODEHASH 0x3F + EVM_INST_ADDRESS 0x30 + EVM_INST_BALANCE 0x31 + EVM_INST_ORIGIN 0x32 + EVM_INST_CALLER 0x33 + EVM_INST_CALLVALUE 0x34 + EVM_INST_CALLDATALOAD 0x35 + EVM_INST_CALLDATASIZE 0x36 + EVM_INST_CALLDATACOPY 0x37 + EVM_INST_CODESIZE 0x38 + EVM_INST_CODECOPY 0x39 + EVM_INST_GASPRICE 0x3A + EVM_INST_EXTCODESIZE 0x3B + EVM_INST_EXTCODECOPY 0x3C + EVM_INST_RETURNDATASIZE 0x3D + EVM_INST_RETURNDATACOPY 0x3E + EVM_INST_EXTCODEHASH 0x3F ;; Block Information - EVM_INST_BLOCKHASH 0x40 - EVM_INST_COINBASE 0x41 - EVM_INST_TIMESTAMP 0x42 - EVM_INST_NUMBER 0x43 - EVM_INST_DIFFICULTY 0x44 ;; PREVRANDAO comes after London - EVM_INST_GASLIMIT 0x45 - EVM_INST_CHAINID 0x46 - EVM_INST_SELFBALANCE 0x47 - EVM_INST_BASEFEE 0x48 + EVM_INST_BLOCKHASH 0x40 + EVM_INST_COINBASE 0x41 + EVM_INST_TIMESTAMP 0x42 + EVM_INST_NUMBER 0x43 + EVM_INST_DIFFICULTY 0x44 ;; PREVRANDAO comes after London + EVM_INST_GASLIMIT 0x45 + EVM_INST_CHAINID 0x46 + EVM_INST_SELFBALANCE 0x47 + EVM_INST_BASEFEE 0x48 ;; Stack, Memory, Storage and Flow Operations - EVM_INST_POP 0x50 - EVM_INST_MLOAD 0x51 - EVM_INST_MSTORE 0x52 - EVM_INST_MSTORE8 0x53 - EVM_INST_SLOAD 0x54 - EVM_INST_SSTORE 0x55 - EVM_INST_JUMP 0x56 - EVM_INST_JUMPI 0x57 - EVM_INST_PC 0x58 - EVM_INST_MSIZE 0x59 - EVM_INST_GAS 0x5A - EVM_INST_JUMPDEST 0x5B + EVM_INST_POP 0x50 + EVM_INST_MLOAD 0x51 + EVM_INST_MSTORE 0x52 + EVM_INST_MSTORE8 0x53 + EVM_INST_SLOAD 0x54 + EVM_INST_SSTORE 0x55 + EVM_INST_JUMP 0x56 + EVM_INST_JUMPI 0x57 + EVM_INST_PC 0x58 + EVM_INST_MSIZE 0x59 + EVM_INST_GAS 0x5A + EVM_INST_JUMPDEST 0x5B ;; Push Operations - EVM_INST_PUSH1 0x60 - EVM_INST_PUSH2 0x61 - EVM_INST_PUSH3 0x62 - EVM_INST_PUSH4 0x63 - EVM_INST_PUSH5 0x64 - EVM_INST_PUSH6 0x65 - EVM_INST_PUSH7 0x66 - EVM_INST_PUSH8 0x67 - EVM_INST_PUSH9 0x68 - EVM_INST_PUSH10 0x69 - EVM_INST_PUSH11 0x6A - EVM_INST_PUSH12 0x6B - EVM_INST_PUSH13 0x6C - EVM_INST_PUSH14 0x6D - EVM_INST_PUSH15 0x6E - EVM_INST_PUSH16 0x6F - EVM_INST_PUSH17 0x70 - EVM_INST_PUSH18 0x71 - EVM_INST_PUSH19 0x72 - EVM_INST_PUSH20 0x73 - EVM_INST_PUSH21 0x74 - EVM_INST_PUSH22 0x75 - EVM_INST_PUSH23 0x76 - EVM_INST_PUSH24 0x77 - EVM_INST_PUSH25 0x78 - EVM_INST_PUSH26 0x79 - EVM_INST_PUSH27 0x7A - EVM_INST_PUSH28 0x7B - EVM_INST_PUSH29 0x7C - EVM_INST_PUSH30 0x7D - EVM_INST_PUSH31 0x7E - EVM_INST_PUSH32 0x7F + EVM_INST_PUSH1 0x60 + EVM_INST_PUSH2 0x61 + EVM_INST_PUSH3 0x62 + EVM_INST_PUSH4 0x63 + EVM_INST_PUSH5 0x64 + EVM_INST_PUSH6 0x65 + EVM_INST_PUSH7 0x66 + EVM_INST_PUSH8 0x67 + EVM_INST_PUSH9 0x68 + EVM_INST_PUSH10 0x69 + EVM_INST_PUSH11 0x6A + EVM_INST_PUSH12 0x6B + EVM_INST_PUSH13 0x6C + EVM_INST_PUSH14 0x6D + EVM_INST_PUSH15 0x6E + EVM_INST_PUSH16 0x6F + EVM_INST_PUSH17 0x70 + EVM_INST_PUSH18 0x71 + EVM_INST_PUSH19 0x72 + EVM_INST_PUSH20 0x73 + EVM_INST_PUSH21 0x74 + EVM_INST_PUSH22 0x75 + EVM_INST_PUSH23 0x76 + EVM_INST_PUSH24 0x77 + EVM_INST_PUSH25 0x78 + EVM_INST_PUSH26 0x79 + EVM_INST_PUSH27 0x7A + EVM_INST_PUSH28 0x7B + EVM_INST_PUSH29 0x7C + EVM_INST_PUSH30 0x7D + EVM_INST_PUSH31 0x7E + EVM_INST_PUSH32 0x7F ;; Duplication Operations - EVM_INST_DUP1 0x80 - EVM_INST_DUP2 0x81 - EVM_INST_DUP3 0x82 - EVM_INST_DUP4 0x83 - EVM_INST_DUP5 0x84 - EVM_INST_DUP6 0x85 - EVM_INST_DUP7 0x86 - EVM_INST_DUP8 0x87 - EVM_INST_DUP9 0x88 - EVM_INST_DUP10 0x89 - EVM_INST_DUP11 0x8A - EVM_INST_DUP12 0x8B - EVM_INST_DUP13 0x8C - EVM_INST_DUP14 0x8D - EVM_INST_DUP15 0x8E - EVM_INST_DUP16 0x8F + EVM_INST_DUP1 0x80 + EVM_INST_DUP2 0x81 + EVM_INST_DUP3 0x82 + EVM_INST_DUP4 0x83 + EVM_INST_DUP5 0x84 + EVM_INST_DUP6 0x85 + EVM_INST_DUP7 0x86 + EVM_INST_DUP8 0x87 + EVM_INST_DUP9 0x88 + EVM_INST_DUP10 0x89 + EVM_INST_DUP11 0x8A + EVM_INST_DUP12 0x8B + EVM_INST_DUP13 0x8C + EVM_INST_DUP14 0x8D + EVM_INST_DUP15 0x8E + EVM_INST_DUP16 0x8F ;; Exchange Operations - EVM_INST_SWAP1 0x90 - EVM_INST_SWAP2 0x91 - EVM_INST_SWAP3 0x92 - EVM_INST_SWAP4 0x93 - EVM_INST_SWAP5 0x94 - EVM_INST_SWAP6 0x95 - EVM_INST_SWAP7 0x96 - EVM_INST_SWAP8 0x97 - EVM_INST_SWAP9 0x98 - EVM_INST_SWAP10 0x99 - EVM_INST_SWAP11 0x9A - EVM_INST_SWAP12 0x9B - EVM_INST_SWAP13 0x9C - EVM_INST_SWAP14 0x9D - EVM_INST_SWAP15 0x9E - EVM_INST_SWAP16 0x9F + EVM_INST_SWAP1 0x90 + EVM_INST_SWAP2 0x91 + EVM_INST_SWAP3 0x92 + EVM_INST_SWAP4 0x93 + EVM_INST_SWAP5 0x94 + EVM_INST_SWAP6 0x95 + EVM_INST_SWAP7 0x96 + EVM_INST_SWAP8 0x97 + EVM_INST_SWAP9 0x98 + EVM_INST_SWAP10 0x99 + EVM_INST_SWAP11 0x9A + EVM_INST_SWAP12 0x9B + EVM_INST_SWAP13 0x9C + EVM_INST_SWAP14 0x9D + EVM_INST_SWAP15 0x9E + EVM_INST_SWAP16 0x9F ;; Logging Operations - EVM_INST_LOG0 0xA0 - EVM_INST_LOG1 0xA1 - EVM_INST_LOG2 0xA2 - EVM_INST_LOG3 0xA3 - EVM_INST_LOG4 0xA4 + EVM_INST_LOG0 0xA0 + EVM_INST_LOG1 0xA1 + EVM_INST_LOG2 0xA2 + EVM_INST_LOG3 0xA3 + EVM_INST_LOG4 0xA4 ;; System Operations - EVM_INST_CREATE 0xF0 - EVM_INST_CALL 0xF1 - EVM_INST_CALLCODE 0xF2 - EVM_INST_RETURN 0xF3 - EVM_INST_DELEGATECALL 0xF4 - EVM_INST_CREATE2 0xF5 - EVM_INST_STATICCALL 0xFA - EVM_INST_REVERT 0xFD - EVM_INST_INVALID 0xFE - EVM_INST_SELFDESTRUCT 0xFF - + EVM_INST_CREATE 0xF0 + EVM_INST_CALL 0xF1 + EVM_INST_CALLCODE 0xF2 + EVM_INST_RETURN 0xF3 + EVM_INST_DELEGATECALL 0xF4 + EVM_INST_CREATE2 0xF5 + EVM_INST_STATICCALL 0xFA + EVM_INST_REVERT 0xFD + EVM_INST_INVALID 0xFE + EVM_INST_SELFDESTRUCT 0xFF INVALID_CODE_PREFIX_VALUE 0xEF ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; @@ -172,6 +171,18 @@ LLARGEPO (+ LLARGE 1) WORD_SIZE_MO 31 WORD_SIZE 32 + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; EXO SUM ;; + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + EXO_SUM_ROM 1 + EXO_SUM_KEC 2 + EXO_SUM_LOG 3 + EXO_SUM_TXCD 4 ;; it is RLP_TXN + EXO_SUM_ECDATA 5 + EXO_SUM_RIPSHA 6 + EXO_SUM_BLAKEMODEXP 7 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; BLAKE MODEXP MODULE ;; @@ -246,10 +257,10 @@ ;; ;; RLP prefix ;; - RLP_PREFIX_INT_SHORT 128 ;;RLP prefix of a short integer (<56 bytes), defined in the EYP. - RLP_PREFIX_INT_LONG 183 ;;RLP prefix of a long integer (>55 bytes), defined in the EYP. - RLP_PREFIX_LIST_SHORT 192 ;;RLP prefix of a short list (<56 bytes), defined in the EYP. - RLP_PREFIX_LIST_LONG 247 ;;RLP prefix of a long list (>55 bytes), defined in the EYP. + RLP_PREFIX_INT_SHORT 128 ;;RLP prefix of a short integer (<56 bytes), defined in the EYP. + RLP_PREFIX_INT_LONG 183 ;;RLP prefix of a long integer (>55 bytes), defined in the EYP. + RLP_PREFIX_LIST_SHORT 192 ;;RLP prefix of a short list (<56 bytes), defined in the EYP. + RLP_PREFIX_LIST_LONG 247 ;;RLP prefix of a long list (>55 bytes), defined in the EYP. ;; ;; RLP_TXN Phase ;; @@ -283,15 +294,14 @@ ;; ;; RLP_ADDR ;; - RLP_ADDR_RECIPE_1 1 ;; for RlpAddr, used to discriminate between recipe for create - RLP_ADDR_RECIPE_2 2 ;; for RlpAddr, used to discriminate between recipe for create + RLP_ADDR_RECIPE_1 1 ;; for RlpAddr, used to discriminate between recipe for create + RLP_ADDR_RECIPE_2 2 ;; for RlpAddr, used to discriminate between recipe for create ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; WCP MODULE ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; WCP_INST_GEQ 0x0E - WCP_INST_LEQ 0x0F - ) + WCP_INST_LEQ 0x0F)