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

东吴证券：给予科达自控买入评级

频发，且呈现上升趋势，严重威胁人民群众生命财产安全，推动各地安全细则加速出台。　　行业先发优势杰出，商业模式能力出色：　　1）公司在智慧矿山领域具备先发优势。公司深耕智慧矿山领域二十余载，依托对行业特殊环境和生产工艺的深入研究，自主研发了矿山自动化专用工业控制模型、算法、通信设备、控制设备等，构建起拥有自主知识产权的软件、硬件产品和系统，被广泛应用于矿山领域，实现设备数据监测和自动控制。　　2）公司为城市新能源充电系统提供安全、智能解决方案。截至2024年一季度，公司已在全国12个省份、30余个城市中大规模推广建设立体式新能源充电管理系统，在全国部署有10万多个充电桩，有100多万端口，可以解决500多万的用户的充电需求，已成为全国社区充电细分赛道的龙头。同时，新能源充换电业务作为面向终端消费者的互联网业务，为公司带来了稳定的现金流入，促使公司2024年一季度现金流由负转正。　　盈利预测与投资评级：我们预计科达自控2024-2026年营业收入达到5.88/7.29/9.22亿元，同比增速分别为33.6%/23.9%/26.6%；预计归母净利润分别为0.80/1.00/1.28亿元，EPS分别为1.03/1.30/1.66元。按2024年5月29日收盘价，对应2024-2026年PE分别为11.43/8.78/6.82倍。科达自控PE较行业可比公司相比明显较低，且公司在充电系统运营业务上增速迅猛，有望成为该细分领域的全国性龙头，因此估值有望进一步抬升。基于此，我们首次覆盖，给予“买入”评级。　　风险提示：市场竞争加剧的风险、高水平技术人员短缺的风险、应收账款占比较大和无法及时收回的风险以上内容由证券之星根据公开信息整理，由算法生成（网信算备310104345710301240019号），与本站立场无关，如数据存在问题请联系我们。本文为数据整理，不对您构成任何投资建议，投资有风险，请谨慎决策。

证券之星05-30 07:33

公告精选︱吉电股份：拟约21.91亿元投建山东潍坊风光储多能互补试点项目首批三期420兆瓦光伏项目；天宜上佳：实际控制人、董事长吴佩芳解除留置

项目预计2025年内量产供货，预计项目生命周期为3年，公司将严格按照客户的订单需求，在规定时间内完成指定产品的开发、试验验证、生产准备与交付工作。公司于2023年1月首次收到客户的《开发定点通知书》，为其问界M9车型供应智能座舱显示产品。2023年12月，公司迎来首个定点车型问界M9正式落地，并于2024年3月进入密集量产交付阶段，车载光学业务进入收入贡献期。2024年第一季度，公司实现车载光学业务收入4,802.68万元。问界M9车规级投影巨幕满足车内娱乐、办公等多样需求，重新定义车内智慧空间。随着M9的顺利落地及交付，公司车规级投影巨幕已充分得到市场验证。据2024年5月11日鸿蒙智行官宣，问界M9仅上市136天累计大定突破80,000台，公司正按计划交付后续订单。

格隆汇05-29 21:26

格隆汇公告精选︱吉电股份：拟约21.91亿元投建山东潍坊风光储多能互补试点项目首批三期420兆瓦光伏项目；天宜上佳：实际控制人、董事长吴佩芳解除留置

项目预计2025年内量产供货，预计项目生命周期为3年，公司将严格按照客户的订单需求，在规定时间内完成指定产品的开发、试验验证、生产准备与交付工作。公司于2023年1月首次收到客户的《开发定点通知书》，为其问界M9车型供应智能座舱显示产品。2023年12月，公司迎来首个定点车型问界M9正式落地，并于2024年3月进入密集量产交付阶段，车载光学业务进入收入贡献期。2024年第一季度，公司实现车载光学业务收入4,802.68万元。问界M9车规级投影巨幕满足车内娱乐、办公等多样需求，重新定义车内智慧空间。随着M9的顺利落地及交付，公司车规级投影巨幕已充分得到市场验证。据2024年5月11日鸿蒙智行官宣，问界M9仅上市136天累计大定突破80,000台，公司正按计划交付后续订单。

格隆汇05-29 21:26

海通国际：给予伟思医疗增持评级，目标价位57.32元

