国家知识产权局信息显示,区块链控股有限公司申请一项名为“用于可证实计算的类似C的智能合约的算术增强”的专利,公开号CN121333548A,申请日期为2018年10月。
专利摘要显示,本发明提供了一种系统和方法,用于将高级源代码转换成表示该源代码中表达的功能的算术电路。本发明包括用于执行该转换的翻译/解释组件。在优选实施方式中,源代码是智能合约,例如与区块链平台相关地使用的合约。根据实施方式的方法包括以下步骤:处理一部分高级源代码(例如,智能合约)以生成算术电路。算术电路包括一个或更多个算术门,该算术门被布置为表示在源代码中表达的功能中的至少一些。该处理涉及评估源代码中提供的一个或更多个常量,以产生一个或更多个包含布尔和/或算术运算符的表达式。算术电路包括连接到算术门的n位线;它可以用来提供硬件和/或软件电路。算术电路可以用于生成可以在处理器上执行的二次规划。
声明:市场有风险,投资需谨慎。本文为AI基于第三方数据生成,仅供参考,不构成个人投资建议。
来源:市场资讯