温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。
本说明书实施例中提供了一种智能合约的安全处理方法、编译处理方法、装置及编译器。该安全处理方法包括:获取智能合约的源代码以及用于指示形式验证条件的描述代码;通过编译器前端将源代码转换为可信IR,其中对于源代码中定义的需要独立分配内存空间的数据...该专利属于支付宝(杭州)信息技术有限公司所有,仅供学习研究参考,未经过支付宝(杭州)信息技术有限公司授权不得商用。
温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。
本说明书实施例中提供了一种智能合约的安全处理方法、编译处理方法、装置及编译器。该安全处理方法包括:获取智能合约的源代码以及用于指示形式验证条件的描述代码;通过编译器前端将源代码转换为可信IR,其中对于源代码中定义的需要独立分配内存空间的数据...