康复和轻医美项目相结合，构建覆盖女性全生命周期的综合解决方案。　　在精神康复领域，2016年公司推出了经颅磁刺激仪，在23M8成功开展经颅电刺激仪合作，此外团体生物反馈技术于2022年完成更新迭代，市场竞争力进一步提升，使得2023年电生理产品收入增长30.67%。在神经康复领域，二代经颅磁刺激仪（康复专用）可为神经康复提供了国际前沿的无创神经调控治疗手段，公司持续丰富公司康复专科产品矩阵，目前针对三级医院康复科已推出“康复环”整体解决方案。　　公司运动康复机器人产品线符合神经康复智能化、标准化的康复需求，第一代产品已全部完成取证流程，初步形成了覆盖人体上下肢的全周期康复评估和训练的运动康复机器人产品矩阵。在巩固传统康复医疗器械产品以外，公司快速成长切入激光射频赛道，全面布局了塑形磁、皮秒激光和射频，截至24M4公司塑形磁产品已经获得FDA认证和国内医疗器械注册证；皮秒激光产品已在年初完成临床试验；射频领域有女性盆底私密、抗衰和身体塑形减脂领域的布局，2023年公司针对盆底私密的高频电灼仪已经上市销售，另外两款产品正在临床前期准备的阶段。　　盈利预测。考虑到生育率下降对公司业务的影响，我们调整公司2024-2026年的归母净利润为1.57亿元、1.92亿元和2.36亿元（24-25年原预测为1.98亿元和2.58亿元），对应EPS分别为2.29元、2.79元和3.44元（24-25年原预测为2.88元和3.77元）。参考可比公司，我们给予公司2024年25X PE，对应目标价57.32元（原目标价78.14元，2023年35X PE，-27%），继续维持“优于大市”评级。　　风险提示。市场竞争加剧的风险，磁刺激产品推广不及预期的风险，新产品研发不及预期的风险。证券之星数据中心根据近三年发布的研报数据计算，中泰证券于佳喜研究员团队对该股研究较为深入，近三年预测准确度均值为79.85%，其预测2024年度归属净利润为盈利1.64亿，根据现价换算的预测PE为18.35。最新盈利预测明细如下：该股最近90天内共有12家机构给出评级，买入评级6家，增持评级6家；过去90天内机构目标均价为55.88。以上内容由证券之星根据公开信息整理，由算法生成（网信算备310104345710301240019号），与本站立场无关，如数据存在问题请联系我们。本文为数据整理，不对您构成任何投资建议，投资有风险，请谨慎决策。

证券之星05-29 18:55

浙江震元（000705.SZ）：公司生物定向合成项目预计今年底前可以开始试生产，明年正式投产

