I read the following in a research paper: Short Paper: Formal Verification of Smart Contracts
contracts are “instantiated” by the account creating transaction; this will allocate the properties of the contract in the global storage and call the constructor (the method with the same name as the contract).
- What does the above mean?
Does it mean that we don’t have the main method in Solidity?
And also does it mean that we can’t load the contract within EVM/block chain as for example we load compiled java code into JVM by using “java contract” where suppose contract is a compiled java code & for that reason we need some external process like Truffle to push the contract into the EVM/block chain?