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

零知识证明的先进形式化验证：如何证明零知识内存

ap as u 64), move |meta| load_block_index.expr(meta), // address move |____| constant_from!( 0), // is 32-bit move |____| constant_from!( 1), // (always) enabled ); let store_value_in_heap1 = memory_table_lookup_heap_write1.value_cell; `alloc`函数负责处理表之间的查找约束以及将当前`eid`与内存表条目相关联的算术约束。由此，程序员可以将这些表看作普通内存，并且在代码执行之后 `store_value_in_heap1`的值已被赋给了`load_block_index` 地址。类似地，内存读取指令使用`read_alloc`函数实现。在上面的示例执行序列中，每条加载指令有一个读取约束，每条存储指令有一个写入约束，每个约束都由内存表中的一个条目所满足。 mtable_lookup_write(row 1.eid, row 1.store_addr, row 1.store_value) ⇐ (row 1.eid= 1 ∧ row 1.store_addr=balance ∧ row 1.store_value= 100 ∧ ...) mtable_lookup_write(row 2.eid, row 2.store_addr, row 2.store_value) ⇐ (row 2.eid= 2 ∧ row 2.store_addr=amount ∧ row 2.store_value= 10 ∧ ...) mtable_lookup_read(row 3.eid, row 3.load_addr, row 3.load_value) ⇐ ( 2 i + Z.of_nat n = etable_numRow -> MTable.cum_mops (etable_values eid_cell i) (max_eid+ 1) ≥ instructions_mops' i n. 其次，如果能证明表中的条目数不多于预期，那么它就恰好具有正确数量的条目，而这一点是显而易见的。 Lemma cum_mops_equal' : forall n i, 0 ≤ i -> i + Z.of_nat n = etable_numRow -> MTable.cum_mops (etable_values eid_cell i) (max_eid+ 1) ≤ instructions_mops' i n -> MTable.cum_mops (etable_values eid_cell i) (max_eid+ 1) = instructions_mops' i n. 现在进行第三步。我们的正确性定理声明：对于任意 n，cum_mops 和 instructions_mops 在表中从第 n 行到末尾的部分总是一致的： Lemma cum_mops_equal : forall n, 0 <= Z.of_nat n < etable_numRow -> MTable.cum_mops (etable_values eid_cell (Z.of_nat n)) (max_eid+ 1) = instructions_mops (Z.of_nat n) 通过对 n 进行归纳总结来完成验证。表中的第一行是 zkWasm 的等式约束，表明内存表中条目的总数是正确的，即 cum_mops 0 = instructions_mops 0 。对于接下来的行，归纳假设告诉我们： cum_mops n = instructions_mops n 并且我们希望证明 cum_mops (n+ 1) = instructions_mops (n+ 1) 注意此处 cum_mops n = mop_at n + cum_mops (n+ 1) 并且 instructions_mops n = instruction_mops n + instructions_mops (n+ 1) 因此，我们可以得到 mops_at n + cum_mops (n+ 1) = instruction_mops n + instructions_mops (n+ 1) 此前，我们已经证明了每条指令将创造不少于预期数量的条目，例如 mops_at n ≥ instruction_mops n. 所以可以得出 cum_mops (n+ 1) ≤ instructions_mops (n+ 1) 这里我们需要应用上述第二个引理。（用类似的引理对跳转表进行验证，可证得每条调用指令都能准确地产生一个跳转表条目，这个证明技术因此普遍适用。然而，我们仍需要进一步的验证工作来证明返回指令的正确性。返回的 eid 与创建调用帧的调用指令的 eid 是不同的，因此我们还需要一个附加的不变性质，用来声明 eid 数值在执行序列中是单向递增的。）如此详细地说明证明过程，是形式化验证的典型特征，也是验证特定代码片段通常比编写它需要更长时间的原因。然而这样做是否值得？在这里的情况下是值得的，因为我们在证明的过程中的确发现了一个跳转表计数机制的关键错误。之前的文章中已经详细描述了这个错误——总结来说，旧版本的代码同时计入了调用和返回指令，而攻击者可以通过在执行序列中添加额外的返回指令，来为伪造的跳转表条目腾出空间。尽管不正确的计数机制可以满足对每条调用和返回指令都计数的直觉，但当我们试图将这种直觉细化为更精确的定理陈述时，问题就会凸显出来。使证明过程模块化从上面的讨论中，我们可以看到在关于每条指令电路的证明和关于执行表的计数列的证明之间存在着一种循环依赖关系。要证明指令电路的正确性，我们需要对其中的内存写入进行推理；即需要知道在特定 EID 处内存表条目的数量、以及需要证明执行表中的内存写入操作计数是正确的；而这又需要证明每条指令至少执行了最少数量的内存写入操作。此外，还有一个需要考虑的因素，zkWasm 项目相当庞大，因此验证工作需要模块化，以便多位验证工程师分工处理。因此，对计数机制的证明解构时需要特别注意其复杂性。例如，对于 LocalGet 指令，有两个定理如下： Theorem opcode_mops_correct_local_get : forall i, 0 <= i -> etable_values eid_cell i > 0 -> opcode_mops_correct LocalGet i. Theorem LocalGetOp_correct : forall i st y xs, 0 <= i -> etable_values enabled_cell i = 1 -> mops_at_correct i -> etable_values (ops_cell LocalGet) i = 1 -> state_rel i st -> wasm_stack st = xs -> (etable_values offset_cell i) > 1 -> nth_error xs (Z.to_nat (etable_values offset_cell i - 1)) = Some y -> state_rel (i+ 1) (update_stack (incr_iid st) (y :: xs)). 第一个定理声明 opcode_mops_correct LocalGet i 展开定义后，意味着该指令在第 i 行至少创建了一个内存表条目（数字 1 是在 zkWasm 的 LocalGet 操作码规范中指定的）。第二个定理是该指令的完整正确性定理，它引用 mops_at_correct i 作为假设，这意味着该指令准确地创建了一个内存表条目。验证工程师可以分别独立地证明这两个定理，然后将它们与关于执行表的证明结合起来，从而证得整个系统的正确性。值得注意的是，所有针对单个指令的证明都可以在读取/写入约束的层面上进行，而无须了解内存表的具体实现。因此，项目分为三个可以独立处理的部分。总结逐行验证 zkVM 的电路与验证其他领域的 ZK 应用并没有本质区别，因为它们都需要对算术约束进行类似的推理。从高层来看，对 zkVM 的验证需要用到许多运用于编程语言解释器和编译器形式化验证的方法。这里主要的区别在于动态大小的虚拟机状态。然而，通过精心构建验证结构来匹配实现中所使用的抽象层，这些差异的影响可以被最小化，从而使得每条指令都可以像对常规解释器那样，基于 get-set 接口来进行独立的模块化验证。来源：金色财经