下属绍兴市同源健康管理有限公司专门从事生命健康服务，业务范围包括母婴护理服务、医疗服务等，现有母婴护理中心两家、中医院一家，并设有中医养生馆，注重发挥中医药养生调理、治未病、慢性病管理等方面的优势，围绕“中医+养生”进一步丰富科室体系建设，完善健康服务管理。子公司浙江震元健康科技有限公司，主要从药食同源的健康养生产品开发入手，融入中医药文化特色开发健康养生系列产品。 2、公司经营业态涵盖医药流通、医药工业、中药饮片加工和健康产品及服务等。业务覆盖面广，公司在未来的业务发展上，如何侧重？公司未来将秉承聚焦主业策略，发挥自身技术积累优势，着力做强工业板块，继续加大医药工业领域的投入，在保持原有原料药和制剂业务的基本面情况下，积极布局合成生物领域，寻求新的利润增长点，不断提升企业质量和效益，努力开创高质量发展新局面。 3、介绍本次定增的募投项目？公司本次定增的募投项目包括生物项目和制药项目。生物项目主要聚焦于合成生物产业，是国家发改委颁布《绿色低碳先进技术示范项目清单（第一批）》47个项目之一、2021年浙江省重大产业化示范项目，由公司合计拥100%持股比例的子公司震元生物负责建设实施。合成生物技术被认为是继发现DNA双螺旋结构和人类基因组测序后的第三次生物技术，应用涵盖医药、化工、能源、食品及农业等众多领域。合成生物学相较传统化学合成、动植物资源提取，在安全生产、生产成本、技术效率、环境友好等方面具备明显优势。近年来，我国陆续出台了《关于全面加强基础科学研究的若干意见》《国家创新驱动发展战略纲要》《国家生物技术战略发展纲要》《“十四五”生物经济发展规划》等有关文件政策，2024年中央政府工作报告明确提出，积极打造生物制造、商业航天、低空经济等新增长引擎。国家对合成生学的技术创新和产业发展进行了战略布局和规划，为合成生物产业高质量发展营造了良好的生态氛围和政策环境。制药项目主要聚焦于原料药和制剂一体化产业。公司顺应制剂行业变革趋势，积极布局原料药生产。该项目的建成实施，一方面可确保公司制霉素片、注射用氯诺昔康及注射用腺苷蛋氨酸等拳头产品“原料药-制剂”产业链完整，提升市场综合竞争力；另一方面，充分发挥公司新工艺技术优势，提升产品质量的同时发挥规模优势，降低生产成本，并在源头上降低传统药物生产工艺对生态环境的不良影响和安全生产风险的管控。鉴于上述募投项目均系紧扣国家产业政策方向和行业发展方向而形成，具有良好的发展前景和经济效益。目前两个项目已在陆续推进，本次定向增发是聚焦主业、主动谋变，基于公司既定发展方向和目标对应的建设项目顺势而为，有利于提升公司的盈利能力和核心竞争力，符合公司长期利益和广大中小股东的利益。 4、公司生物定向合成项目情况介绍？公司生物定向合成项目总投资58,704.37万元，计划以募集资金解决30,000.00万元，目前正按照既定的建设计划顺利推进中，预计今年底前可以开始试生产，明年正式投产。设计产能：组氨酸（盐酸组氨酸）2400吨/年、左旋多巴1000吨/年、酪氨酸1000吨/年。该项目为浙江省重大产业化示范项目，今年4月底，作为过程降碳的示范项目被纳入国家发展改革委《绿色低碳先进技术示范项目》。 5、震元生物合成生物技术量产后的产值大概是多少？本次震元生物合成生物项目产品包括组氨酸、左旋多巴及酪氨酸等，现阶段主要目标是加快生物项目建设，组织好试生产工作的同时，抓紧推进营销网络的搭建，确保产能有序消化。具体产值要根据量产后实际情况确定。以上内容与数据，与界面有连云频道立场无关，不构成投资建议。据此操作，风险自担。

有连云05-29 17:55

贝壳(BEKE.US/02423.HK)：“一站式“释放潜力，第二曲线重塑价值

