{"p":"can-20","op":"mint","tick":"can","amt":"1000","rows":[{"df":"qa","content":[{"q":"How to verify deployed smart contracts?","a":"Formal verification: This is a verification method based on mathematical methods, which ensures  that the contract compliance during execution by constructing a logical model of the smart contract. Formal verification methods include manual auditing, rule validation, semantic validation, etc., of which formal verification is the most concerned. This method can help to discover potential security issues in the contract and improve the security of the contract."}]}],"pr":"c7492ec10ac3b77b594e5d717d7b9575d7b431a3e3310a8d220d45a63dd384ef"}