区块链控股申请用于可证实计算的类似C的智能合约的算术增强专利,用于生成可以在处理器上执行的二次规划
创始人
2026-01-17 16:23:15
0

国家知识产权局信息显示,区块链控股有限公司申请一项名为“用于可证实计算的类似C的智能合约的算术增强”的专利,公开号CN121333548A,申请日期为2018年10月。

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

声明:市场有风险,投资需谨慎。本文为AI基于第三方数据生成,仅供参考,不构成个人投资建议。

来源:市场资讯

相关内容

热门资讯

共享电单车供应商松果出行港股I... 日前,共享电单车服务供应商北京快松果科技有限公司的实质控股公司Pinecone Wisdom Inc...
华云清洁能源申请基于区块链的区... 国家知识产权局信息显示,浙江华云清洁能源有限公司;国网浙江省电力有限公司申请一项名为“一种基于区块链...
1月17日:BTC、ETH、B... 比特币没啥变化,96000 附近徘徊,昨晚美盘没有持续,目前 Coinbase 的溢价又没有了,变成...
【本周宽基指数ETF遭主力抛售... 【本周宽基指数ETF遭主力抛售逾2000亿】Wind数据显示,本周沪深两市股票型ETF和跨境型ETF...
央广财评|结构性货币政策“降价... 新年伊始,人民银行发放货币金融政策“大礼包”,通过“降价、加量、扩围”组合拳,精准滴灌实体经济关键领...
区块链控股申请用于可证实计算的... 国家知识产权局信息显示,区块链控股有限公司申请一项名为“用于可证实计算的类似C的智能合约的算术增强”...
知名策略师“抛弃”比特币,理由... Jefferies全球股票策略主管Christopher Wood将比特币从其投资组合中完全剔除,理...
豪恩汽车电子申请Linux系统... 国家知识产权局信息显示,深圳市豪恩汽车电子装备股份有限公司申请一项名为“Linux系统的寄存器读写方...
BTC、ETH诱空?下周继续暴... 最近24小时,全球共有 79,607 人被爆仓 ,爆仓总金额为 $1.44 亿!比特币、以太坊周末多...