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

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