Matterhorn 和 ASI 联盟的一项新举措为人工智能生成的智能合约增加了审计工具和安全检查。