用于可证实计算的类似C的智能合约的算术增强制造技术

本发明专利技术提供了一种系统和方法，用于将高级源代码转换成表示该源代码中表达的功能的算术电路。本发明专利技术包括用于执行该转换的翻译/解释组件。在优选实施方式中，源代码是智能合约，例如与区块链平台相关地使用的合约。例如，本发明专利技术可以与比特币网络相关地使用。根据实施方式的方法包括以下步骤：处理一部分高级源代码(例如，智能合约)以生成算术电路。算术电路包括一个或更多个算术门，该算术门被布置为表示在源代码中表达的功能中的至少一些。该处理涉及评估源代码中提供的一个或更多个常量，以产生一个或更多个包含布尔和/或算术运算符的表达式。算术电路包括连接到算术门的n位线；它可以用来提供硬件和/或软件电路。算术电路可以用于生成可以在处理器上执行的二次规划。

【技术实现步骤摘要】
【国外来华专利技术】用于可证实计算的类似C的智能合约的算术增强
本专利技术总体上涉及用于将高级源代码转换成另一种形式的工具、技术和系统比如解释器的领域。本专利技术还涉及区块链技术，尤其涉及用于构建区块链实现的解决方案的工具。本专利技术还涉及改进的一代机器可执行技术，比如被设置为在区块链上执行的智能合约。
技术介绍
在本文中，术语“区块链”指的是一些类型的基于计算机的电子分布式账本中的任意一种。这些包括基于共识的区块链和交易链技术、经许可和未经许可的账本、共享账本及其变体。其还包括私有区块链和公有区块链。区块链技术最广为人知的应用是比特币账本，尽管已经提出并开发了其他区块链实现方式。虽然出于方便和说明的目的在本公开中可以参考比特币的示例，然而应当注意，本专利技术不限于与比特币区块链或相关协议的任何特定实现方式或变体一起使用，并且替代性的区块链实现方式和协议落入本专利技术的范围内。区块链是一种点对点的电子账本，其被实现为基于计算机的去中心化的系统，该系统由区块组成，而区块又由交易组成。每个交易是这样的数据结构，该数据结构对区块链系统中的参与方之间的数字本文档来自技高网...

【技术保护点】
1.一种计算机实现的方法，包括以下步骤：/n处理一部分源代码以生成算术电路，其中：/n所述源代码是用高级编程语言编写的；以及/n所述算术电路包括一个或更多个算术门，所述一个或更多个算术门被设置为代表在所述源代码中表达的一些功能或全部功能。/n

【技术特征摘要】
【国外来华专利技术】20171109 GB 1718505.9;20171130 GB 1719998.5;2017121.一种计算机实现的方法，包括以下步骤：
处理一部分源代码以生成算术电路，其中：
所述源代码是用高级编程语言编写的；以及
所述算术电路包括一个或更多个算术门，所述一个或更多个算术门被设置为代表在所述源代码中表达的一些功能或全部功能。


2.根据权利要求1所述的方法，其中：
i)所述算术电路是所述源代码的机器可执行版本，并且被设置为对结果进行计算；和/或
ii)所述源代码是智能合约。


3.根据权利要求1或2所述的方法，其中，所述处理步骤包括：
评估在所述源代码中提供的一个或更多个常量，以提供一个或更多个包含布尔运算符和/或算术运算符的表达式。


4.根据任一前述权利要求所述的方法，还包括以下步骤：
使用所述算术电路来提供硬件和/或软件电路。


5.根据任一前述权利要求所述的方法，其中：
所述算术电路包括连接到算术门的n位导线。


6.根据任一前述权利要求所述的方法，其中：
所述算术电路与架构无关。


7.根据任一前述权利要求所述的方法，其中所述方法还包括对所述源代码进行预处理以确定一个或更多个常量，所述预处理包括以下步骤中的一个或更多个：
去除注释；
将头部声明从头文件导入到源文件；
合并多个源文件；
处理或评估指令和宏。


8.根据任一前述权利要求所述的方法，其中，所述方法还包括以下步骤：检测在所述源代码中...

【专利技术属性】
技术研发人员：亚历山卓·科瓦奇，西蒙娜·马代奥，帕特里克·蒙特利斯基，史蒂芬·文森特，
申请(专利权)人：区块链控股有限公司，
类型：发明
国别省市：安提瓜和巴布达;AG