审计智能合约的成本是多少？如何审计智能合约？