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

本公开涉及用于将可执行的源代码转化为用于验证该源代码的执行过程正确性的零知识证明的数据处理装置和数据处理方法。根据本公开的数据处理装置包括：运算电路约束生成单元，被配置成自动地分析源代码以将源代码分解为代码结构，并且生成描述代码结构的运算电...
该专利属于富士通株式会社所有，仅供学习研究参考，未经过富士通株式会社授权不得商用。

详细技术文档下载地址

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