在位置 0 处没有任何行。 基于CompCert内存模型的智能合约中间语言的可信编译-Trusted Compilation of Smart Contract Intermediate Language Based on the CompCert Memory Model