多项选择题
智能合约的安全性保障措施可以包括（）
A.代码审计B.形式化验证C.安全测试D.定期更新
多项选择题 以下哪些因素可能影响智能合约的执行效率（）
多项选择题 智能合约的开发可能涉及到以下哪些技术（）
多项选择题 影响区块链交易中矿工选择打包交易的因素有（）
