Python如何进行智能合约安全审计与技术分析?