├── .github └── workflows │ └── python-package.yml ├── .gitignore ├── CODEOWNERS ├── LICENSE ├── Makefile ├── README.md ├── pyproject.toml ├── setup.cfg ├── specs ├── bytecode-proof.md ├── copy-proof.md ├── error_state │ ├── ErrorInvalidJump.md │ ├── ErrorInvalidOpcode.md │ ├── ErrorOutOfGasCall.md │ ├── ErrorOutOfGasConstant.md │ ├── ErrorOutOfGasEXP.md │ ├── ErrorOutOfGasSloadSstore.md │ └── ErrorStackOverflow_Underflow.md ├── evm-proof.md ├── exp-proof-design-doc.md ├── exp-proof.md ├── introduction.md ├── lookup.md ├── opcode │ ├── 00STOP.md │ ├── 01ADD_03SUB.md │ ├── 02MUL_04DIV_06MOD.md │ ├── 05SDIV_07SMOD.md │ ├── 08ADDMOD.md │ ├── 09MULMOD.md │ ├── 0AEXP.md │ ├── 0bSIGNEXTEND.md │ ├── 10LT_11GT_14EQ.md │ ├── 12SLT_13SGT.md │ ├── 15ISZERO.md │ ├── 16AND_17OR_18XOR.md │ ├── 19NOT.md │ ├── 1aBYTE.md │ ├── 1bSHL_1cSHR.md │ ├── 1dSAR.md │ ├── 30ADDRESS.md │ ├── 31BALANCE.md │ ├── 32ORIGIN.md │ ├── 33CALLER.md │ ├── 34CALLVALUE.md │ ├── 35CALLDATALOAD.md │ ├── 36CALLDATASIZE.md │ ├── 37CALLDATACOPY.md │ ├── 38CODESIZE.md │ ├── 39CODECOPY.md │ ├── 3aGASPRICE.md │ ├── 3bEXTCODESIZE.md │ ├── 3cEXTCODECOPY.md │ ├── 3dRETURNDATASIZE.md │ ├── 3eRETURNDATACOPY.md │ ├── 3fEXTCODEHASH.md │ ├── 40BLOCKHASH.md │ ├── 41COINBASE-45GASLIMIT_48BASEFEE.md │ ├── 46CHAINID.md │ ├── 47SELFBALANCE.md │ ├── 50POP.md │ ├── 51MLOAD_52MSTORE_53MSTORE8.md │ ├── 54SLOAD_55SSTORE.md │ ├── 56JUMP.md │ ├── 57JUMPI.md │ ├── 59MSIZE.md │ ├── 5AGAS.md │ ├── 5BJUMPDEST.md │ ├── 80DUPX.md │ ├── 90SWAPX.md │ ├── A0_A4LOG.md │ ├── F1CALL_F2CALLCODE_F4DELEGATECALL_FASTATICCALL.md │ └── F3RETURN_FDREVERT.md ├── precompile │ └── 04dataCopy.md ├── public_inputs.md ├── public_inputs.rev1.png ├── state-proof.md ├── super_circuit.md ├── super_circuit.png ├── tables.md ├── transactions-proof.md ├── tx_circuit.rev1.png └── word-encoding.md ├── src └── zkevm_specs │ ├── __init__.py │ ├── bytecode_circuit.py │ ├── copy_circuit.py │ ├── encoding │ ├── __init__.py │ ├── lookup.py │ └── utils.py │ ├── evm_circuit │ ├── __init__.py │ ├── execution │ │ ├── __init__.py │ │ ├── add_sub.py │ │ ├── addmod.py │ │ ├── address.py │ │ ├── balance.py │ │ ├── begin_deposit_tx.py │ │ ├── begin_tx.py │ │ ├── bitwise.py │ │ ├── block_ctx.py │ │ ├── blockhash.py │ │ ├── byte.py │ │ ├── calldatacopy.py │ │ ├── calldataload.py │ │ ├── calldatasize.py │ │ ├── caller.py │ │ ├── callop.py │ │ ├── callvalue.py │ │ ├── codecopy.py │ │ ├── codesize.py │ │ ├── comparator.py │ │ ├── dataCopy.py │ │ ├── end_block.py │ │ ├── end_deposit_tx.py │ │ ├── end_tx.py │ │ ├── error_invalid_jump.py │ │ ├── error_invalid_opcode.py │ │ ├── error_stack.py │ │ ├── exp.py │ │ ├── extcodecopy.py │ │ ├── extcodehash.py │ │ ├── extcodesize.py │ │ ├── fee_distribution_hook.py │ │ ├── gas.py │ │ ├── gasprice.py │ │ ├── iszero.py │ │ ├── jump.py │ │ ├── jumpi.py │ │ ├── log.py │ │ ├── memory.py │ │ ├── msize.py │ │ ├── mul_div_mod.py │ │ ├── mulmod.py │ │ ├── not_.py │ │ ├── oog_call.py │ │ ├── oog_constant.py │ │ ├── origin.py │ │ ├── pop.py │ │ ├── proposer_reward_hook.py │ │ ├── push.py │ │ ├── return_revert.py │ │ ├── returndatacopy.py │ │ ├── returndatasize.py │ │ ├── sar.py │ │ ├── sdiv_smod.py │ │ ├── selfbalance.py │ │ ├── sha3.py │ │ ├── shl_shr.py │ │ ├── slt_sgt.py │ │ ├── stop.py │ │ └── storage.py │ ├── execution_state.py │ ├── instruction.py │ ├── main.py │ ├── opcode.py │ ├── precompile.py │ ├── step.py │ ├── table.py │ ├── typing.py │ └── util │ │ ├── __init__.py │ │ ├── call_gadget.py │ │ └── memory_gadget.py │ ├── exp_circuit.py │ ├── opcode │ ├── __init__.py │ └── signextend.py │ ├── pi_circuit.py │ ├── state_circuit.py │ ├── tx_circuit.py │ └── util │ ├── __init__.py │ ├── arithmetic.py │ ├── constraint_system.py │ ├── hash.py │ ├── param.py │ └── typing.py └── tests ├── common.py ├── evm ├── test_add_sub.py ├── test_addmod.py ├── test_address.py ├── test_balance.py ├── test_begin_deposit_tx.py ├── test_begin_tx.py ├── test_bitwise.py ├── test_block_ctx.py ├── test_blockhash.py ├── test_byte.py ├── test_calldatacopy.py ├── test_calldataload.py ├── test_calldatasize.py ├── test_caller.py ├── test_callop.py ├── test_callvalue.py ├── test_codecopy.py ├── test_codesize.py ├── test_comparator.py ├── test_dataCopy.py ├── test_end_block.py ├── test_end_deposit_tx.py ├── test_end_tx.py ├── test_error_invalid_jump.py ├── test_error_invalid_opcode.py ├── test_error_oog_call.py ├── test_error_oog_constant.py ├── test_error_stack.py ├── test_exp.py ├── test_extcodecopy.py ├── test_extcodehash.py ├── test_extcodesize.py ├── test_fee_distribution_hook.py ├── test_gas.py ├── test_gasprice.py ├── test_iszero.py ├── test_jump.py ├── test_jumpi.py ├── test_logs.py ├── test_memory.py ├── test_msize.py ├── test_mul_div_mod.py ├── test_mulmod.py ├── test_not.py ├── test_origin.py ├── test_pop.py ├── test_proposer_reward_hook.py ├── test_push.py ├── test_return_revert.py ├── test_returndatacopy.py ├── test_returndatasize.py ├── test_sar.py ├── test_sdiv_smod.py ├── test_selfbalance.py ├── test_sha3.py ├── test_shl_shr.py ├── test_sload.py ├── test_slt_sgt.py ├── test_sstore.py └── test_stop.py ├── test_bytecode_circuit.py ├── test_public_inputs.py ├── test_state_circuit.py └── test_tx_circuit.py /.github/workflows/python-package.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/.github/workflows/python-package.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/.gitignore -------------------------------------------------------------------------------- /CODEOWNERS: -------------------------------------------------------------------------------- 1 | * @appliedzkp/zkevm-reviewers -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/README.md -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/pyproject.toml -------------------------------------------------------------------------------- /setup.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/setup.cfg -------------------------------------------------------------------------------- /specs/bytecode-proof.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/bytecode-proof.md -------------------------------------------------------------------------------- /specs/copy-proof.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/copy-proof.md -------------------------------------------------------------------------------- /specs/error_state/ErrorInvalidJump.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/error_state/ErrorInvalidJump.md -------------------------------------------------------------------------------- /specs/error_state/ErrorInvalidOpcode.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/error_state/ErrorInvalidOpcode.md -------------------------------------------------------------------------------- /specs/error_state/ErrorOutOfGasCall.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/error_state/ErrorOutOfGasCall.md -------------------------------------------------------------------------------- /specs/error_state/ErrorOutOfGasConstant.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/error_state/ErrorOutOfGasConstant.md -------------------------------------------------------------------------------- /specs/error_state/ErrorOutOfGasEXP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/error_state/ErrorOutOfGasEXP.md -------------------------------------------------------------------------------- /specs/error_state/ErrorOutOfGasSloadSstore.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/error_state/ErrorOutOfGasSloadSstore.md -------------------------------------------------------------------------------- /specs/error_state/ErrorStackOverflow_Underflow.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/error_state/ErrorStackOverflow_Underflow.md -------------------------------------------------------------------------------- /specs/evm-proof.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/evm-proof.md -------------------------------------------------------------------------------- /specs/exp-proof-design-doc.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/exp-proof-design-doc.md -------------------------------------------------------------------------------- /specs/exp-proof.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/exp-proof.md -------------------------------------------------------------------------------- /specs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/introduction.md -------------------------------------------------------------------------------- /specs/lookup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/lookup.md -------------------------------------------------------------------------------- /specs/opcode/00STOP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/00STOP.md -------------------------------------------------------------------------------- /specs/opcode/01ADD_03SUB.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/01ADD_03SUB.md -------------------------------------------------------------------------------- /specs/opcode/02MUL_04DIV_06MOD.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/02MUL_04DIV_06MOD.md -------------------------------------------------------------------------------- /specs/opcode/05SDIV_07SMOD.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/05SDIV_07SMOD.md -------------------------------------------------------------------------------- /specs/opcode/08ADDMOD.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/08ADDMOD.md -------------------------------------------------------------------------------- /specs/opcode/09MULMOD.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/09MULMOD.md -------------------------------------------------------------------------------- /specs/opcode/0AEXP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/0AEXP.md -------------------------------------------------------------------------------- /specs/opcode/0bSIGNEXTEND.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/0bSIGNEXTEND.md -------------------------------------------------------------------------------- /specs/opcode/10LT_11GT_14EQ.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/10LT_11GT_14EQ.md -------------------------------------------------------------------------------- /specs/opcode/12SLT_13SGT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/12SLT_13SGT.md -------------------------------------------------------------------------------- /specs/opcode/15ISZERO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/15ISZERO.md -------------------------------------------------------------------------------- /specs/opcode/16AND_17OR_18XOR.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/16AND_17OR_18XOR.md -------------------------------------------------------------------------------- /specs/opcode/19NOT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/19NOT.md -------------------------------------------------------------------------------- /specs/opcode/1aBYTE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/1aBYTE.md -------------------------------------------------------------------------------- /specs/opcode/1bSHL_1cSHR.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/1bSHL_1cSHR.md -------------------------------------------------------------------------------- /specs/opcode/1dSAR.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/1dSAR.md -------------------------------------------------------------------------------- /specs/opcode/30ADDRESS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/30ADDRESS.md -------------------------------------------------------------------------------- /specs/opcode/31BALANCE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/31BALANCE.md -------------------------------------------------------------------------------- /specs/opcode/32ORIGIN.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/32ORIGIN.md -------------------------------------------------------------------------------- /specs/opcode/33CALLER.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/33CALLER.md -------------------------------------------------------------------------------- /specs/opcode/34CALLVALUE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/34CALLVALUE.md -------------------------------------------------------------------------------- /specs/opcode/35CALLDATALOAD.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/35CALLDATALOAD.md -------------------------------------------------------------------------------- /specs/opcode/36CALLDATASIZE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/36CALLDATASIZE.md -------------------------------------------------------------------------------- /specs/opcode/37CALLDATACOPY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/37CALLDATACOPY.md -------------------------------------------------------------------------------- /specs/opcode/38CODESIZE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/38CODESIZE.md -------------------------------------------------------------------------------- /specs/opcode/39CODECOPY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/39CODECOPY.md -------------------------------------------------------------------------------- /specs/opcode/3aGASPRICE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/3aGASPRICE.md -------------------------------------------------------------------------------- /specs/opcode/3bEXTCODESIZE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/3bEXTCODESIZE.md -------------------------------------------------------------------------------- /specs/opcode/3cEXTCODECOPY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/3cEXTCODECOPY.md -------------------------------------------------------------------------------- /specs/opcode/3dRETURNDATASIZE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/3dRETURNDATASIZE.md -------------------------------------------------------------------------------- /specs/opcode/3eRETURNDATACOPY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/3eRETURNDATACOPY.md -------------------------------------------------------------------------------- /specs/opcode/3fEXTCODEHASH.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/3fEXTCODEHASH.md -------------------------------------------------------------------------------- /specs/opcode/40BLOCKHASH.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/40BLOCKHASH.md -------------------------------------------------------------------------------- /specs/opcode/41COINBASE-45GASLIMIT_48BASEFEE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/41COINBASE-45GASLIMIT_48BASEFEE.md -------------------------------------------------------------------------------- /specs/opcode/46CHAINID.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/46CHAINID.md -------------------------------------------------------------------------------- /specs/opcode/47SELFBALANCE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/47SELFBALANCE.md -------------------------------------------------------------------------------- /specs/opcode/50POP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/50POP.md -------------------------------------------------------------------------------- /specs/opcode/51MLOAD_52MSTORE_53MSTORE8.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/51MLOAD_52MSTORE_53MSTORE8.md -------------------------------------------------------------------------------- /specs/opcode/54SLOAD_55SSTORE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/54SLOAD_55SSTORE.md -------------------------------------------------------------------------------- /specs/opcode/56JUMP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/56JUMP.md -------------------------------------------------------------------------------- /specs/opcode/57JUMPI.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/57JUMPI.md -------------------------------------------------------------------------------- /specs/opcode/59MSIZE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/59MSIZE.md -------------------------------------------------------------------------------- /specs/opcode/5AGAS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/5AGAS.md -------------------------------------------------------------------------------- /specs/opcode/5BJUMPDEST.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/5BJUMPDEST.md -------------------------------------------------------------------------------- /specs/opcode/80DUPX.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/80DUPX.md -------------------------------------------------------------------------------- /specs/opcode/90SWAPX.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/90SWAPX.md -------------------------------------------------------------------------------- /specs/opcode/A0_A4LOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/A0_A4LOG.md -------------------------------------------------------------------------------- /specs/opcode/F1CALL_F2CALLCODE_F4DELEGATECALL_FASTATICCALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/F1CALL_F2CALLCODE_F4DELEGATECALL_FASTATICCALL.md -------------------------------------------------------------------------------- /specs/opcode/F3RETURN_FDREVERT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/opcode/F3RETURN_FDREVERT.md -------------------------------------------------------------------------------- /specs/precompile/04dataCopy.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/precompile/04dataCopy.md -------------------------------------------------------------------------------- /specs/public_inputs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/public_inputs.md -------------------------------------------------------------------------------- /specs/public_inputs.rev1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/public_inputs.rev1.png -------------------------------------------------------------------------------- /specs/state-proof.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/state-proof.md -------------------------------------------------------------------------------- /specs/super_circuit.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/super_circuit.md -------------------------------------------------------------------------------- /specs/super_circuit.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/super_circuit.png -------------------------------------------------------------------------------- /specs/tables.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/tables.md -------------------------------------------------------------------------------- /specs/transactions-proof.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/transactions-proof.md -------------------------------------------------------------------------------- /specs/tx_circuit.rev1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/tx_circuit.rev1.png -------------------------------------------------------------------------------- /specs/word-encoding.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/specs/word-encoding.md -------------------------------------------------------------------------------- /src/zkevm_specs/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/__init__.py -------------------------------------------------------------------------------- /src/zkevm_specs/bytecode_circuit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/bytecode_circuit.py -------------------------------------------------------------------------------- /src/zkevm_specs/copy_circuit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/copy_circuit.py -------------------------------------------------------------------------------- /src/zkevm_specs/encoding/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/encoding/__init__.py -------------------------------------------------------------------------------- /src/zkevm_specs/encoding/lookup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/encoding/lookup.py -------------------------------------------------------------------------------- /src/zkevm_specs/encoding/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/encoding/utils.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/__init__.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/__init__.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/add_sub.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/add_sub.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/addmod.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/addmod.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/address.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/address.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/balance.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/balance.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/begin_deposit_tx.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/begin_deposit_tx.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/begin_tx.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/begin_tx.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/bitwise.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/bitwise.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/block_ctx.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/block_ctx.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/blockhash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/blockhash.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/byte.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/byte.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/calldatacopy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/calldatacopy.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/calldataload.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/calldataload.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/calldatasize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/calldatasize.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/caller.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/caller.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/callop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/callop.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/callvalue.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/callvalue.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/codecopy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/codecopy.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/codesize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/codesize.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/comparator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/comparator.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/dataCopy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/dataCopy.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/end_block.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/end_block.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/end_deposit_tx.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/end_deposit_tx.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/end_tx.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/end_tx.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/error_invalid_jump.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/error_invalid_jump.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/error_invalid_opcode.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/error_invalid_opcode.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/error_stack.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/error_stack.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/exp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/exp.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/extcodecopy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/extcodecopy.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/extcodehash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/extcodehash.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/extcodesize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/extcodesize.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/fee_distribution_hook.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/fee_distribution_hook.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/gas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/gas.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/gasprice.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/gasprice.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/iszero.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/iszero.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/jump.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/jump.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/jumpi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/jumpi.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/log.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/log.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/memory.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/msize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/msize.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/mul_div_mod.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/mul_div_mod.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/mulmod.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/mulmod.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/not_.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/not_.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/oog_call.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/oog_call.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/oog_constant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/oog_constant.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/origin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/origin.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/pop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/pop.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/proposer_reward_hook.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/proposer_reward_hook.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/push.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/push.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/return_revert.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/return_revert.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/returndatacopy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/returndatacopy.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/returndatasize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/returndatasize.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/sar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/sar.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/sdiv_smod.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/sdiv_smod.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/selfbalance.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/selfbalance.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/sha3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/sha3.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/shl_shr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/shl_shr.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/slt_sgt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/slt_sgt.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/stop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/stop.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution/storage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution/storage.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/execution_state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/execution_state.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/instruction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/instruction.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/main.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/opcode.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/opcode.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/precompile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/precompile.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/step.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/step.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/table.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/table.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/typing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/typing.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/util/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/util/__init__.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/util/call_gadget.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/util/call_gadget.py -------------------------------------------------------------------------------- /src/zkevm_specs/evm_circuit/util/memory_gadget.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/evm_circuit/util/memory_gadget.py -------------------------------------------------------------------------------- /src/zkevm_specs/exp_circuit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/exp_circuit.py -------------------------------------------------------------------------------- /src/zkevm_specs/opcode/__init__.py: -------------------------------------------------------------------------------- 1 | from .signextend import * 2 | -------------------------------------------------------------------------------- /src/zkevm_specs/opcode/signextend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/opcode/signextend.py -------------------------------------------------------------------------------- /src/zkevm_specs/pi_circuit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/pi_circuit.py -------------------------------------------------------------------------------- /src/zkevm_specs/state_circuit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/state_circuit.py -------------------------------------------------------------------------------- /src/zkevm_specs/tx_circuit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/tx_circuit.py -------------------------------------------------------------------------------- /src/zkevm_specs/util/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/util/__init__.py -------------------------------------------------------------------------------- /src/zkevm_specs/util/arithmetic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/util/arithmetic.py -------------------------------------------------------------------------------- /src/zkevm_specs/util/constraint_system.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/util/constraint_system.py -------------------------------------------------------------------------------- /src/zkevm_specs/util/hash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/util/hash.py -------------------------------------------------------------------------------- /src/zkevm_specs/util/param.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/util/param.py -------------------------------------------------------------------------------- /src/zkevm_specs/util/typing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/src/zkevm_specs/util/typing.py -------------------------------------------------------------------------------- /tests/common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/common.py -------------------------------------------------------------------------------- /tests/evm/test_add_sub.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_add_sub.py -------------------------------------------------------------------------------- /tests/evm/test_addmod.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_addmod.py -------------------------------------------------------------------------------- /tests/evm/test_address.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_address.py -------------------------------------------------------------------------------- /tests/evm/test_balance.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_balance.py -------------------------------------------------------------------------------- /tests/evm/test_begin_deposit_tx.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_begin_deposit_tx.py -------------------------------------------------------------------------------- /tests/evm/test_begin_tx.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_begin_tx.py -------------------------------------------------------------------------------- /tests/evm/test_bitwise.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_bitwise.py -------------------------------------------------------------------------------- /tests/evm/test_block_ctx.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_block_ctx.py -------------------------------------------------------------------------------- /tests/evm/test_blockhash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_blockhash.py -------------------------------------------------------------------------------- /tests/evm/test_byte.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_byte.py -------------------------------------------------------------------------------- /tests/evm/test_calldatacopy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_calldatacopy.py -------------------------------------------------------------------------------- /tests/evm/test_calldataload.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_calldataload.py -------------------------------------------------------------------------------- /tests/evm/test_calldatasize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_calldatasize.py -------------------------------------------------------------------------------- /tests/evm/test_caller.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_caller.py -------------------------------------------------------------------------------- /tests/evm/test_callop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_callop.py -------------------------------------------------------------------------------- /tests/evm/test_callvalue.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_callvalue.py -------------------------------------------------------------------------------- /tests/evm/test_codecopy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_codecopy.py -------------------------------------------------------------------------------- /tests/evm/test_codesize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_codesize.py -------------------------------------------------------------------------------- /tests/evm/test_comparator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_comparator.py -------------------------------------------------------------------------------- /tests/evm/test_dataCopy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_dataCopy.py -------------------------------------------------------------------------------- /tests/evm/test_end_block.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_end_block.py -------------------------------------------------------------------------------- /tests/evm/test_end_deposit_tx.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_end_deposit_tx.py -------------------------------------------------------------------------------- /tests/evm/test_end_tx.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_end_tx.py -------------------------------------------------------------------------------- /tests/evm/test_error_invalid_jump.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_error_invalid_jump.py -------------------------------------------------------------------------------- /tests/evm/test_error_invalid_opcode.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_error_invalid_opcode.py -------------------------------------------------------------------------------- /tests/evm/test_error_oog_call.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_error_oog_call.py -------------------------------------------------------------------------------- /tests/evm/test_error_oog_constant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_error_oog_constant.py -------------------------------------------------------------------------------- /tests/evm/test_error_stack.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_error_stack.py -------------------------------------------------------------------------------- /tests/evm/test_exp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_exp.py -------------------------------------------------------------------------------- /tests/evm/test_extcodecopy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_extcodecopy.py -------------------------------------------------------------------------------- /tests/evm/test_extcodehash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_extcodehash.py -------------------------------------------------------------------------------- /tests/evm/test_extcodesize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_extcodesize.py -------------------------------------------------------------------------------- /tests/evm/test_fee_distribution_hook.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_fee_distribution_hook.py -------------------------------------------------------------------------------- /tests/evm/test_gas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_gas.py -------------------------------------------------------------------------------- /tests/evm/test_gasprice.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_gasprice.py -------------------------------------------------------------------------------- /tests/evm/test_iszero.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_iszero.py -------------------------------------------------------------------------------- /tests/evm/test_jump.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_jump.py -------------------------------------------------------------------------------- /tests/evm/test_jumpi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_jumpi.py -------------------------------------------------------------------------------- /tests/evm/test_logs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_logs.py -------------------------------------------------------------------------------- /tests/evm/test_memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_memory.py -------------------------------------------------------------------------------- /tests/evm/test_msize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_msize.py -------------------------------------------------------------------------------- /tests/evm/test_mul_div_mod.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_mul_div_mod.py -------------------------------------------------------------------------------- /tests/evm/test_mulmod.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_mulmod.py -------------------------------------------------------------------------------- /tests/evm/test_not.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_not.py -------------------------------------------------------------------------------- /tests/evm/test_origin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_origin.py -------------------------------------------------------------------------------- /tests/evm/test_pop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_pop.py -------------------------------------------------------------------------------- /tests/evm/test_proposer_reward_hook.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_proposer_reward_hook.py -------------------------------------------------------------------------------- /tests/evm/test_push.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_push.py -------------------------------------------------------------------------------- /tests/evm/test_return_revert.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_return_revert.py -------------------------------------------------------------------------------- /tests/evm/test_returndatacopy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_returndatacopy.py -------------------------------------------------------------------------------- /tests/evm/test_returndatasize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_returndatasize.py -------------------------------------------------------------------------------- /tests/evm/test_sar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_sar.py -------------------------------------------------------------------------------- /tests/evm/test_sdiv_smod.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_sdiv_smod.py -------------------------------------------------------------------------------- /tests/evm/test_selfbalance.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_selfbalance.py -------------------------------------------------------------------------------- /tests/evm/test_sha3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_sha3.py -------------------------------------------------------------------------------- /tests/evm/test_shl_shr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_shl_shr.py -------------------------------------------------------------------------------- /tests/evm/test_sload.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_sload.py -------------------------------------------------------------------------------- /tests/evm/test_slt_sgt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_slt_sgt.py -------------------------------------------------------------------------------- /tests/evm/test_sstore.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_sstore.py -------------------------------------------------------------------------------- /tests/evm/test_stop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/evm/test_stop.py -------------------------------------------------------------------------------- /tests/test_bytecode_circuit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/test_bytecode_circuit.py -------------------------------------------------------------------------------- /tests/test_public_inputs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/test_public_inputs.py -------------------------------------------------------------------------------- /tests/test_state_circuit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/test_state_circuit.py -------------------------------------------------------------------------------- /tests/test_tx_circuit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kroma-network/zkevm-specs/HEAD/tests/test_tx_circuit.py --------------------------------------------------------------------------------