下载一种优化智能合约证明生成中查找表的方法和系统的技术资料

文档序号:40327671

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。

本发明公开了一种优化智能合约证明生成中查找表的方法和系统,包括:列出智能合约中的所有指令所需要的查找表操作,获取各个查找表操作的来源编码和去向编码;将来源编码中包含的所有等价编码进行归类,将等价编码按照唯一的编码方式进行替换;将去向编码中包...
该专利属于北京微芯区块链与边缘计算研究院所有,仅供学习研究参考,未经过北京微芯区块链与边缘计算研究院授权不得商用。

详细技术文档下载地址

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。