体验，也增强了用户的黏性，提高了用户的生命周期价值。对此，贝壳联合创始人、董事长、首席执行官彭永东也表示：“随着存量房市场逐渐扮演更重要的角色，中国的房地产行业正加速转型迈向新时代。我们以品质和效率为核心，在多个业务领域进行了新的尝试。我们积极连接行业优质门店，也在上海链家创新‘社区迷你网点’门店模式，显著增强了社区扎根和服务能力，逐步打造一站式居住服务的基础设施。我们深度挖掘客户需求，在房产交易和新业务上做了很多提升我们线上、线下服务能力的新探索。在时代变革的背景下，我们拥抱更大的新的可能性，以客户体验为核心积极解题。” 值得注意的是，在推进居住服务的产业数字化、智能化进程中，贝壳也构建了更为核心的竞争力。一方面，贝壳能够利用大数据、人工智能等技术手段，对用户需求进行精准分析，为用户提供个性化的服务推荐。另一方面，贝壳还能够通过数字化工具，优化服务流程，提高服务效率，降低服务成本。基于此，这也意味着贝壳将更好地适应市场变化，快速响应客户需求，从而持续推动业务增长和市场份额的扩大。而伴随技术的不断进步和应用的深化，贝壳的核心竞争力也还会得到进一步加强，进而为其长期发展奠定坚实的基础。总的来看，从“反货品化”视角而言，贝壳通过构建一站式居住服务平台，推进产业数字化、智能化，成功地实现了自身商业模式的“升维”。这不仅为贝壳带来了新的增长动力，也为整个房产服务行业的发展提供了新的思路和方向，引领着整个居住服务行业的创新和变革。 3、多重催化因子加持，“第二曲线”增长下的价值重估近期，贝壳在资本市场的活跃表现尤为引人注目，而站在当下视角来看，短期内其正受到两大显著的催化因素的积极影响。首先是源自政策刺激下的行业“贝塔“。随着一系列楼市政策“礼包”的持续加码，释放潜在购房需求，激发房地产市场活力，在这一过程中以贝壳为代表的房地产行业参与者，也可能迎来市场对其经营发展预期的进一步转好。从资本市场表现来看，房地产板块已经持续走强数周，行业板块成交额也连续创下阶段新高，机构扎堆调研房地产相关企业的同时，海外投资机构更是罕见发声唱多。正所谓信心比黄金重要，在沉寂多时之后，房地产板块迎来预期的转向，对此，多数机构认为这并非一蹴而就。这意味着，板块持续向好预期下，将为行业内企业带来良好的“贝塔”环境。其次则是，政策利好落地后传导到基本面带来的业绩与估值的共振效应。此前，东莞证券在研报中提到，一系列政策组合拳出台，力度极大，超出市场预期，将有助提振市场信心，活跃楼市，加快带动行业走出本轮调整周期底部。政策效力逐步得到体现，后续楼市销售的改善以及房企逐步化债完成，基本面及业绩得到好转，将能带动板块个股更持续的向上修复行情。基于这一逻辑来看，随着房地产业务复苏，也将带给贝壳业绩的修复预期，进而增强资本市场对公司的信心。对此，多家机构也调整了贝壳的业绩预期。其中，高盛将贝壳-W 2024-26年的收入预测提高了2%，non-GAAP纯利预测相应调升了4%。高盛认为，贝壳-W将能够从中国房地产行业的政策支持中获益。高盛同时还指出，贝壳-W公司首季盈利表现超出预期。公司作为中国最大的房屋经纪公司，其线上线下一体化的平台模式展现出强大的营运杠杆效应。实际上，当下也能够看到贝壳正充分发挥其平台优势，全面参与到市场的复苏浪潮中。公司通过整合线上线下资源，提供全方位的购房服务，以满足不同客户的需求，伴随市场的回暖，公司的业绩修复也将是大概率事件。往远期看，多元化业务的持续增长，带来的业务结构和利润结构的深层次转变，也将是驱动公司价值重估的重要催化剂所在。贝壳在非房产交易服务业务的迅猛发展，特别是在收入结构上的积极变化，有望让市场对公司价值逻辑予以重新审视。一方面，随着家装家居、房屋租赁等业务的快速增长，贝壳的收入来源更加多元化，减少了对单一市场波动的依赖。这种结构性的优化，使得贝壳能够在房产市场不同的周期阶段保持稳定的业绩增长。新兴业务的持续贡献，不仅增加了公司的业绩增量，也提升了盈利的质量，有力增强了贝壳的综合实力和市场竞争力。另一方面，稳健的经营性现金流和良好的盈利能力，为贝壳提供了强大的经营支撑。在资本市场上，这种稳健的财务表现和良好的风险管理能力，将增强市场对贝壳的信心，并带给公司价值重估的可能。 4、结语从贝壳交出的一季度成绩单，不难看到公司在整体经营上的适应性和稳健经营能力。当前，整个资本市场不论是地产板块，还是互联网科技板块走强趋势的持续演绎，都将为贝壳带来良好的机遇。伴随公司业绩拐点的到来，带给市场预期提振，也将进一步为后续的表现带来正面刺激。从各大机构的研报来看，其所呈现出看好贝壳发展的信心，这不仅体现在机构对公司后续经营表现的乐观预期，更在于对其战略和创新能力的高度认可，尤其是对其打造一站式居住服务的基础设施的发展远景的看好。随着贝壳继续深化其“一站式平台”战略，其生态潜力将进一步释放，为股东和社会创造更多价值。

格隆汇05-29 17:26

贝壳(BEKE.US/02423.HK)：“一站式“释放潜力，第二曲线重塑价值

