Smart Contracts, Solidity, Bitcoin, Bitcoin Sv, Ethereum.
has to be passed in when the calling transaction is constructed off chain, which is verified in the smart contract on chain. We are guaranteed the contract enters the expected and correct new state after the call. In Solidity, only the action of how a state is updated is specified. The new state is