News, Tech.
Compile smart contract After writing the contract, select compiler version 2.0 (currently formal verification only supports version 2.0), click “Compile” to compile a contract. 5. Formal verification for smart contract Switch to the “Verify” tab after compiling, click “Formal verification” to start