体验，也增强了用户的黏性，提高了用户的生命周期价值。对此，贝壳联合创始人、董事长、首席执行官彭永东也表示：“随着存量房市场逐渐扮演更重要的角色，中国的房地产行业正加速转型迈向新时代。我们以品质和效率为核心，在多个业务领域进行了新的尝试。我们积极连接行业优质门店，也在上海链家创新‘社区迷你网点’门店模式，显著增强了社区扎根和服务能力，逐步打造一站式居住服务的基础设施。我们深度挖掘客户需求，在房产交易和新业务上做了很多提升我们线上、线下服务能力的新探索。在时代变革的背景下，我们拥抱更大的新的可能性，以客户体验为核心积极解题。” 值得注意的是，在推进居住服务的产业数字化、智能化进程中，贝壳也构建了更为核心的竞争力。一方面，贝壳能够利用大数据、人工智能等技术手段，对用户需求进行精准分析，为用户提供个性化的服务推荐。另一方面，贝壳还能够通过数字化工具，优化服务流程，提高服务效率，降低服务成本。基于此，这也意味着贝壳将更好地适应市场变化，快速响应客户需求，从而持续推动业务增长和市场份额的扩大。而伴随技术的不断进步和应用的深化，贝壳的核心竞争力也还会得到进一步加强，进而为其长期发展奠定坚实的基础。总的来看，从“反货品化”视角而言，贝壳通过构建一站式居住服务平台，推进产业数字化、智能化，成功地实现了自身商业模式的“升维”。这不仅为贝壳带来了新的增长动力，也为整个房产服务行业的发展提供了新的思路和方向，引领着整个居住服务行业的创新和变革。 3、多重催化因子加持，“第二曲线”增长下的价值重估近期，贝壳在资本市场的活跃表现尤为引人注目，而站在当下视角来看，短期内其正受到两大显著的催化因素的积极影响。首先是源自政策刺激下的行业“贝塔“。随着一系列楼市政策“礼包”的持续加码，释放潜在购房需求，激发房地产市场活力，在这一过程中以贝壳为代表的房地产行业参与者，也可能迎来市场对其经营发展预期的进一步转好。从资本市场表现来看，房地产板块已经持续走强数周，行业板块成交额也连续创下阶段新高，机构扎堆调研房地产相关企业的同时，海外投资机构更是罕见发声唱多。正所谓信心比黄金重要，在沉寂多时之后，房地产板块迎来预期的转向，对此，多数机构认为这并非一蹴而就。这意味着，板块持续向好预期下，将为行业内企业带来良好的“贝塔”环境。其次则是，政策利好落地后传导到基本面带来的业绩与估值的共振效应。此前，东莞证券在研报中提到，一系列政策组合拳出台，力度极大，超出市场预期，将有助提振市场信心，活跃楼市，加快带动行业走出本轮调整周期底部。政策效力逐步得到体现，后续楼市销售的改善以及房企逐步化债完成，基本面及业绩得到好转，将能带动板块个股更持续的向上修复行情。基于这一逻辑来看，随着房地产业务复苏，也将带给贝壳业绩的修复预期，进而增强资本市场对公司的信心。对此，多家机构也调整了贝壳的业绩预期。其中，高盛将贝壳-W 2024-26年的收入预测提高了2%，non-GAAP纯利预测相应调升了4%。高盛认为，贝壳-W将能够从中国房地产行业的政策支持中获益。高盛同时还指出，贝壳-W公司首季盈利表现超出预期。公司作为中国最大的房屋经纪公司，其线上线下一体化的平台模式展现出强大的营运杠杆效应。实际上，当下也能够看到贝壳正充分发挥其平台优势，全面参与到市场的复苏浪潮中。公司通过整合线上线下资源，提供全方位的购房服务，以满足不同客户的需求，伴随市场的回暖，公司的业绩修复也将是大概率事件。往远期看，多元化业务的持续增长，带来的业务结构和利润结构的深层次转变，也将是驱动公司价值重估的重要催化剂所在。贝壳在非房产交易服务业务的迅猛发展，特别是在收入结构上的积极变化，有望让市场对公司价值逻辑予以重新审视。一方面，随着家装家居、房屋租赁等业务的快速增长，贝壳的收入来源更加多元化，减少了对单一市场波动的依赖。这种结构性的优化，使得贝壳能够在房产市场不同的周期阶段保持稳定的业绩增长。新兴业务的持续贡献，不仅增加了公司的业绩增量，也提升了盈利的质量，有力增强了贝壳的综合实力和市场竞争力。另一方面，稳健的经营性现金流和良好的盈利能力，为贝壳提供了强大的经营支撑。在资本市场上，这种稳健的财务表现和良好的风险管理能力，将增强市场对贝壳的信心，并带给公司价值重估的可能。 4、结语从贝壳交出的一季度成绩单，不难看到公司在整体经营上的适应性和稳健经营能力。当前，整个资本市场不论是地产板块，还是互联网科技板块走强趋势的持续演绎，都将为贝壳带来良好的机遇。伴随公司业绩拐点的到来，带给市场预期提振，也将进一步为后续的表现带来正面刺激。从各大机构的研报来看，其所呈现出看好贝壳发展的信心，这不仅体现在机构对公司后续经营表现的乐观预期，更在于对其战略和创新能力的高度认可，尤其是对其打造一站式居住服务的基础设施的发展远景的看好。随着贝壳继续深化其“一站式平台”战略，其生态潜力将进一步释放，为股东和社会创造更多价值。

