基于定理证明器的EVM指令集抽象语义描述方法和装置

本申请涉及区块链技术领域，提出一种基于定理证明器的EVM指令集抽象语义描述方法、装置、电子设备和计算机程序产品。该方法包括：获取待处理的EVM指令集；在定理证明器中基于归纳定义的方法，将EVM指令集转换为对应的抽象语义描述。该方法利用高可信度的定理证明器，能够在数学上精确、完整地描述EVM指令集运行时的指令行为，从而提高针对EVM指令集进行抽象语义描述的准确性，为智能合约的自动化推理和形式化验证提供坚实的数学基础。