Solidity EVM

Solidity EVM is a restricted Ethereum Virtual Machine interpreter, it interprets only view (and exceptions) solidity-wise EVM bytecode otherwise this implementation should throw an invalid opcode.

Idea

The goal is to allow a smart contract to analyze an other smart contract and detect if it would be allowed to run a function to force the suicide(address) opcode.

//Landlord.sol deployed @ 0xc8f8371BDd6FB64388F0D65F43A0040926Ee38be
contract Landlord {
	modifier canDestruct() {
		...
		evm.RunAtAddress(msg.sender, 0x2be5e0b2); // _eviction() function selector
		// check if `suicide exception` with returning address properly set
		...
	}

	function Register() canDestruct {
		// Register to oracle for service
	}
}

//Tenant.sol deployed @ 0x832658CEcFC4fb19661C3B8Bbd04A3A3720efe1e
contract Tenant {
	function _eviction() public { // function selector 0x2be5e0b2
		require(msg.sender == 0xc8f8371BDd6FB64388F0D65F43A0040926Ee38be); // TODO add way to use storage for this particular usage
		selfdestruct(0xc8f8371BDd6FB64388F0D65F43A0040926Ee38be);
	}

	function constructor(address landlord) {
		Landlord(landlord).Register();
	}
}

This mechanism could enforce a final rent payment would be payable to the Landlord or Service Provider.

See https://ethresear.ch/t/paying-rent-with-deposits/2221 Old draft & related ideas: https://ethresear.ch/t/state-channel-toy-implementation/1495 Other idea: implement an oracle/DNS on top of that. Execute EVM inside EVM

Development requirements

• Truffle >= 5.0.0
• Solidity v0.4.25

Implemented opcode

• STOP
• ADD
• MUL
• SUB
• DIV
• SDIV
• MOD
• SMOD
• ADDMOD
• MULMOD
• EXP
• SIGNEXTEND
• LT
• GT
• SLT
• SGT
• EQ
• ISZERO
• AND
• OR
• XOR
• NOT
• BYTE
• SHA3
• ADDRESS
• ORIGIN
• CALLER
• CALLVALUE
• CALLDATALOAD
• CALLDATASIZE
• CALLDATACOPY
• CODESIZE
• CODECOPY
• POP
• MLOAD
• MSTORE
• MSTORE8
• JUMP
• JUMPI
• PC
• MSIZE
• GAS
• JUMPDEST
• LOG0
• LOG1
• LOG2
• LOG3
• LOG4
• RETURN
• REVERT
• INVALID
• SELFDESTRUCT
• PUSH1
• PUSH2
• PUSH3
• PUSH4
• PUSH5
• PUSH6
• PUSH7
• PUSH8
• PUSH9
• PUSH10
• PUSH11
• PUSH12
• PUSH13
• PUSH14
• PUSH15
• PUSH16
• PUSH17
• PUSH18
• PUSH19
• PUSH20
• PUSH21
• PUSH22
• PUSH23
• PUSH24
• PUSH25
• PUSH26
• PUSH27
• PUSH28
• PUSH29
• PUSH30
• PUSH31
• PUSH32
• DUP1
• SWAP1
• DUP2
• SWAP2
• DUP3
• SWAP3
• DUP4
• SWAP4
• DUP5
• SWAP5
• DUP6
• SWAP6
• DUP7
• SWAP7
• DUP8
• SWAP8
• DUP9
• SWAP9
• DUP10
• SWAP10
• DUP11
• SWAP11
• DUP12
• SWAP12
• DUP13
• SWAP13
• DUP14
• SWAP14
• DUP15
• SWAP15
• DUP16
• SWAP16