FX168财经网_全球视野外汇黄金加密货币NFT资讯网

中国节能董事长宋鑫：已投入超1300亿元在长江流域实施500余个节能环保项目

中国节能深入推进企业治理体系和治理能力现代化，主动加强信息披露，每年发布社会责任报告，持续完善中国特色国有企业现代公司治理体系，进一步加强上市公司管理，深入实施全面对标管理，不断提升价值创造能力，加快创建世界一流企业步伐。同时，持续为构建具有中国特色的ESG规则规范作贡献，积极为国家部委机关、金融机构、中央企业提供ESG咨询服务、参与标准制定等。　　宋鑫表示，未来，中国节能愿与社会各界一道，继续在ESG建设和低碳转型中发挥更大作用，努力成为我国ESG实践的先锋模范、ESG治理的榜样标杆、ESG体系建设的中坚骨干。

金融界2023-06-15

中国中车董事长孙永才：践行“6G”理念，担当五大责任

发展，加快建设世界一流企业，为以中国式现代化全面推进中华民族伟大复兴贡献力量。

金融界2023-06-15

中交集团董事长王彤宙：争做“交通强国”排头兵

条、全流程，推进公司治理体系和治理能力现代化。公司连续3年发布ESG报告，成为央企首批ESG示范企业，入选“央企ESG˙先锋50指数”，获国资委经营业绩考核“17连A”。

金融界2023-06-15

国家统计局：5月消费和投资逐步恢复，外贸韧性继续显现

改革开放，着力恢复和扩大需求，加快建设现代化产业体系，推动经济整体好转，促进经济实现质的有效提升和量的合理增长。

金融界2023-06-15

国家统计局：国民经济延续恢复态势，但经济恢复基础尚不稳固

和扩大需求，加快建设以实体经济为支撑的现代化产业体系，把发挥政策效力、激发经营主体活力和稳定市场信心结合起来，巩固经济恢复向好的基础，促进经济实现质的有效提升和量的合理增长。

金融界2023-06-15

详述有效性证明Rollup和Cairo VM技术特性

个有效代数表达式用于编写可证明程序的现代类 Rust 语言高级 Cairo 语言和 Cairo 汇编（VM 指令）之间的中间表达式（Sierra），可以高效执行 Cairo 代码开发一种全新语言可以根据特定需求定制，可以包含以前所不具备的功能，满足新需要。 Cairo 和编码多元化为了创建某些计算的有效性证明，首先必须将该计算表达为描述计算的一系列数学约束。这个过程非常复杂，难点在于优化计算以提高效率，而且需要特定工具。 Cairo 语言设计之初就是为了简化这一任务，以便 StarkEx 能轻松增添功能和复杂的商业逻辑。将 Cairo 程序编译成代数机器代码，即一串数字，由单个固定的 VM 执行。有了 Cairo，生成描述计算的数学约束这个复杂过程（对于有效性证明来说非常棘手）得以抽象化，进而以一组固定的约束条件（总共不到50个约束）来表示。这样，开发者无需理解底层数学和基础设施，仅需用熟悉的语法编写代码，就能利用有效性证明扩展应用程序。 Starknet 致力于创新，这点在代码多元化处理方法上展现得淋漓尽致。Cairo 采用 STARK 技术实现最佳扩展功能，不仅限于使用 Cairo 本地环境编写合约。开发者还可以选择最适合的方式：在 Cairo 本地编码：Cairo 1.0 受 Rust 启发，更加符合开发者使用习惯且更加安全，编写程序逻辑变得更加容易且不易出错。 Solidity 兼容性：Solidity 开发者可以编写支持 Cairo VM 的代码。这种方式提供了与以太坊相似的开发者体验，并支持 Solidity 智能合约迁移至 Starknet。迁移实现方式有两种：转译：转译是将一种编程语言的源代码转换成另一种语言的过程。Nethermind 团队构建了 Warp 转译器，用于将 Solidity 代码转译为 Cairo。Warp 让 Solidity 智能合约可移植至 Starknet，使其有效成为第四类 zkEVM。目前已用于转译和部署 Uniswap 合约，只需极小的改动即可实现。 Starknet 上的 zkEVM：Cairo VM 能用于证明另一个 VM 的执行。Kakarot 是采用 Cairo 编写的 zkEVM，可用于在 Starknet 上运行以太坊智能合约。Cairo VM 和 zkEVM 并不是竞争关系，与其在两者之间做出选择，不如采用两者兼得的方式！尽管 Cairo 问世时间不长，但根据 TVL 排名，Cairo 是第四受欢迎的智能合约编程语言，估值超 3.5 亿美元。总结 zkEVM 旨在将以太坊开发者环境复制到 Rollup 中，并允许开发者使用熟悉的以太坊工具。但这种方式限制了有效性证明的潜力，且资源密集。专为有效性证明设计的 Cairo VM 不受到 EVM 的限制。Cairo VM 支持 Cairo 1.0。Cairo 1.0 受 Rust 语言启发，更加符合开发者使用习惯且更加安全，形成强大的工具，旨在利用 STARK 证明高效扩展以太坊。看到 Cairo 每周都在发展，Kakarot zkEVM 和 Warp 这种开发者选择越来越多，令人兴奋。随着 Starknet dApp 投入生产，展现出 Cairo 的强大力量，我们坚信未来 Cairo 会催生出前所未见的优秀项目。上文概述了 SATRK 扩展的三种路径，毫无疑问未来几个月还会有更多创新诞生。开发者现在对扩展区块链有了前所未有的掌控权。 zkEVM 类型 Vitalik 将 zkEVM 主要分为四个类型：第一类完全等效以太坊：不改变以太坊生态系统的任何部分。第二类完全等效 EVM：能和现有 dApp 兼容，并对以太坊的设计做出部分调整以加快证明生成。第三类大致等效 EVM：支持大部分 EVM 操作码，移除部分 zkEVM 难以实现的功能（如预编译和哈希函数）。第四类等效高级语言：用 Solidity/Vyper 编写智能合约代码，并将其转译成有效性证明友好型语言。来源：金色财经

