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

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

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

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

来源:市场资讯

相关内容

一周重磅日程:美非农、Co...
06月01日 - 06月07日当周重磅财经事件一览,以下均为北京时...
2026-06-02 13:22:14
华夏基金总经理李一梅:新范...
【导读】华夏基金总经理李一梅发表主题演讲,详解华夏基金的“智能进化...
2026-06-02 13:11:12
原创 ...
开发虚拟地形行走技术 (映维网Nweon 2026年05月28...
2026-06-02 13:09:58
聚焦区块链+AI融合创新,...
潮新闻客户端 记者 楼纯 近日,2026CCF中国区块链技术与应用...
2026-06-02 13:05:51
长三角基础研究联合基金如何...
为促进长三角产业协作与科创协同,澎湃新闻旗下智库澎湃研究所推出“”...
2026-06-01 22:40:48
中本聪式信任的经济学极限:...
编者按 2008年,中本聪提出了一种无需政府或法律支持的去中心化支...
2026-06-01 22:22:33

热门资讯

新海航海南航空引进封关后首架零... 观点网讯:5月31日,新海航海南航空在空客德国交付中心接收一架全新空客A321neo飞机。这是海南自...
40万亿临门与基金经理“出走潮... 这一周,基金圈几个事情,放在一起魔幻又现实。 一是,4月底的公募管理总规模39.3万亿,距离40万亿...
惠民举措落到实处!山东民政“进... “写书法,要掌握好‘提’与‘按’的变化……”5月28日下午,在德州市德城区二屯镇北厂社区,71岁的退...
原创 第... 2026第十届集微大会期间,2026第三届“创芯海门”发展大会也在张江科学会堂成功举办。大会邀请到了...
东吴基金:上海分公司完成工商注... 北京商报讯(记者 刘宇阳 实习生 王思奕)5月31日,东吴基金发布公告称,经东吴基金董事会批准,公司...
中欧基金窦玉明:AI赋能时代,... 【导读】中欧基金窦玉明:AI赋能时代,“三化”协同夯实长期业绩根基 中国基金报记者 曹雯璟 “未来资...
广东千亿“永续”母基金,来了 关注投资家,⭐,您会收到最新推送 作者|黄蓉 2026年的一级市场,暖风一吹再吹。从中央到地方,积极...
国泰基金:指定多只基金主流动性... 国泰基金公告称,自2026年6月1日起,指定如下流动性服务商为相关证券投资基金的主流动性服务商:国泰...
纪念币破圈最大“拦路虎”!这些... 明明大家对新发行的品种热情很高,但真到了交易环节,却处处碰壁。很多资深的纪念币爱好者心里跟明镜儿似的...