格隆汇05-29 17:25

im数字钱包官网app下载_im数字钱包最新下载_im数字钱包官方

医药、人工智能三大先导产业，电子信息、生命健康、汽车、高端装备、先进材料、时尚消费品六大重点产业。在推动产业和科创协同创新方面，上海在加快打造张江、临港等未来产业先导区的基础上，今年将着力建设产业创新网络，加快培育集成电路、人工智能等世界级高端产业集群，持续培育产业科创“核爆点”。在推动数绿转型融合化方面，上海已累计建成国家级标杆性智能工厂3家、示范工厂19家、优秀场景111个；在已建成的智能工厂中，生产效率平均提升50%，运营成本平均降低30%。今年，上海将再建70家市级智能工厂，打造3家至5家工业互联网“平台+园区”试点示范，重点培育50家绿色供应链链主企业。

用户1716968822256g2U05-29 16:00

迈凯轮F1赛车队于2024年摩纳哥大奖赛推出冼拿特别版涂装

余，更可与车迷和参加者一同以充满活力和生命力的方式向冼拿致敬，延续他的传奇故事对F1及其他领域的影响。」 SennaGlobal的比安卡表示：「我们很荣幸能与迈凯轮赛车和迈凯轮汽车合作推出这些涂装来纪念冼拿。在赛车和跑车上展示他的标志性颜色，是纪念冼拿生平与传奇的一种绝佳方式。迈凯轮对冼拿而言意义重大，冼拿与迈凯轮一起缔造了许多辉煌成就，其中很多至今仍为大众所铭记。而摩纳哥赛道亦为冼拿带来了许多开心回忆及夺冠历程，因此能看到冼拿涂装的赛车在摩纳哥赛道上参赛别具意义。」关于迈凯轮赛车迈凯轮车队于60年前1963年由赛车手Bruce McLaren创立。该车队于1966年首次参加一级方程式比赛。此后，迈凯轮赢得过20场一级方程式世界冠军、183场一级方程式大奖赛、3次印第安纳波利斯500大赛，及其首次尝试的利曼24小时耐力赛。迈凯轮赛车共参加六个赛事系列。车队与迈凯轮F1车手Lando Norris及Oscar Piastri参加FIA一级方程式世界锦标赛、与Arrow McLaren车手Pato O’Ward和Alexander Rossi参加NTT INDYCAR系列赛、与NEOM McLaren Formula E车队车手Jake Hughes和Sam Bird参加ABB FIA电动方程式世界锦标赛、与NEOM迈凯轮Extreme E车队参加Extreme E锦标赛，以及ART锦标赛和车手发展项目成员Bianca Bustamante参加F1学院赛。团队还以McLaren Shadow的身份赢得了F1电子竞技职业锦标赛的2022年车队和车手冠军。迈凯轮是这项运动可持续发展的倡导者，也是联合国体育气候行动承诺的签署者，致力在2040年或之前实现净零排放，并在赛车运动行业培育多元化和包容性的文化。关于 OKX OKX是Web3生态圈。OKX与英格兰超级足球联赛冠军曼彻斯特城足球俱乐部（Manchester City F.C.）、迈凯轮一级方程式车队（McLaren F1 Team）以及奥运会单板滑雪选手Scotty James紧密合作，希望通过全新的互动方式增强粉丝体验。此外，OKX亦是翠贝卡电影节（Tribeca Festival）的顶级合作伙伴，致力吸引更多创作者进入Web3领域。除了交易所服务外，OKX最新推出OKX Web3钱包服务，为用户打通交易GameFi和DeFi代币的入口，尽情探索NFT和元宇宙领域。来源：金色财经

金色财经05-29 12:56

零知识证明的先进形式化验证：两个ZK漏洞的深度剖析

