I am wondering what information is provided to the miner with a transaction that needs to invoke a contract? I thought about Gas, GasPrice, name of function to invoke and input.
But, whether the miner can access to the source code of the contract before executing the transaction? Whether the miner will be able to know what operations (e.g., storage to memory or just simple arithmetic operations) need to be executed?
Any good source to learn about such technical details about this?