金色财经07-31 22:03

AMD 2024Q2业绩电话会议高管解读财报

，博通、思科、惠普企业、英特尔、谷歌、Meta 和微软都与我们一起宣布推出 Ultra Accelerator Link，这是一项基于 AMD 久经考验的无限结构技术连接数百个 AI 加速器的行业标准技术。通过将 UA-Link 与广泛支持的超以太网联盟规范相结合，业界正在齐心协力建立一种标准化方法，以构建下一代高性能数据中心和大规模 AI 解决方案。总而言之，客户对我们多年的 Instinct 和 ROCm 路线图的反应非常积极，我们对我们正在建立的势头感到非常满意。因此，我们现在预计数据中心 GPU 收入将在 2024 年超过 45 亿美元，高于我们 4 月份预测的 40 亿美元。谈到我们的客户部门，收入为 15 亿美元，同比增长 49%，这得益于对我们上一代 Ryzen 处理器的强劲需求以及我们下一代 Zen 5 处理器的首次出货。在 PC 应用中，Zen 5 比我们行业领先的上一代 Ryzen 处理器平均每时钟多提供 16% 的指令。对于台式机，我们即将推出的 Ryzen 9000 系列处理器可装入现有的 AM5 主板，并扩大我们在生产力、游戏和内容创建工作负载方面的性能和能效领先地位。对于笔记本电脑，我们发布了 Ryzen AI 300 系列，该系列扩展了我们业界领先的 CPU 和 GPU 性能，并引入了业界最快的 NPU，为 Copilot Plus PC 提供 50 倍的 AI 计算性能。首批 Ryzen AI 300 系列笔记本电脑于上周末上市，获得了强烈反响。未来几个季度，宏碁、华硕、惠普、联想等公司将推出 100 多个 Ryzen AI 300 系列高端、游戏和商用平台。客户对我们的新款 Ryzen 处理器非常感兴趣，而且我们凭借我们领先的产品组合和设计获胜势头，有能力持续增加收入份额。现在转向我们的游戏部门，收入同比下降 59% 至 6.48 亿美元，因为半定制 SoC 的销售额下降与我们的预测一致。半定制需求仍然疲软，因为我们现在正处于游戏机周期的第五年，我们预计下半年的销售额将低于上半年。在游戏图形方面，收入同比增长，这得益于我们 Radeon 6000 和 7000 系列 GPU 在渠道中的销售增长。谈到我们的嵌入式部门，收入同比下降 41% 至 8.61 亿美元。第一季度标志着我们嵌入式部门收入的最低点。尽管第二季度收入环比持平，但我们看到了订单模式改善的早期迹象，并预计嵌入式收入将在下半年逐步恢复。从长远来看，我们正在为扩展的嵌入式产品组合打造强劲的设计赢利势头。今年上半年的设计赢利额比上年增长了 40% 以上，达到 70 多亿美元，其中包括结合我们的自适应和 x86 计算产品的多个三百万美元赢利。我们宣布推出 Alveo V80 加速器，该加速器在内存密集型工作负载方面具有领先能力，并与 30 多个关键合作伙伴就即将推出的第二代 Versal 自适应 SoC 进入下一代 Edge AI 解决方案的早期阶段。上周，我们还宣布 AMD 总裁 Victor Peng 将于 8 月底退休。Victor 为赛灵思和 AMD 做出了重大贡献，包括帮助扩大我们的嵌入式业务并领导我们的跨公司 AI 战略。就个人而言，Victor 是我分享赛灵思收购和整合成功的重要合作伙伴。我谨代表所有 AMD 员工和董事会感谢 Victor 为 AMD 成功所做的所有贡献，并祝愿他退休后一切顺利。总结一下，我们在第二季度取得了强劲的业绩，并且在数据中心和客户端细分市场的推动下，我们有望在下半年大幅增加收入。随着出货量在不断扩大的客户群中不断增加，我们的数据中心 GPU 业务正处于快速增长的轨道上。我们还看到对下一代 Zen 5 EPYC 和 Ryzen 处理器的强劲需求，这些处理器在数据中心和客户端工作负载中均具有领先的性能和效率。展望未来，生成式人工智能的快速发展和更强大模型的开发正在推动所有市场对更多计算的需求。在此背景下，我们看到未来几年的强劲增长机会，并大幅增加硬件、软件和解决方案投资，重点是每年推出领先的数据中心 GPU 硬件，将行业领先的人工智能功能集成到我们的整个产品组合中，实现全栈软件功能，利用开源社区的规模和速度扩大我们的 ROCm 开发，并为客户提供交钥匙解决方案，以加快基于 AMD 的人工智能系统的上市时间。我们对眼前前所未有的机遇感到兴奋，并已做好准备推动我们下一阶段的大幅增长。现在我想将电话转给 Jean，以便进一步介绍一下我们的第二季度业绩。Jean？ Jean 谢谢 Lisa，大家下午好。我首先回顾一下我们的财务业绩，然后介绍一下我们对第三季度的当前展望。我们对第二季度的整体财务业绩非常满意，该业绩超出预期。与去年同期相比，数据中心部门的收入增长了一倍多。客户部门的收入大幅增长，我们的毛利率提高了 340 个基点。 2024 年第二季度，收入为 58 亿美元，同比增长 9%，因为数据中心和客户端部门的收入增长被游戏和嵌入式部门的收入下降部分抵消。收入环比增长 7%，主要得益于数据中心和客户端部门收入的增长。毛利率为 53%，同比增长 340 个基点，主要得益于数据中心收入的增加。运营费用为 18 亿美元，同比增长 15%，因为我们继续投资研发以应对我们面临的重大 AI 增长机会并加强上市活动。营业收入为 13 亿美元，营业利润率为 22%。税金、利息支出及其他支出为 1.38 亿美元。每股摊薄收益为 0.69 美元，同比增长 19%。现在谈谈我们的报告部分。从数据中心开始。数据中心季度分部收入创纪录，达到 28 亿美元，增长 115%，同比增长 15 亿美元。数据中心分部占总收入的近 50%，主要得益于 AMD Instinct GPU 的大幅增长和 EPYC 服务器收入强劲的两位数百分比增长。环比来看，收入增长 21%，主要得益于 AMD Instinct GPU 的强劲增长势头。数据中心部门的营业收入为 7.43 亿美元，占收入的 26%，而去年同期为 1.47 亿美元，占收入的 11%。尽管我们大幅增加了研发投资，但营业收入仍比上年增长了 5 倍以上，这得益于更高的收入和运营杠杆。客户部门收入为 15 亿美元，同比增长 49%，环比增长 9%，主要得益于 AMD Ryzen 处理器的销售。客户部门营业收入为 8900 万美元，占收入的 6%，而去年同期的营业亏损为 6900 万美元。游戏部门收入为 6.48 亿美元，同比下降 59%，环比下降 30%。收入下降主要是由于半客户库存消化和终端市场需求下降。游戏部门营业收入为 7700 万美元，占收入的 12%，而去年同期为 2.25 亿美元，占收入的 14%。嵌入式部门收入为 8.61 亿美元，同比下降 41%，因为客户继续将库存水平正常化。按季度计算，嵌入式部门收入增长了 2%。嵌入式部门营业收入为 3.45 亿美元，占收入的 40%，而去年同期为 7.57 亿美元，占收入的 52%。谈到资产负债表和现金流。本季度，我们从经营活动中产生了 5.93 亿美元的现金，自由现金流为 4.39 亿美元。库存环比增加 [3.39 亿美元]（ph）至 50 亿美元，主要是为了支持数据中心 GPU 产品的持续增长。截至本季度末，现金、现金等价物和短期投资为 53 亿美元。在第二季度，我们通过回购 230 万股股票向股东返还了 3.52 亿美元，我们还剩下 52 亿美元的授权。在本季度，我们利用现有现金偿还了今年 6 月到期的 7.5 亿美元债务。现在谈谈我们对第三季度（2024 年）的展望。我们预计收入约为 67 亿美元，上下浮动 3 亿美元。我们预计收入将环比增长约 15%，主要得益于数据中心和客户端部门的强劲增长。我们预计嵌入式部门收入将上升，游戏部门收入将下降两位数。我们预计收入同比将增长约 16%，这得益于 AMD Instinct 处理器的大幅增长以及服务器和客户端收入的强劲增长，这些增长足以抵消游戏和嵌入式部门收入的下降。此外，我们预计第三季度非 GAAP 毛利率约为 53.5%。非 GAAP 运营费用约为 19 亿美元。非 GAAP 有效税率为 13%。预计摊薄后股份数量约为 16.4 亿股。此外，在第三季度，我们预计将以约 6.65 亿美元现金完成对 Silo AI 的收购。最后，我们在本季度朝着实现财务目标取得了重大进展。我们实现了创纪录的 MI300 收入，超过 10 亿美元，并通过我们的下一代 Ryzen 和 EPYC 产品展示了强劲的吸引力。我们大幅提高了毛利率，推动了盈利增长，同时增加了对人工智能的投资。展望未来，我们面前的机会是前所未有的，我们将继续专注于执行我们的长期增长战略，同时推动财务纪律和卓越运营。 (这份记录可能不是100％的准确率，并且可能包含拼写错误和其他不准确的。提供此记录，没有任何形式的明示或暗示的保证。表达的记录任何意见并不反映老虎的

老虎证券07-31 21:33

7月收官！“七翻身”期望落空，个股月内狂飙2.5倍，美股科技股也遭疯狂抛售

英伟达月内跌幅最大，累计跌超16%，Meta累计跌8.14%，谷歌累计跌6%，亚马逊、微软累计跌5%，特斯拉逆势涨12.5%，苹果涨3.88%。月内大事记国内市场上，二十届三中全会召开，定调政策继续发力稳增长。在此背景下，中国央行采取宽松货币政策，弱化MLF基准作用。降息操作不断，OMO利率下调10BP，一年期、五年期LPR下调10BP，月内开展两次MLF操作，利率下调20BP，掀起新一轮银行存款利率下调热潮。月末，中国证监会又出现重大人事变动，方星海卸任，李明成为新的证监会副主席。资本市场上，饱受争议的转融券业务暂停，高频交易门槛的买卖指令收费标准拟提高9倍，正在征求意见阶段，上证综合全收益指数的实时行情发布。国际市场上，套息交易逆转，日本央行意外加息，日元走强，美元兑日元已回到150，人民币汇率也跟随走高。美国总统大选交易一度主宰市场，特朗普遭枪击袭击后，一度风光无两，被共和党提名成总统候选人。随后，拜登迫于身体情况退选，副总统哈里斯顶上，竞选筹资上升，支持率与特朗普平分秋色，给11月的大选新添了一份悬念。后市怎么看？展望未来，民生证券认为，国内的弱现实+海外的“弱预期”都在迎来边际改善：国内对于设备更新和稳增长的表态有助于修复实物需求的悲观预期，而海外的基本面韧性+软着陆或会重新成为市场的主导因素。前期资源股调整幅度较大，后续企稳值得期待。等待联储议息会议、美国选情变化和国内政治局会议带来的积极信号。光大证券认为，港股市场的回暖需要进一步的政策利好刺激或者国内经济数据好转的验证。不过当前美股面临财报季的数据验证窗口期同时美国大选仍存在较多变数，因此海外市场波动可能将持续，港股走势或将受到一定的扰动。

格隆汇07-31 20:34

大爆发：中美芯片新规刺激市场！中东局势又紧绷，美联储今日驾到

·鲍威尔预计将发出九月可能降息的信号，Meta平台也将公布财报。美联储联邦公开市场委员会（FOMC）预计将在周三两天政策会议结束时，将其基准利率维持在5.25%至5.5%的区间，这是自去年以来的最高水平。决策将在华盛顿时间下午2点（香港时间周四凌晨02:00）通过会后声明宣布。美联储主席杰罗姆·鲍威尔将在30分钟后召开新闻发布会。所有接受彭博调查的经济学家都预计本次会议不会改变利率。在声明中，政策制定者可能会强调通胀前景的改善。与6月的“适度”进展不同，FOMC可能会表示有“进一步的进展”。政策制定者可能会承认通胀在向他们的2%目标取得进展——这是降息的前提条件——尤其是在6月消费者价格温和的数据之后。由于失业率也在上升，官员们可能会表示，政策变得不那么紧缩的时机已经接近。 “我认为他们会改变声明中的措辞，以暗示九月会议会降息，”法兴银行美国利率策略主管Subadra Rajappa表示。她指出，纽约联储主席约翰·威廉姆斯最近的评论表明，“他们希望远离限制性领域——因此他们可能会使用类似的语言。” 彭博经济学家指出：“市场已经完全计入了9月份美联储降息的预期，但7月30-31日FOMC会议的关键问题是：FOMC会如何明确地传达这一点？我们认为7月会议的沟通只会提供九月降息的初步暗示，鲍威尔主席将提到‘如果数据按预期发展’的潜在降息。” 鲍威尔可能会被记者问及九月份会议的前景，以及今年和明年的宽松节奏。虽然他可能会对最近的通胀利好消息表示欢迎，但他也可能会回到美联储的标准语言，即其政策路径将“依赖数据”，央行正在“逐会”策划行动。鲍威尔还可能被问及他对劳动力市场降温的担忧程度，以及什么样的“意外疲软”会导致需要回应的情况。失业率目前为4.1%，高于2023年初的3.4%低点。7月份的数据将于周五公布。市场已经完全消化了美联储9月份降息25个基点的预期，今年的降息幅度约为68个基点。 “鲍威尔可能会被问及什么样的情况才符合‘意外疲软’，这使他们重新评估季度25个基点降息是否足够，”LH Meyer/Monetary Policy Analytics的经济学家Derek Tang表示。然而，一些分析师预计，由于劳动力市场仍然紧张，美联储将保持谨慎。日本加息了在其他方面，MSCI除日本外的亚太地区最广泛股票指数上涨超过1%，日本的基准日经指数上涨1.5%，收于一周以来的最高点。日本央行上调基准利率，并公布减半购债计划，强调其正常化货币政策的决心。日元兑美元升值超过1.5%，达到151.09，为四月初以来的最高点，并有望实现今年的首次月度涨幅。股市在决策后上涨，银行股上涨近5%领涨。日本央行决定将其短期政策利率提高到0.25%，这是自2008年以来的最高水平。还公布了详细的计划，以减缓其大规模的债券购买，迈出逐步淘汰十年大规模刺激措施的另一步。 “日本央行希望加息能够增强经济信心，表明央行认为经济正在接近‘正常’的道路上，”Global CIO Office的首席执行官Gary Dugan表示。 “无论是日本央行还是美联储，正常化是我们需要看到的主题，以继续支持股票市场和更广泛的风险资产，”摩根大通私人银行全球投资策略主管Grace Peters在接受彭博电视采访时表示。中东局势又紧绷其他方面，由于巴勒斯坦激进组织哈马斯表示其领导人伊斯梅尔·哈尼亚在伊朗首都德黑兰被杀，中东紧张局势升级，油价应声走高（该地区的原油产量约占全球的三分之一）从七周低点回升。以色列谢克尔贬值超过1%，恐创两年最大三天跌幅。此前，以色列曾对黎巴嫩发动袭击，造成一名真主党高级指挥官死亡。自上周末以来，中东冲突有所升级，这可能危及以色列和哈马斯之间正在进行的停火谈判。周二，布伦特原油看涨合约成交量达到6月初以来的最高水平，这表明石油交易商正在对冲进一步冲突的风险。一项衡量市场波动性的指标也创下夏季以来的最高水平。市场一直在评估新的紧张局势升级可能影响原油生产和出口的风险，尤其是对伊朗的影响。此外，API数据显示，上周原油库存下降了450万桶。如果今日的EIA数据得到证实，这将创下2022年1月以来最长的连跌纪录。交易员们还在关注将于周四举行的欧佩克+会议，以及周三晚些时候的美联储利率会议。

欧罗巴 1评论07-31 18:48

智慧眼镜将成为AI新宠？扎克伯格预言它将成为热门产品，受众高达数亿！

Meta的执行长扎克伯格看好由AI驱动的智慧眼镜的未来，预测它有可能形成一个数亿用户的庞大市场。近日，Meta执行长扎克伯格在计算机图形与交互技术国际会议「SIGGRAPH 2024年会」发表了自己对人工智慧和仿真模拟的未来，其中智慧眼镜是扎克伯克讨论的一个非常重要话题。在扎克伯格看来，智慧眼镜未来将成为电脑发展的一个重要形态。他表示，「我猜测AI眼镜将会成为一个非常热门的产品，最终可能会有数千万人、甚至数亿人拥有这些眼镜。」实际上，Meta已经开发出智慧眼镜。去年，Meta已经与EssilorLuxottica合作推出了智慧眼镜——「Ray-Ban（雷朋） I Meta系列」。据悉，该眼镜已经配备了AI功能，用户只需说“Hey Meta”就能激活智能助手，进一步体验Llama的AI能力。然而，扎克伯格并没有满足于此，透露正在开发新一代智慧眼镜，它们综合了科技和时尚的元素。对此，扎克伯格表示，「我们的目标是，首先要把硬体锁定一个外形看起来很棒的东西。在这个基础上，我们尽可能投入科技。」原文链接

投资慧眼07-31 17:49

我选择在财报前卖光META

$Meta Platforms(META)$今年市场对它的预期比较高，原因无非是以下几个大选年电商平台大客户的竞争 AI加提升广告效率因此在Q1财报不及预期之后，仍然在一个季度之内收复所有失地并创新高，直到近期的Magnificent 7集体回调。虽然META过去几个季度的财报当天波动非常大，是比较不错的交易机会，但是随着今天 $Pinterest, Inc.(PINS)$ 财报出炉，我打算在财报前卖掉所有的META持仓。大选因素其实不会帮到META太多，反而由于热门候选人Trump对其厌恶导致它面临额外风险；电商平台的大量投入无法持续太久，且跨境电商的广告可能一定程度上会受到监管以及地缘政治的影响，可能影响预期；消费行业的整体下滑，会导致广告行业“无米可炊”。 AI带来的资本开支可能停不下来，但却不一定能获得产出，可能会影响到未来1-2年的利润率。因此我会认为META尽管在Q2可能表现依然强势，但是可能会在指引上面爆点雷，至少会让市场的恐慌情绪集中体现一下。所以财报后如果表现稳定，可以再买回来，但如果预期下滑，指引不佳，可能短期要回避。尽管META是Mag7中PE相对最低的了。但是低有低的原因。

老虎证券07-31 16:55

PINS下调指引，是调给META看的？

保守预期，也是对整个行业敲响警钟。 $Meta Platforms(META)$ $Snap Inc(SNAP)$ 指引对Q3的收入预期为8.85亿-9亿美元，低于市场一致预期的9.095亿美元。调整后的运营费用将增长17%至20%，达到4.85亿至5亿美元这些因素导致投资者对未来的增长持谨慎态度，导致股价下跌。投资要点 AI驱动的战略和产品发展 AI驱动的产品和体验：Pinterest推出了多种AI驱动的产品，提升了广告表现和用户体验。例如，通过改进搜索排名算法和推出生成式AI引导搜索，Pinterest提高了内容推荐的相关性和个性化。再如Performance+，帮助广告主优化广告投放和预算管理。公司还推出了生成式AI引导搜索，提升了用户搜索体验和内容发现的效率内容策划和互动：Pinterest加强了内容策划功能，推出了新的拼贴格式，并使广告商能够利用这些功能创建更具吸引力的广告内容。行动能力：Pinterest推出了多个新功能，使用户能够更轻松地完成购物旅程，例如价格、零售商和品牌过滤器，以及视频购物广告。关于Q3指引低于市场预期，公司的回应如下宏观经济因素和季节性因素：宏观市场的变动，尤其是今年以来消费增速下滑，使得广告市场仍存在不确定性。同时，Q3通常是Pinterest业务的季节性低谷。公司层面上的战略调整。公司正在推进全漏斗广告平台的建设，特别是加强下漏斗广告产品。这些战略调整可能需要时间才能完全显现效果。而公司表示将继续投资于产品创新和用户增长，也可能在短期内影响收入增长，但有利于长期发展。竞争环境的变化。公司暗示了广告市场的竞争加剧可能对收入增长产生影响。此外，Pinterest的主要广告客户包括家居、食品、手工艺、时尚、美容和教育等行业的品牌，而这部分的消费品牌进入今年以来业绩都有所下滑，可选消费产品进入一个回调周期，会对广告行业造成一定的影响。财务表现收入：8.537亿美元，同比增长21%，超过了市场一致预期的8.481亿美元。公司通过全漏斗广告平台的建设，特别是下漏斗广告产品，显著提升了广告表现净利润：非GAAP净利润为2.072亿美元，同比增长46%。去年同期的亏损3494万美元转为盈利890万美元。用户增长：全球月活跃用户（MAU）增长了12%，达到5.22亿，超过了市场预期的5.1804亿。地区收入和用户增长美国和加拿大：收入为6.73亿美元，同比增长19%；月活跃用户为9800万，同比增长3%。欧洲：收入为1.43亿美元，同比增长25%；月活跃用户为1.36亿，同比增长9%。其他地区：收入为3800万美元，同比增长32%；月活跃用户为2.88亿，同比增长17%。每用户平均收入（ARPU）全球：每用户平均收入增长8%，从1.53美元增至1.64美元。美国和加拿大：每用户平均收入增长16%，达到6.85美元。欧洲：每用户平均收入增长14%，达到1.03美元。其他地区：每用户平均收入增长13%，达到0.13美元。

老虎证券07-31 15:26

微软FY2024Q4业绩电话会高管解读财报

老虎证券07-31 10:27

苹果AI首亮相！OpenAI突然开放GPT-4o语音模式，AI人工智能ETF(512930)盘中涨超1%

，政策支持力度有望继续加大。近期谷歌、Meta等科技巨头均公告了最新一期季报，均谈及AI基建的必要性与AI应用落地成果。此外，国内来看，头部大模型公司融资顺利，市场化机构与政府背景基金均积极参与，另外，在发展新质生产力的指引下，预计政策对AI的支持力度将继续加大。天风证券指出，消费品以旧换新补贴或加速AI PC渗透率提升，看好产业链投资机会。加力支持大规模设备更新和消费品以旧换新政策出台，在各大电脑厂商推出AI PC之际，消费品以旧换新补贴或将提高消费者的换机需求，加速AI PC渗透率的提升，相关产业链如EC芯片、触控芯片等有望受益于换机。相关产品线上消费ETF平安(159793)、AI人工智能ETF(512930)及消费电子ETF(561600)投资机遇备受关注。线上消费ETF平安(159793)紧密跟踪中证沪港深线上消费主题指数，中证沪港深线上消费主题指数从内地与香港市场中选取50只主营业务涉及线上购物、数字娱乐、在线教育以及远程医疗等领域上市公司证券作为指数样本，以反映内地与香港市场线上消费主题上市公司证券的整体表现。数据显示，截至2024年6月28日，中证沪港深线上消费主题指数(931481)前十大权重股分别为美团-W(03690)、腾讯控股(00700)、快手-W(01024)、科大讯飞(002230)、哔哩哔哩-W(09626)、昆仑万维(300418)、恺英网络(002517)、世纪华通(002602)、三七互娱(002555)、金山软件(03888)，前十大权重股合计占比54.77%。 AI人工智能ETF(512930)紧密跟踪中证人工智能主题指数，中证人工智能主题指数选取50只业务涉及为人工智能提供基础资源、技术以及应用支持的上市公司证券作为指数样本，以反映人工智能主题上市公司证券的整体表现。数据显示，截至2024年6月28日，中证人工智能主题指数(930713)前十大权重股分别为中际旭创(300308)、海康威视(002415)、韦尔股份(603501)、科大讯飞(002230)、新易盛(300502)、中科曙光(603019)、金山办公(688111)、澜起科技(688008)、紫光股份(000938)、寒武纪(688256)，前十大权重股合计占比54.35%。消费电子ETF紧密跟踪中证消费电子主题指数，中证消费电子主题指数选取50只业务涉及元器件生产、整机品牌设计及生产等消费电子相关的上市公司证券作为指数样本，以反映消费电子主题上市公司证券的整体表现。数据显示，截至2024年6月28日，中证消费电子主题指数(931494)前十大权重股分别为立讯精密(002475)、京东方A(000725)、工业富联(601138)、中芯国际(688981)、韦尔股份(603501)、兆易创新(603986)、澜起科技(688008)、亿纬锂能(300014)、歌尔股份(002241)、长电科技(600584)，前十大权重股合计占比52.69%。相关产品：线上消费ETF平安(159793)； AI人工智能ETF(512930)；消费电子ETF(561600)，场外联接(A类：015894；C类：015895)。以上内容与数据，与界面有连云频道立场无关，不构成投资建议。据此操作，风险自担。

有连云07-31 10:08

议息会议叠加财报季，美股波动加剧，英伟达盘后涨幅扩大至近5%，标普500ETF(513500)最新规模超137亿元

月底以来收盘新低；奈飞、微软、亚马逊、Meta小幅下跌；苹果、谷歌小幅上涨。特斯拉收跌逾4%，报222.62美元，总市值7099亿美元。据消息，特斯拉正在召回1,849,638辆美国车辆，原因是未锁上的引擎盖会完全打开，挡住驾驶员的视线，增加撞车的风险。英伟达美股盘后涨幅扩大至近5%，此前一度跌超3%。英伟达周二收盘大跌超7%，英伟达高管HUANG JEN HSUN拟于7月30日出售12万股普通股股份，总市值约1,278.29万美元。此外，HUANG JEN HSUN自2024年6月13日起至今合共已减持该公司372万股股份，总价值约4.65亿美元。 2024年7月31日，国内ETF方面，纳指100ETF(513390)盘中跌超1%，成交额超1100万元，年初至今涨幅近14%，最新规模超17亿元。标普500ETF(513500)盘中跌0.51%，成交额超4100万元，年初至今涨幅近22%，最新规模超137亿元。据分析，7月份议息会议已经召开，美相关部门决策人士本周或发出可能在9月降息的信号，从而更接近将利率自20年来的高点下调，尽管他们可能不会提供除此之外的细节。接受调查的经济学家称，FOMC周三在为期两天的政策会议结束时，会将基准利率维持在5.25%-5.5%的范围内，这是一年前达到的峰值。天风证券表示，后续美股小盘风格的行情持续性或将取决于盈利改善与经济韧性的验证情况。尽管罗素2000已经历一轮快速上涨，但其远期EPS并未跟随同步上修，无论是从盈利增速的绝对水平或是边际变化看，罗素2000的基本面水平均要弱于标普500指数，表明短期内小盘风格行情更多由流动性与情绪所驱动。从宏观背景看，在ISM制造业新订单指数持续改善的时间段内，小盘较大盘常具备一定超额收益，考虑到美国经济增长动能或大概率放缓，在短期情绪的快速释放后对小盘风格的持续性可保持观望，等待更多经济数据的右侧确认后再决定介入；投资策略上，在美国经济未来几个季度或出现放缓压力的基准假设下，美股或在中期维度内承压，同时短期市场风险偏好也出现边际回落迹象，美股或出现一定调整压力。行业配置上，一是若后续制造业PMI延续下行趋势，以公用事业为代表的防御板块或有所表现，二是人工智能产业趋势尚处在验证阶段，关注部分科技细分板块的配置机会。以上内容与数据，与界面有连云频道立场无关，不构成投资建议。据此操作，风险自担。

有连云07-31 10:07

24小时热点