会返回一次。zkWasm在调用和返回的生命周期中所追踪的动态数据被称为“调用帧（call frame）”。由于zkWasm按顺序执行指令，所有调用帧可以根据其在运行过程中的发生时间进行排序。下面是一个在zkWasm上运行的调用/返回代码示例。用户可以调用buy_token()函数来购买代币（可能是通过支付或转移其他有价值的东西）。它的核心步骤之一是通过调用add_token()函数，实际将代币账户余额增加1。由于ZK证明器本身并不支持调用帧数据结构，因此需要使用执行表（E-Table）和跳转表（J-Table）来记录和追踪这些调用帧的完整历史记录。上图说明了buy_token()调用add_token()的运行过程，以及从add_token()返回到buy_token()的过程。可以看到，代币账户余额增加了1。在执行表中，每个运行步骤占一行，其中包括当前执行中的调用帧编号、当前上下文函数名称（仅用于此处的说明）、该函数内当前运行指令的编号，以及表中所存的当前指令（仅用于此处的说明）。在跳转表中，每个调用帧占一行，表中存有其调用者帧的编号、调用者函数上下文名称（仅用于此处的说明）、调用者帧的下一条指令位置（以便该帧可以返回）。在这两个表中，都有一个jops列，它追踪当前指令是否为调用/返回（在执行表）以及该帧（在跳转表）发生的调用/返回指令总数。正如人们所预期的，每次调用都应该有一次相应的返回，并且每一帧应该只有一次调用和一次返回。如上图所示，跳转表中第1帧的jops值为2，与执行表中的第1行和第3行相对应，那里的jops值为1。目前看起来一切正常。但实际上这里有一个问题：尽管一次调用和一次返回将使帧的jops计数为2，但两次调用或者两次返回也会使计数为2。每帧有两次调用或两次返回听起来可能很荒谬，但要牢记的是，这正是黑客试图通过打破预期要做的事情。你现在可能有点兴奋了，但我们真的找到问题了吗？结果表明，两次调用并不是问题，因为执行表和调用表的约束使得两个调用无法被编码到同一帧的行中，因为每次调用都会产生一个新的帧编号，即当前调用帧编号加1。而两次返回的情况就没那么幸运了：由于在返回时不会创建新的帧，黑客确实有可能获取合法运行序列的执行表和调用表，并注入伪造的返回（以及相应的帧）。例如，先前执行表和调用表中buy_token()调用add_token()的例子可以被黑客篡改为以下情况：黑客在执行表中原来的调用和返回之间注入了两次伪造的返回，并在调用表中增加了一个新的伪造的帧行（原来的返回和后续指令的运行步骤编号在执行表中则需要加4）。由于调用表中每一行的jops计数均为2，因此满足了约束条件，zkWasm证明检查器将接受这个伪造的执行序列的“证明”。从图中可以看出，代币账户余额增加了3次而不是1次。因此，黑客能够以支付1个代币的价格获得3个代币。解决这个问题有多种方法。一个明显的方法就是分别单独追踪调用和返回，并确保每一帧恰好有一次调用和一次返回。你可能已经注意到，到目前为止我们尚未展示这个漏洞的哪怕一行代码。主流的原因是没有任何一行代码是有问题的，代码实现完全符合表格和约束设计。问题在于设计本身，而修复方法也是如此。你可能认为，这个漏洞应该是显而易见的，但实际上并非如此。这是因为“两次调用或两次返回也会导致jops计数为2”与“实际上两次返回是可能的”之间存在空白。后者需要对执行表和调用表中相关的各种约束进行详细、完整地分析，很难进行完整的非形式化推理。两个漏洞的比较对于“Load8数据注入漏洞”和“伪造返回漏洞”，它们都可能导致黑客能够操纵ZK证明、创建虚假交易、骗过证明检查器，并进行窃取或劫持。但他们的性质和被发现的方式却截然不同。 “Load8数据注入漏洞”是在对zkWasm进行审计时发现的。这绝非易事，因为我们必须审查超过6,000行的Rust代码和上百条zkWasm指令的数百个约束。尽管如此，这个漏洞还是相对容易发现和确认的。由于这个漏洞在形式化验证开始之前就已被修复，所以在验证过程中并未遇到它。如果在审计过程中未发现该漏洞，我们可以预期在对Load8指令的验证中会发现它。 “伪造返回漏洞”是在审计之后的形式化验证中发现的。我们在审计中未能发现它的部分原因在于，zkWasm中有一个同jops非常相似的机制叫做“mops”，其在zkWasm运行期间追踪每个内存单元历史数据对应的内存访问指令。mops的计数约束确实是正确的，因为其只追踪了一种类型的内存指令，即内存写入；而且每个内存单元的历史数据都是不可变的，并只会写入一次（mops计数为1）。但即使我们在审计期间注意到了这个潜在的漏洞，如果不对所有的相关约束进行严格的形式化推理，我们将仍然无法轻易地确认或排除每一种可能情况，因为实际上没有任何一行代码是错误的。总结来说，这两种漏洞分别属于“代码漏洞”和“设计漏洞”。代码漏洞相对较为浅显，更容易被发现（错误代码），并且更容易推理和确认；设计漏洞可能非常隐蔽，更难以发现（没有“错误”代码），更难以推理和确认。发现ZK漏洞的最佳实践根据我们在审计和形式化验证zkVM以及其他ZK及非ZK链的经验，下面是关于如何最好地保护ZK系统的一些建议：检查代码以及设计如前所述，ZK的代码和设计中都可能存在漏洞。这两种类型的漏洞都可能导致ZK系统受到破坏，因此必须在系统投入运行之前消除它们。与非ZK系统相比，ZK系统的一个问题是，任何攻击都更难揭露和分析，因为其计算细节没有公开或保留在链上。因此人们可能知道发生了黑客攻击，但却无法知道技术层面上是如何发生的。这使得任何ZK漏洞的成本都非常高。相应地，预先确保ZK系统安全性的价值也非常高。进行审计以及形式化验证我们在这里介绍的两个漏洞分别是通过审计和形式化验证发现的。有人可能会认为，使用了形式化验证就不需要审计了，因为所有的漏洞都会被形式化验证发现。实际上我们的建议是两者都要进行。正如本文开头所解释的，一个高质量的形式化验证工作始于对代码和设计的彻底审查、检查和非正式推理；而这项工作本身就与审计重叠。此外，在审计期间发现并排除更简单的漏洞，将使形式化验证变得更加简单和高效。如果要对一个ZK系统既进行审计又进行形式化验证，那么最佳时机是同时进行这两项工作，以便审计师和形式化验证工程师能够高效地协作（有可能会发现更多的漏洞，因为形式化验证的对象和目标需要高质量的审计输入）。如果你的ZK项目已经进行了审计（赞）或多次审计（大赞），我们的建议是在此前审计结果的基础上对电路进行形式化验证。我们在zkVM以及其他ZK和非ZK项目的审计和形式化验证的经验一再表明，验证常常能捕捉到审计中遗漏而不易发现的漏洞。由于ZKP的特性，虽然ZK系统应该提供比非ZK解决方案更好的区块链安全性和可扩展性，但其自身的安全性和正确性的关键程度要远高于传统的非ZK系统。因此，对ZK系统进行高质量形式化验证的价值也远高于非ZK系统。确保电路以及智能合约的安全 ZK应用通常包含电路和智能合约两个部分。对于基于zkVM的应用，有通用的zkVM电路和智能合约应用。对于非基于zkVM的应用，有应用特定的ZK电路及相应部署在L1链或桥的另一端的智能合约。 ZK应用电路智能合约基于zkVMzkVM应用非基于zkVM应用特定L1链/桥我们对zkWasm的审计和形式验证工作只涉及了zkWasm电路。从ZK应用的整体安全性角度来看，对其智能合约进行审计和形式化验证也非常重要。毕竟，在为了确保电路安全方面投入了大量精力之后，如果在智能合约方面放松警惕，导致应用最终受到损害，那将是非常遗憾的。有两种类型的智能合约值得特别关注。第一种是直接处理ZK证明的智能合约。尽管它们的规模可能不是很大，但它们的风险非常高。第二种是运行在zkVM之上的大中型智能合约。我们知道，它们有时会非常复杂，而其中最有价值的应该进行审计和验证，特别是因为人们无法在链上看到它们的执行细节。幸运的是，经过多年的发展，智能合约的形式化验证现在已经可以实用，并且为合适的高价值目标做好了准备。让我们通过以下的说明来总结形式化验证（FV）对ZK系统及其组件的影响。来源：金色财经

金色财经05-29 11:46

24小时热点