金色财经2023-06-15

新药创新路径更加清晰中药注册新政实施在即

维及整体观，鼓励运用传统中药研究方法和现代科学技术研究、开发中药。支持研制基于古代经典名方、名老中医经验方、医疗机构配制的中药制剂等具有丰富中医临床实践经验的中药新药；支持研制对人体具有系统性调节干预功能等的中药新药，鼓励应用新兴科学和技术研究阐释中药的作用机理。　　对于中药板块，华安证券认为是中长期的机会，建议优质的中药标的需要拿住拿稳，调整则视为买入机会；短期的估值等因素在景气度面前应该淡化，近期尤其要关注基药目录、配方颗粒、没涨的非国企优质中药标的。创新药更多关注FIC标的，尤其是公司产品已经拿证具备商业化能力、处于放量期的标的。　　对于中药板块，国元证券近日建议关注：贵州三力、康恩贝、达仁堂、佐力药业、一品红、太极集团、康缘药业。

金融界2023-06-15

中国化学：1-5月合同金额合计1417.65亿元

化学工程、基础设施、环境治理)、实业和现代服务业业务。公司董事长为戴和根。公司总经理为文岗。重仓XD中国化的前十大基金见下表：其中持有数量最多的基金为广发中证基建工程ETF，目前规模为59.37亿元，最新净值1.2095（6月13日），较上一交易日下跌0.8%，近一年上涨4.29%。该基金现任基金经理为霍华明。以上内容由证券之星根据公开信息整理，由算法生成，与本站立场无关。证券之星力求但不保证该信息（包括但不限于文字、视频、音频、数据及图表）全部或者部分内容的的准确性、完整性、有效性、及时性等，如存在问题请联系我们。本文为数据整理，不对您构成任何投资建议，投资有风险，请谨慎决策。

证券之星2023-06-14

美国国防人士：中国的军事监听网络与美国存在差距，但目前发展迅速！

廷建立了一个太空监测站。跟踪中国军事现代化的国防分析人士和外交人士表示，中国政府在中国大陆和海南岛设有广泛的监听站，但其更广泛的海上行动仍在进行中。伦敦国际战略研究所(IISS) 2018年的一项研究显示，在过去10年里，中国在南中国海填海造岛并加固了一系列有争议的珊瑚礁后，又建造了深入东南亚的新的信号情报基础设施。中国政府正在运行自己的北斗全球导航卫星系统，并在印度洋和太平洋部署大型太空测量船，以及较小的海上监视船和早期预警和监视飞机。IISS军事平衡报告指出，目前中国运营着207颗卫星，其中86颗用于信号情报和预警行动。五角大楼2022年关于中国军事的报告称，这些测量船由解放军不断扩大的战略支援部队(SSF)操作，可以跟踪弹道导弹发射和卫星。报告指出，中国还在纳米比亚、巴基斯坦、肯尼亚以及阿根廷设有跟踪和指挥站。该地区的外交人士说，虽然中国正在建立一个全球军事情报网络，但它缺乏美国式的联盟和伙伴关系体系，这有助于谨慎的监视工作。美国国务卿布林肯此前发表讲话时没有具体说明中国考虑在哪些国家设立监听站，但一些西方外交官认为，预计中国将对在南太平洋和整个印度洋设立监听站施加外交压力。五角大楼的报告列出了中国“可能考虑”建设军事后勤设施的14个国家，包括缅甸、斯里兰卡、坦桑尼亚和安哥拉。

白兔捣药秋复春2023-06-14

俄罗斯首次承认大规模损失！乌克兰发起反攻，普京罕见承认不足

但“我们仍然需要很多武器”。“我们需要现代反坦克武器，我们需要现代坦克。”

云涌2023-06-14

24小时热点