Add ABI version

[jochem-brouwer]

This PR checks if the user input matches the ABI of get(uint256)

[lightclient]

oh this is 4 words, you'll actually need to load 1 word and mask out the upper 4 bytes. you can see how to do that here: https://github.com/lightclient/erc20/blob/7b0d75d60f4e746c697a9ff88c62da411ac3f3b5/src/jump_table.etk#L20-L23

[jochem-brouwer]

Calldataload puts 32 bytes from calldata on stack, and item on stack is the offset?

[jochem-brouwer]

This does not load function selector but it loads the timestamp input from calldata BTW

[holiman]

oh this is 4 words

Nope, the calldataload offset is a byte-offset, not word-offset

func opCallDataLoad(pc *uint64, interpreter *EVMInterpreter, scope *ScopeContext) ([]byte, error) {
	x := scope.Stack.peek()
	if offset, overflow := x.Uint64WithOverflow(); !overflow {
		data := getData(scope.Contract.Input, offset, 32)
		x.SetBytes(data)

So it's correct

[lightclient]

ah you're right i got confused with how i was mloading the data in the other project!

[jochem-brouwer]

Also merged master