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

牛市中的爆发赛道：去中心化衍生品市场小结

SynFutures，它的24小时交易量比第二名的dydx还要多3亿美金。 SynFutures 的成交量根据DefiLlama的数据来看，SynFutures是从今年的3月份，数据开始有着明显的变好。一个重要的时间节点是，在2月29日SynFutures发布了V3 协议。从数据可以看到，SynFutures整个23年的日交易量基本处于15M~30M区间。从24年的3月开始，日交易量就开始了明显的提升。首先是提高到80M左右，然后3月下旬达到300M左右。之后从4月开始，日交易量已经提高到1B的量级，是去年的30~60倍。最高的日交易量达到了1.7B。从数据可以看到，SynFutures的日交易量并不是短时间一些利好的刺激。而是从4月开始一直处于非常高的位置。 SynFutures这一系列靓丽的数据，让我对它进行了仔细的研究。V3版本主要上线了专门为合约打造了Oyster AMM （oAMM）系统，这背后有两大的优势。第一大优势是它可以实现每一个衍生品交易对都有单独的流动性池，这样不会导致全局的系统性风险。并且它可以Uniswap V3、Maverick那样，允许流动性集中在特定的价格区间内。大大提高了资金的利用率并增加了交易深度。从数据来看，SynFutures的交易量与TVL的比值高达19.48，远超dydx的2.68和GMX的0.34。而SynFutures第二大特点，是许任何人，在任何 EVM 链，采用任何 ERC 20 token 做保证金，并只需 30s 内即可完成整个上币流程。在我看来，这个在未来的潜力非常的大。说到这里，扯开来聊一下Uniswap成功的原因。在上个牛市，去中心化交易所Uniswap实现的大的跃进，短短1年时间，交易量从默默无闻到直逼一线交易所。大部分人可能把它归功于去中心化交易的必然趋势，但是我并不认同。真正的原因是它可以任何人自由的上币交易。让我们回忆一下，在dex出现之前，一个币要交易，即使是上小交易所，都需要BD、提交资料、等待审核回复等等，先不说交易所的上币费用和各种要求，刚是流程都需要漫长的时间。而在uniswap只需要1分钟，组建LP后可以交易。所以说dex的出现后，带来了巨大的便利。在牛市中，每日都涌现出大量的新项目，uniswap自然成为了首选。所以，在牛市中无需许可的上币功能，属于王炸级别的功能。现在这个赛道中只有SynFutures拥有，在可能成为未来再上一个台阶的利器。小结：在这个牛市，衍生品赛道是必须要关注的。可以肯定的是，在牛市中这个赛道的交易量至少是10倍以上的增长，是实打实的基本面变好。在衍生品中，竞争对手也比较多，老牌的有dydx和gmx，相对于现货依然处于低估的状态。最近几月的交易量冠军SynFutures，也值得重点关注。它尚未发币，撸毛党可以提前参与。毕竟当年dydx上所带富了一大批人。融资超过3600万的SynFutures也受到Pantrea、Dragonfly等头部机构的追捧。来源：金色财经

金色财经2024-05-31

“我的阿勒泰”助力境内旅游新潮，咨询公司：中国游客不好取悦，境外游半年内恐难见起色

示，2023 年，中国农村目的地的预订量比疫情前的水平增长了 2.6 倍。官方数据显示，在今年5月1日至5月5日的公共假期期间，国内旅游旅行和收入与2019年疫情前的水平相比激增。根据CNBC对官方数据的分析，国际旅行略低于2019年的水平。奥纬咨询表示，在中国大陆，扬州、洛阳、秦皇岛、桂林和淄博等小城市在五一假期期间的旅游预订量增长最快。中国数字咨询公司ChoZan的创始人Ashley Dudarenok说，“今年，国内旅游业将超过大流行前的水平。” 她预计，中国人出国旅行的复苏将需要更长的时间，部分原因是“世界其他地方疯狂和不安全的感觉甚至比2023年还要高”。相比之下，在过去两年中，美国申请出国旅行护照的人数创下了历史新高。Skyscanner的一份报告称，85%的美国旅行者计划今年至少与2023年一样多的国际旅行，甚至更多。美国和中国官员上周举行峰会，以促进两国之间的旅游业。目前尚不清楚中国欠发达地区的游客兴趣将在多大程度上持续下去，以及它是否会转化为可持续增长。但对一些地方的短期影响是巨大的。桂林著名的石灰岩山丘所在地广西自治区今年发布了一项通过增加宣传和旅游补贴来促进消费的计划。官员们表示，第一季度，该地区的旅游收入同比增长近24%，达到2581.8亿元人民币。当地政府表示，地方政府对表演艺术的补贴帮助为23万人带来了4830万元的门票销售，刺激了约4.6亿元的经济活动。从广西以东出发，约2.5小时即可到达南京城墙旅游景点。据当地媒体报道，第一季度接待了近130万游客，收入1920万元，是2019年的两倍。争夺媒体眼球中国大城市以外的地方政府一直在加大力度吸引游客，主要是通过社交媒体。广西官员本月早些时候表示，其在字节跳动的抖音和小红书等应用程序上的宣传视频，拥有数百万观众。 “他们试图快速传播，他们试图让他们的社区、文化遗产参与进来，把它们都放到网上，” Dudarenok说，“当你走红的那一刻，你就会有成千上万的游客在你家门口。” 去年，东部省份山东省的淄博镇的烧烤串文化在社交媒体上风靡一时，人们纷纷涌向该镇。同样，在为期三天的除夕假期期间，有300万游客涌入哈尔滨市，因为哈尔滨的冰雕和独特的北方习俗在社交媒体上获得了关注。以特定地区为特色的电视节目也有助于促进旅游业。据发布这部迷你剧的爱奇艺称，由于一部以阿勒泰为背景的电视剧“我的阿勒泰”，在今年五月假期的前三天，新疆偏远地区的游客比一年前激增了近38%。 “电视节目很吸引人，” Dudarenok说，并补充说，“美食始终是中国游客旅行的最重要原因。中国庞大的高速列车和航班网络使人们更容易游览小城镇，即使只有两三天。国内机票预订公司Trip.com上周表示，第一季度比一年前飙升了30%。报告指出，中国消费者现在更加重视“情感满足”，这引发了人们对个性化旅行的兴趣。 “在许多省份加强营销工作有效地鼓励了旅行者探索不同的目的地，”Trip.com 管理层在财报电话会议上表示。企业和地方政府正在以其他方式合作，以提高关注度。来自旅游景点和地方政府的官员已经联系了亚洲旅游小姐选美大赛进行宣传，组委会表示，目前中国国内旅游业相对分散，因此希望为城市创建特定目的地的活动，以吸引未来几年的游客。亚洲旅游小姐去年在新疆咸海市周围的沙漠中拍摄了一段参赛者的宣传时尚视频，并于2024年1月1日在广州省南部城市东莞举行了选美决赛。奥纬咨询（Oliver Wyman）表示，中国消费者目前对国内旅行的偏好意味着，国际旅行可能要到2025年底才能完全恢复到2019年的水平，比之前的预测晚了半年。从长远来看，Dudarenok预计，国际旅游目的地将需要升级其体验，以匹配中国时尚、现代酒店和其他旅游服务的兴起，“中国游客不是那么容易取悦的。”

佳华1682024-05-31

中国游客为何更倾向于国内旅游、而不是跑到国外？都怪世界更疯狂了？

表示，2023年，中国远郊目的地的预订量比疫情前增长了2.6倍。官方数据显示，在今年5月1日至5月5日的公共假期期间，国内旅游人次和收入与2019年疫情前的水平相比大幅增长。根据CNBC对官方数据的分析，国际旅行略低于2019年的水平。奥纬咨询表示，在中国内地，扬州、洛阳、秦皇岛、桂林和淄博等小城市的旅游预订量在五一假期期间增长最快。 “今年，国内旅游将超过疫情前的水平，”专注于中国大陆的营销指南平台ChoZan的创始人Ashley Dudarenok说。她预计，中国出境旅游的复苏需要更长的时间，部分原因是“世界其他地方疯狂和不安全感甚至比2023年还要强烈。” 相比之下，在过去两年中，美国申请出国旅行护照的人数创下历史新高。Skyscanner的一份报告称，85%的美国旅行者计划今年进行的国际旅行至少与2023年一样多，甚至更多。美国和中国官员上周在西安举行了一次峰会，以促进两国之间的旅游业。目前还不清楚游客对中国欠发达地区的兴趣会持续到什么程度，也不清楚这种兴趣是否会转化为可持续的增长。但对一些地区的短期影响是显著的。广西南部是桂林著名的石灰岩山脉所在地，该地区发布了一项计划，通过增加宣传和旅游补贴来促进今年的消费。有关官员说，今年第一季度，该地区的旅游收入同比增长近24%，至人民币2581.8亿元。当地政府表示，地方政府的表演艺术补贴为23万人创造了4830万元的门票收入，刺激了约4.6亿元的经济活动。到广西东部大约2.5小时的飞行是南京城墙旅游景点。据当地媒体报道，第一季度接待了近130万游客，创造了1920万元的收入，是2019年的两倍。争夺媒体眼球中国大城市以外的地方政府一直在加大吸引游客的力度，主要是通过社交媒体。广西官员本月早些时候表示，该公司在字节跳动旗下抖音和小红书等应用上的宣传视频有数百万粉丝。 “他们试图迅速传播，吧自己的社区、文化遗产都放到网上，”Dudarenok说，“一旦传播开来，就会有成千上万的游客来到你家门口。” 自从去年山东淄博市的烤肉文化在社交媒体上走红后，人们纷纷涌向淄博市。同样，哈尔滨市的冰雕和独特的北方习俗在社交媒体上引起关注后，哈尔滨市在为期三天的除夕假期中涌入了300万游客。以特定地区为主题的电视节目也促进了旅游业的发展。由于一部以阿勒泰为背景的电视剧，在今年五一假期的前三天，新疆省偏远地区的游客数量比去年同期增长了近38%。 “电视节目很有吸引力，”Dudarenok说。他补充说，“美食一直是中国游客旅游的最重要原因。” 中国庞大的高铁和航空网络使人们更容易到小城镇旅游，即使只有两三天的时间。 Trip.com上周说，该公司第一季度的国内机票预订量同比激增30%。报告指出，中国消费者现在更注重“情感上的满足”，这激发了人们对个性化旅行的兴趣。根据FactSet的文字记录，Trip.com管理层在财报电话会议上说：“许多省份加大营销力度，有效地鼓励了游客探索不同的目的地。” 企业和地方政府正在以其他方式合作，以提高人们的注意力。亚洲旅游小姐大赛组委会主席Yang Hua表示，旅游景点和地方政府的官员已经向亚洲旅游小姐大赛伸出了橄榄枝。 “目前，中国国内旅游业相对分散，”Yang用普通话说。他希望在接下来的几年里，为城市创建针对特定目的地的活动，以吸引游客。去年，亚洲旅游小姐在新疆咸海市附近的沙漠中拍摄了一段宣传时尚的视频，并于2024年1月1日在广东省南部城市东莞举行了总决赛。奥纬咨询表示，中国消费者目前对国内旅游的偏好意味着，国际旅游要完全恢复到2019年的水平可能要到2025年底，比此前的预测晚了半年。从长远来看，Dudarenok预计，国际旅游目的地将需要升级他们的体验，以匹配中国时尚、现代酒店和其他旅游服务的兴起。“中国游客不那么容易被取悦，”她说。

超启 1评论2024-05-29

被忽视的模块化领域聚合结算与执行层

行路由的嘉信理财中，通过它们路由的交易量比例与其市值份额不成比例。Robinhood 每月大约有 1.19 亿份期权合约，而 ICE 约为 3,500 万份 —— 而且期权合约甚至不是 Robinhood 商业模式的核心部分。尽管如此，ICE 在公开市场上的估值比 Robinhood 高出约 5 倍。因此，作为应用程序级聚合接口，嘉信理财和 Robinhood 将客户订单流路由到各个场所，尽管它们的交易量很大，但估值并不像 ICE 和 CME 那么高。作为消费者，我们给予聚合器的价值较低。如果聚合层嵌入到产品 / 平台 / 链中，这在加密货币中可能不成立。如果聚合器直接紧密集成到链中，显然这是一种不同的架构，我很想知道它会如何发展。一个例子是 Polygon 的 AggLayer ，开发人员可以轻松地将他们的 L1 和 L2 连接到一个网络中，该网络可以聚合证明并在使用 CDK 的链之间实现统一的流动性层。 AggLayer 该模型的工作原理类似于 Avail 的 Nexus 互操作性层，其中包括证明聚合和排序拍卖机制，从而使其 DA 产品更加强大。与 Polygon 的 AggLayer 一样，与 Avail 集成的每条链或 Rollup 都可以在 Avail 现有的生态系统内进行互操作。此外，Avail 池化了来自各种区块链平台和 Rollup 的有序交易数据，包括以太坊、所有以太坊 Rollup、Cosmos 链、Avail Rollup、Celestia Rollup 以及不同的混合结构，如 Validiums、Optimiums 和 Polkadot 平行链等。来自任何生态系统的开发人员都可以在使用 Avail Nexus 的同时在 Avail 的 DA 层之上进行无需许可的构建，Avail Nexus 可用于跨生态系统的证明聚合和消息传递。 Avail Nexus Nebra 专注于证明聚合和结算，它们可以在不同的证明系统之间进行聚合。例如，聚合 xyz 系统证明和 abc 系统证明，这样你就有了 agg_xyzabc （而不是在证明系统内聚合，这样你就有了 agg_xyz 和 agg_abc ）。该架构使用 UniPlonK ，它标准化了电路系列的验证者工作，使得跨不同 PlonK 电路验证证明更加高效和可行。从本质上讲，它使用零知识证明本身（递归 SNARK）来扩展验证部分（通常是这些系统中的瓶颈）。对于客户而言，「最后一英里」结算变得更加容易，因为 Nebra 处理所有批量聚合和结算，团队只需要更改 API 合约调用即可。 Astria 正在研究一些有趣的设计，围绕他们的共享排序器如何与证明聚合一起工作。他们将执行部分留给 Rollup 本身，Rollup 在共享排序器的给定命名空间上运行执行层软件，本质上只是「执行 API」，这是 Rollup 接受排序层数据的一种方式。他们还可以轻松地在此处添加对有效性证明的支持，以确保区块没有违反 EVM 状态机规则。在这里，像 Astria 这样的产品充当 #1 → #2 流程（无序交易 → 有序区块），执行层 /Rollup 节点是 #2 → #3，而像 Nebra 这样的协议充当最后一英里 #3 → #4（执行区块 → 简洁证明）。Nebra 也可能是理论上的第五步，其中证明被聚合然后进行验证。Sovereign Labs 也在研究与最后一步类似的概念，其中基于证明聚合的跨链桥是其架构的核心。总体而言，一些应用层开始拥有底层基础设施，部分原因是如果它们不控制底层堆栈，那么仅保留上层应用可能会带来激励问题和高昂的用户采用成本。另一方面，随着竞争和技术进步不断压低基础设施成本，应用程序 / 应用链与模块化组件集成的费用变得更加低廉。我相信这种动态会更加强大，至少目前如此。有了所有这些创新（执行层、结算层、聚合层），更高的效率、更轻松的集成、更强的互操作性和更低的成本就变得可能了。所有这些最终会为用户带来更好的应用程序，为开发人员带来更好的开发体验。这是一个成功的组合，可以带来更多的创新，以及更快的创新速度。来源：金色财经

金色财经2024-05-29

零知识证明范式：什么是zkVM

轮代数转换和密码学构建的证明所需的工作量比运行计算所需的工作量要少。正是这种安全性和可扩展性的独特组合使零知识加密成为如此强大的工具。 zkSNARK：零知识简洁非交互式知识论证 · 依赖于初始（受信或不受信）设置过程来建立用于验证的参数 · 要求证明者和验证者之间至少有一次交互 · 证明较小，易于验证 · 像zkSync、Scroll和Linea这样的rollup使用基于SNARK的证明 zkSTARK：零知识可扩展透明知识论证‍ · 无需受信设置 · 通过使用可公开验证的随机性来创建无需信任的可验证系统，即生成可证明的随机参数来进行证明和验证，从而提供高透明度。 · 高度可扩展，因为它们可以快速（并非总是）生成和验证证明，即使底层见证（数据）很大。 · 证明者和验证者之间不需要交互 · 代价是STARK会生成更大的证明，这比SNARK更难验证。 · 证明比一些zkSNARK证明更难验证，但相对于其他证明更易验证。 · Starknet和zkVM（如Lita、Risc Zero和Succinct Labs）都使用STARK。（注意：Succinct bridge使用SNARK，但SP1是基于STARK的协议）值得注意的是，所有的STARK都是SNARK，但并非所有的SNARK都是STARK。 2、什么是zkVM？虚拟机（VM）是运行程序的程序。在上下文中，zkVM是一种虚拟计算机，它被实现为生成零知识证明的系统、通用电路或工具，用于为任何程序或计算生成zkVM。 zkVM不要求学习复杂的数学和密码学来设计和编码ZK，让任何开发人员都可以执行用他们喜欢的语言编写的程序并生成ZKP（零知识证明），从而更容易与零知识集成和交互。从广义上讲，大多数zkVM都意味着包括附加到执行程序的虚拟机的编译器工具链和证明系统，而不仅仅是虚拟机本身。下面，我们总结了zkVM的主要组件及其功能：每个组件的设计和实现都由zkVM的证明（SNARKs或STARKs）和指令集架构（ISA）的选择来控制。传统上，ISA指定了CPU的能力（数据类型、寄存器、内存等）以及CPU在执行程序时执行的操作顺序。在上下文中，ISA确定可由VM解释和执行的机器码。选择ISA可以在zkVM的可访问性和可用性，以及证明生成过程的速度和效率方面产生根本性的差异，并支持任何zkVM的构建。下面是一些zkVM及其组件的示例，仅供参考。现在，我们将重点关注每个组件之间的高层交互，以便在后面的文章中提供一个框架，用于理解代数和加密过程以及zkVM的设计权衡。 3、抽象的zkVM流程下图是一个抽象的、一般化的zkVM流程图，当程序在zkVM组件之间移动时，进行格式（输入/输出）的拆分和分类。 zkVM的流程一般如下：（1）编译阶段编译器首先将使用传统语言（C、C++、Rust、Solidity）编写的程序编译成机器码。机器码的格式由所选的ISA来决定。（2）VM阶段 VM执行机器码并生成执行跟踪，这是底层程序的系列步骤。它的格式由算法的选择和多项式约束集来决定。常见的算法方案包括Groth16中的R1CS、halo2中的PLONKish算法以及plonky2和plonky3中的AIR。（3）验证阶段证明者接收跟踪并将其表示为一组受一组约束限制的多项式，本质上是通过数学映射事实将计算转换为代数。证明者使用多项式承诺方案（PCS）提交这些多项式。承诺方案是一个协议，它允许证明者创建一些数据X的指纹，这被称为对X的承诺，然后使用对X的承诺来证明关于X的事实而同时不泄露X的内容。PCS就是指纹，计算约束的“预处理”简明版本。这允许证明者使用验证者在接下来的步骤中提出的随机值来证明有关计算的事实，现在用多项式方程来表示。证明者运行一个多项式交互Oracle证明（PIOP）来证明所提交的多项式代表了满足给定约束条件的执行轨迹。PIOP是一个交互式证明协议，其中证明者向多项式发送承诺，验证者用随机字段值响应，证明者提供对多项式的评估，类似于使用随机值“求解”多项式方程以概率方式来说服验证者。 Fiat-Shamir启发式的应用；证明者以非交互模式运行PIOP，在这种模式下，验证者的行为仅限于发送匿名随机挑战点。在密码学中，Fiat-Shamir启发式将交互式知识证明转换为用于验证的数字签名。这一步加密了证明并使其成为零知识证明。证明者必须说服验证者，关于它发送给验证者的多项式承诺，声称的多项式评估是正确的。为了做到这一点，证明者产生一个“evaluation”或“opening”证明，由多项式承诺方案（指纹）提供。（4）验证者阶段验证者通过遵循证明系统的验证协议来检查证明，要么使用约束，要么使用承诺。验证者根据证明的有效性接受或拒绝结果。总之，zkVM证明可以证明，对于给定的程序、给定的结果和给定的初始条件，存在一些输入，使程序从给定的初始条件执行产生给定的结果。我们可以将该语句与流程结合起来，得到关于zkVM的以下描述。 zkVM证明将证明，对于给定的VM程序和给定的输出，存在一些输入，导致给定的程序在VM上执行时产生给定的输出。 4、评估zkVM 我们评估zkVM的标准是什么？换句话说，我们应该在什么情况下说一个zkVM比另一个更好？实际上，答案取决于用例。 Lita的市场研究表明，对于大多数商业用例，在速度、效率和简洁性之间，最重要的属性要么是速度，要么是内核时间效率，这取决于应用程序。一些应用对价格敏感，希望将证明过程优化为低能耗和低成本的，对于这些应用而言，内核时间效率可能是最重要的优化指标。其他应用程序，特别是金融或交易相关的应用程序，对延迟非常敏感，需要优化速度。大多数公开的性能比较只关注速度，速度当然很重要，但却不是性能的全面衡量。还有一些重要的属性可以衡量zkVM的可靠性，其中大多数都达不到生产标准，即使是市场领先的老牌企业。我们建议按照以下标准对zkVM进行评估，并将其分为两小类：基线：用于度量zkVM的可靠性 · 正确性 · 安全性 · 信任假设性能：用于衡量zkVM的能力 · 效率 · 速度 · 简洁性（1）基线：正确性、安全性和信任假设在评估关键任务应用程序的zkVM时，应该将正确性和安全性作为基准。需要有足够的理由对正确性有信心，并且需要有足够强的声明安全性。此外，对于应用程序来说，信任假设需要足够弱。如果没有这些属性，zkVM对应用程序来说可能比毫无用处更糟糕，因为它可能无法按照指定的方式执行，并使用户暴露于黑客攻击和漏洞攻击之下。正确性 · VM必须按预期执行计算 · 证明系统必须满足其声称的安全属性正确性包含三大属性： · 稳健性：证明系统是真实的，因此它所证明的一切都是真的。验证者拒绝接受虚假陈述的证据，只接受输入产生实际计算结果的计算结果。 · 完备性：证明系统是完备的，能够证明所有的真实陈述。如果证明者声称它可以证明计算的结果，它必须能够产生验证者可接受的证明。 · 零知识证明：与知道结果本身相比，拥有一个证明并不能揭示更多关于计算输入的信息。你可能拥有完整性而没有稳健性，如果证明制度证明了包括虚假陈述在内的一切，显然它是完备的，但并不健全。而你也可能拥有健全性但没有完整性，如果证明系统证明了一个程序的存在，但不能证明计算，显然它是健全的（毕竟，它从来没有证明过任何虚假陈述），但不是完整的。安全性 · 与可靠性、完整性和零知识证明的公差有关在实践中，所有三个正确性属性都具有非零公差。这意味着所有的证明都是对正确性的统计概率，而不是绝对的确定性。公差是指一个属性失效的最大可容忍概率。零公差当然是理想的，但是在实践中，zkVM并没有在所有这些属性上实现零公差。完美的稳健性和完备性似乎与简洁性并不相容，并且没有已知的方法可以实现完美的零知识证明。衡量安全性的一种常用方法是以安全性bit为单位，其中1 / (2^n)的公差称为n bit安全性。bit越高，安全性越好。如果一个zkVM是完全正确的，这并不一定意味着它是可靠的。正确性仅意味着zkVM满足其声称的公差范围内的安全属性。这并不意味着所声称的公差低到足以进入市场。此外，如果zkVM足够安全，也并不意味着它是正确的，安全性指的是声称的公差，而不是实际实现的公差。只有当zkVM既完全正确又足够安全时，才能说zkVM在声称的公差范围内是可靠的。信任假设 · 假设证明者和验证者的诚实性，以得出zkVM可靠运行的结论。当zkVM具有信任假设时，通常采用可信设置过程的形式。在使用该证明系统生成第一个证明之前，ZK证明系统的设置过程将运行一次，以生成一些称为“设置数据”的信息。在可信设置过程中，一个或多个个体生成一些随机性，这些随机性被合并到设置数据中，并且需要假设这些个体中至少有一个删除了他们合并到设置数据中的随机性。实践中有两种常见的信任假设模型。 “诚实的大多数”信任假设表明，人数为N的一组人中，超过一半的人在与系统的某些特定交互中表现是诚实的，这是区块链常用的信任假设。 “1 / N”信任假设表明，在人数为N的一组人中，这些人中至少有一个人在与系统的某些特定交互中表现为诚实的，这是基于MPC的工具和应用程序通常使用的信任假设。人们普遍认为，在其他条件相同的情况下，没有信任假设的zkVM比需要信任假设的zkVM更安全。（2）zkVM三难困境：zkVM中速度、效率和简洁性的平衡速度、效率和简洁性都是可扩展的属性。所有这些因素都会增加zkVM的最终用户成本。如何在评估中对它们进行权衡取决于应用程序。通常，最快的解决方案并不是最有效或最简洁的，最简洁的解决方案并不是最快或最有效的，以此类推。在解释它们之间的关系之前，让我们先来定义一下各个属性。速度 · 证明者生成证明的速度有多快 · 以挂钟时间计算，即计算从开始到结束所经过的时间应该根据具体的测试程序、输入和系统来定义和衡量速度，以确保可以对速度进行定量评估。这个指标对于延迟敏感类的应用程序来说是至关重要的，在这些应用程序中，证明的及时可用性是必不可少的，但是它也带来了更高的开销和更大的证明。效率 · 证明者消耗的资源，越少越好。 · 近似于用户时间，即程序代码所花费的计算机时间。证明者消耗两种资源：内核时间和空间。因此，效率可以细分为内核时间效率和空间效率。内核时间效率：prover跨所有内核运行的平均时间乘以运行prover的核心数量。对于单核prover来说，内核时间消耗和速度是一回事。对于在多核系统上以多核模式运行的多核功能prover来说，内核时间消耗和速度不是一回事。如果一个程序在5秒内充分利用了5个内核或线程，那么这将是25秒的用户时间和5秒的挂钟时间。空间效率：指已使用的存储容量，如RAM。将用户时间作为运行计算所消耗的能量的代理是非常有趣的。在几乎所有内核都被充分利用的情况下，CPU的能量消耗应该保持相对恒定。在这种情况下，一个受CPU限制的、主要是用户模式的代码执行所花费的用户时间应该大致与代码执行所消耗的瓦时（即能量）成线性比例。从任何具有足够规模的证明操作的角度来看，节约能源消耗或计算资源的使用应该是一个有趣的问题，因为证明的能源费用（或云计算费用）是相当大的操作成本。由于这些原因，用户时间是一个有趣的衡量标准。较低的证明成本允许服务提供商将较低的证明价格传递给成本敏感型客户。这两种效率都与证明过程的能量消耗和证明过程所使用的资金量有关，而资金量又与证明的财务成本有关。为了使衡量效率的定义可操作，该定义必须与一个或多个测试程序、每个程序的一个或多个测试输入以及一个或多个测试系统相关。简洁性 · 生成的证明的大小和验证它们的复杂性简洁性是三个不同指标的组合，按证明验证的复杂性进一步细分为： · 证明大小：证明的物理大小，通常以千字节为单位。 · 证明验证时间：验证证明所需的时间。 · 证明验证空间：证明验证时的内存使用情况。验证通常是单核操作，因此在此情境中，速度和内核时间效率通常是一回事。与速度和效率一样，简洁性的定义需要指定测试程序、测试输入和测试系统。定义了每个性能属性后，我们将演示优化一个属性而非其他属性所产生的影响。 · 速度：快速的证明生成导致证明更大，但证明验证速度较慢。生成证明消耗的资源越多，效率越低。 · 简洁性：Prover需要更多的时间来压缩证明。但证明验证速度很快。证明越简洁，计算开销就越高。 · 效率：最大限度地减少资源使用，将减缓证明生成的速度，降低证明的简洁性。一般来说，针对一方面进行优化意味着另一方面得不到优化，因此需要进行多维分析，以便在逐个案例的基础上选择最佳解决方案。在评估中对这些属性进行权衡的一个好方法可能就是为每个属性定义可接受的程度，然后确定哪些属性是最重要的。应该对最重要的属性进行优化，同时在所有其他属性上保持足够好的水平。下面我们总结了各属性及其关键考虑因素：来源：金色财经

金色财经2024-05-28

【深度长文】贸易战再次升温、中国亟需结束房地产低迷！大规模救市行得通吗？

库存过剩最严重的城市——深圳的新房销售量比一周前增长了90%。澳新银行分析师Xing Zhaopeng在上周的一份报告中写道，央行支持的购买将为住房设定“价格下限”，防止进一步抛售。在早期的救援行动中的一个关键问题是：底部有多低？由于不能收取太多租金，地方政府在买房时面临着谈判大幅折扣的压力，这导致了与开发商旷日持久、激烈的讨价还价。郑州就是一个例子，当地政府打算购买住宅出租给技术工人。据一位知情人士透露，他们试图通过瞄准最初被指定为商业用途、后来被改造为住宅的建筑(通常是一种更便宜的房产)，来降低购买成本。这位人士说，即便如此，大多数购买的价格还是比市场价低了15%。该计划在中国央行试行之前就开始实施，目前尚不清楚该计划后来是否得到了央行的支持。大幅折扣的前景一直是其他城市在中国央行计划之外选择更市场化方式的举措的障碍。一种流行的模式是，开发商(通常是国有开发商)收购老房子，条件是业主再购买由同一家公司建造的新房子。由南京市政府全资拥有的南京安居建设集团有限责任公司在4月底宣布一项试点计划，将在市中心购买2,000套住房。卖家可以用这笔钱支付新住宅高达80%的成本。据一位知情人士透露，已有超过3,400名符合条件的房主签署协议，但迄今为止只有52笔交易达成。由于没有获得公开发言的授权，这位知情人士要求不具名。这位人士说，许多想买房的人都在犹豫，因为他们在问自己一个关键问题：等到市场转好、他们能以更好的价格卖出时，是不是更好？许多人仍对房价能否反弹持怀疑态度。在一篇有关楼市复苏前景的文章下，一名用户在中国的微博平台上评论道：“如果你今年不这么做，你就再也没有机会花这么多钱买房了。”这条评论获得了14000多个赞。

超启2024-05-28

会员

比特币继续震荡上行的走势, 山寨币调整完毕, 继续上冲 !

力量比较强，但是依然多头占了优势，成交量比上周略大一些，MACD在零轴上方远点出现下跌动能减弱的迹象，新的一周还会是震荡上行的走势，还有几天也要收月线，月线也是看涨的走势。从日线级别来看，比特币日线是一根小阴线，成交量跟前一天基本持平，是前几天的一半不到，MACD上穿零轴之后出现上涨动能不足的走势，但是这个走势在持续高位横盘之后随便一根拉升就会消失，日线还会有震荡调整，之后会有一波上冲，压力位73000，支撑位65075-64448。从小时级别来看，比特币目前回到6小时级别支撑之后形成反弹没有新高，形成上涨动能不足的走势，小时级别会以震荡下跌的走势为主，支撑位66719-66121，压力位69983。 ETH 以太坊的周线是一根超级大阳线，成交量啥时前一周的两倍多，MACD在零轴上方也呈现金叉的走势，这种走势都是强势的体现，需要注意的是，周线级别拉升幅度比较大，那么本周在日线级别会有调整，都是正常的调整走势，调整好以后，还会继续上冲。从日线级别来看，以太坊日线级别走势还是以宽幅震荡为主，成交量是前一天的两倍左右，但是比前几天少了很多，MACD在零轴上方出现上涨动能减弱的走势，多震荡几天，还会继续上冲，压力位4000，支撑位3500。从小时级别来看，以太坊的宽幅震荡区间很明显，需要继续震荡等待日线级别的K线修复，支撑位3660-3600，压力位3918-3950。山寨方面周末两天正如我们所预判的那样，不停的有山寨的表演单日拉盘超过50%的走势，强势的山寨依然强势，弱势的山寨依然弱势。体育币有一波不错的表现，中线来看，还会有不少的涨幅，前面买入的耐心持有即可，没有买入的逢低买入。 meme 板块的 PEPE 还在持续新高，果然 MEME 才是最好的价值，短线可以快进快出吃一波，但是从风险把控的角度来看，不建议去追高，市场上还有很多没怎么涨的山寨，把目光放在这些没怎么涨的山寨上面，会更有性价比 SAGA 目前走出了一个阶段性的底部形态，现价2.533可以上车，补仓2.36-2.14，止损1.93，止盈2.94-3.48，在2.71附近会有回调，做好心理准备。 BRC20 铭文方面 SATS 日线级别的调整快要结束了，日线走出来了好多个十字星的形态，拉盘的时候应该会有不错的表现。 ORDI 昨天短时拉升最高到44.45，距离我们说的45位置就差了1个点，走势上也呈现上涨动能增强的情况，耐心持有等待拉升即可。最后的最后，还有很多其实都没写进来，比如具体的机会，具体的决策，这些东西往往不是一篇文章能概括的。来源：金色财经

金色财经2024-05-27

联想股价飙升逾12港元大摩：AI PC渗透率到2028年将达65%

C市场。此外，AIPC的商用PC装机量比COVID之前增加了13%，并将在2025年10月Windows 10到期之前进行更新，因此AIPC将成为在2024年下半年和2025年加速PC市场增长的关键因素。事实上，75%的美国和欧盟首席信息官目前正在评估AIPC，而 23年第三季度仅为40%，他们平均愿意为AIPC多支付6%的费用。随着时间的推移，随着AIPC向低价位扩散，大摩预计更多的消费者将使用AIPC。大摩对AIPC的定义是性能超过 40+ TOPS，根据这一定义，估计AIPC的渗透率将从2024 年占PC总出货量的2%增长到2028年的65%，渗透率超过20%，这将有助于加速 2025年PC出货量的增长。因此，将 24 财年和25财年的PC市场出货量上调 3-4%(分别为 2.62 亿台和 2.76 亿台)，目前比共识高出 2%，新的PC ASP 预测到28财年比共识高出 7%(平均值)，从而使 24 财年到 28 财年的 PC TAM 比共识高出 3-10%。总体而言，根据 PC市场预测，假设PC年出货量年复合增长率为 2%，从 24 财年的 2.6 亿台增长到 28 财年的近 2.8 亿台，这意味着全球PC更新周期从2023 年的4.8年加快到2024年的4.6年和2025 年的4.2年，然后在2026年达到3.8年的峰值。我们在 PC 周期中处于什么位置？大摩认为，23年一季度已经走出谷底，并从 23 年第四季度起恢复了同比正增长。自 21 年下半年以来，由于 COVID 创纪录的需求在消费市场和企业市场都出现了逆转，导致渠道库存过剩，似乎无法快速削减 PC 数量，如今库存已减少。从大局来看，预计PC市场的复苏将从下半年开始更有意义地回升，因为AIPC的渗透率将在下半年开始回升，高通公司将成为首家推出自己的AIPC解决方案的芯片制造商，该方案将于 6 月中旬上市，随后 AMD 和英特尔可能分别在下半年和下半年推出更多芯片解决方案。这一波AI PC CPU 上市潮应有助于更有意义地催化商用 PC 需求，并启动更强劲的商用刷新 PC周期，该周期应加速至2025年。为什么选择AI PC？这是从投资者那里经常听到的问题，因为他们认为所有AI工作负载都可以而且应该在云上运行。未来三年内，公有云中的AI工作负载比例将下降 5 个百分点，而混合环境中的工作负载将增加 2 个百分点。这是因为通过设备上的推理，AI PC 可以提供：(1) 更低的每次查询成本、(2) 更低的延迟，(3) 无限的个性化，(4) 更好的可用性(即不需要互联网连接)，以及 (5) 更高的隐私性和安全性。这些优势将成为激励软件开发商和硬件原始设备制造商将AI推向边缘并推动客户购买AIPC的关键. 事实上，戴尔科技公司首席执行官迈克尔-戴尔最近指出，与云计算相比，内部AI推理的成本效益可提高75%，83%的企业首席信息官预计今年将从公共云中调回AI工作负载。 AIPC的第一个实例是什么？大摩认为，AIPC最初将被用作生产力工具，而微软的 Copilot+ 可能会成为第一个主要的AIPC "杀手级应用"，让用户可以访问 "多个最先进的AI智能模型，包括多个微软的世界级 SLM"，以及一个设备上的AI助手。最终，将看到AIPC杀手级应用/用例扩展到帐篷创建、通信、游戏和更多主流用户应用。谁是全球AIPC的最大受益者？在发布本报告的同时，大摩将联想和华硕的评级提升至增持，并将联想列为在大中华区科技硬件领域的首选，而在美国，大摩重申对戴尔和惠普的增持评级，戴尔仍是在美国 IT 硬件领域的首选。大摩认为，联想的AIPC收入占比将从2024财年的约2%上升到2028财年的约53%，这是全球PC OEM中最高占比。联想还拥有自己的AI芯片以及最全面的AI功能和助手(小天/AI Now)：联想的AI芯片(LA1)于2023年CES首次推出，现在已经发展到第三代(LA3)。这款芯片支持机器学习算法，优化了系统性能和电池寿命，目前它主要配备在高端型号上。现在说这是否是颠覆性的还为时过早，但联想声称它有助于提高10-18%的性能，这是相当可观的。此外，与其他PC OEM相比，联想拥有最全面的AI功能，涵盖五大功能：1)网络安全增强，2)音视频质量增强，3)功耗优化/性能增强，4)内容生成，以及5)个人助手，这可能会进一步推动差异化。 AI服务器订单增长：在2023财年，联想主要推出了L40S系列，开始看到H100/H200 AI服务器的订单量在不断增加。在2024财年下半年，这些服务器的贡献将变得更加重要，并估计在未来几个季度中，订单规模将达到约15-20亿美元。这意味着，仅基于AI服务器订单的新增，2025财年的ISG收入就能至少增长约20%。因此将目标价提高到15港元；升级为"超配"，并成为首选股票：AIPC和AI服务器的增长将支持联想股票的重新评级。目前的估值仅为2026财年市盈率的8.8倍，与其过去五年的平均市盈率8.8倍相比，较为便宜。联想也在开发自己的AIPC特性和功能联想小天和AI Now是什么？联想于2023年10月24日在Tech World Austin首次展示了其AIPC功能AI Now，并在2024年4月18日的Tech World Shanghai上发布了更多细节。在Tech World Shanghai上，联想提到将在活动中推出的6款机型中预装"小天"，包括Yoga Book 9i、Yoga Pro 16s、Yoga Air 14、小新Pro 16和ThinkPad T14p/16p。联想首先将其新的AI功能"小天"带到2024年上半年在中国销售的PC产品中，在第二阶段推广中进军海外市场。实际上看到许多不同的PC OEM也提供自己的AI功能，但联想是前五名PC OEM中唯一一家在中国推出该功能的公司。与其他PC OEM提供的AI功能相比，联想提供了最全面的产品，通过结合与工作相关的功能(即电子邮件/文档的摘要)与文本预测、背景模糊、会议记录以及数字内容工具，以最大化创造力而不影响整体系统性能。此外，它还具有与消费者相关的功能(即根据用户偏好和天气情况预订旅行计划)。其他PC OEM提供的AI功能/特性聚焦工作，但不包括任何个人/与消费者相关的功能。联想小天和AI Now在哪些型号中可用？ 2024年2月8日宣布：搭载英特尔酷睿Ultra处理器的联想PC(约10TOPS，或每秒万亿次操作)具有片上AI加速器，称为神经处理单元(NPU)，它使AI加速变得高效，从而加快了AI工作流程。特点包括文本预测、背景模糊、会议记录和总结电子邮件，而数字内容工具则在不影响整体系统性能的情况下最大化创造力。此外，联想计划于2024年下半年推出具有增强计算能力(40+ TOPS)的下一代AIPC。联想已经推出了一系列全面的AIPC产品，涵盖其多个子品牌，包括Yoga™、ThinkBook™、ThinkPad™、ThinkCentre™和Legion™。其中最引人注目的产品之一是ThinkBook Plus Gen 5 Hybrid，该产品在CES上获得了创纪录的61项大奖，它可以无缝地从笔记本电脑切换到平板电脑，然后再切换回来。该型号包括ThinkBook Plus Gen 5 Hybrid Station——当连接到外部显示器时可以独立使用——和ThinkBook Plus Gen 5 Hybrid Tab——可以拆卸并用作独立平板电脑，专为设计师、金融分析师、物流专业人士和其他可以从这种双重功能中受益的用户设计。联想专注于高端和商业领域，这些领域具有巨大的使用潜力，旨在通过利用AIPC技术的兴起，推动IDG的盈利能力持续高于历史趋势。像这样的举措包括：1) 联想Yoga Creator Zone，它可以根据文本描述生成图像，并配备联想的Image Training功能，允许用户训练个性化模型；2) 联想AI Now解决方案，这是一款个性化AI助手，使最终用户能够通过键盘和自然语言进行交互；3) 联想AICore芯片，这是一款专有AI芯片，带有软件机器学习算法，用于优化游戏电脑性能；这些都展示了公司对产品差异化的承诺。联想拥有更强大的新型AI芯片联想在2024年CES展会上推出的LA3 AI芯片，是联想第三代专有AI芯片，最初是为游戏产品线设计的，但现在也配备在联想的商用机型上，如联想ThinkBook 13x Gen 4。第一代LA芯片(LA1)于2023年CES展会上首次发布，搭载在四款新型号上，即联想Legion Pro 7、7i(16"、8)、5和5i(16"、8)游戏笔记本电脑。 LA3芯片启用了一种机器学习算法，该算法可以优化系统性能，以实现最佳性能和电池寿命。例如，通过LA3芯片和联想Smart Power 3.0技术，用户可以利用AI加速功能，如联想AI会议，该功能通过系统级优化来管理散热，几乎消除会议期间的缓冲和卡顿，提供智能高效的会议体验。而其AI增强的摄像头和音频功能，使用户可以享受更加沉浸式的虚拟会议。 2024年2月6日的公告：联想的其他先进AI能力将通过即将发布的新型强大LA3 AI芯片进一步展示，该芯片将用于商业应用。这款新的AI芯片将使联想AI会议在在线协作等多个领域提高用户的工作效率。除了这些商业应用外，联想的新型AI芯片还将提供极大的游戏体验提升。在游戏使用场景下，LA3芯片有助于监控游戏中的每秒帧数(FPS)，并动态调整CPU和GPU功率以实现最高性能的FPS输出，在相同功耗下提供高达15%的TDP提升；它还启用了灯光音频同步功能，将设备的RGB灯光与声音同步，以提供更加身临其境的游戏体验。这款芯片在2023年推，联想声称这款芯片可以提高性能10-18%，这是一个相当显著的数字。联想还提供所有设备(PC、AI手机、物联网设备等)的无缝集成。2024年2月25日，联想和摩托罗拉推出了AI连接，这是一种软件解决方案，可以统一数字生态系统，创造顺畅的多设备体验。该公告表明了两家公司致力于为所有人提供更智能的软件解决方案的承诺。 (摩根士丹利全球PC设备制造商偏好表)

格隆汇2024-05-27

以太坊现货ETH通过在即后市行情会如何走？

坊期货 ETF产生4775万美元的交易量，比 3月5 日以太坊逼近 4000 美元大关时创下的 3418 万美元峰值高出了40%。全网以太坊期货合约未平仓头寸达156亿美元，续创历史新高。持有至多10枚ETH的小型以太坊钱包数达1.21亿个，创历史新高。香港三只现货以太坊ETF集体飙升，截止5月22日午间净流入额超过500万港元，创推出以来最大净流入额。四、ETH币价历史走势 2017年1月之前，ETH价格多在10美元下方，此后一年则一路上涨，最终在2018年1月中旬到达第一个历史高点，约为1300美元，涨幅约为13000%。随后的2018年1月至2020年7月，ETH进入了漫长的冰河期，币价最低跌至110美元附近，跌幅高达91.5%。但随着美联储的大放水，加密狂暴大牛市来临。2020年夏季开始，ETH进入狂飙模式。先后在2021年的5月、11月连续创下历史新高，最高涨至4810美元。若以上轮低点计，涨幅高达4272%。此后牛去熊来，ETH最低跌至881美元附近，跌幅达81.68%。熊市长达两年，从2021年11月至2023年10月。由于比特币现货ETF的通过，加密市场逐渐步入牛市行情，ETH也迎来暖春，币价最高涨至3800美元，涨幅约为322.2%。但相较于其它蓝筹币种涨幅，ETH的表现可谓垫底行列。五、行情预测：普遍看超5000美元渣打银行：以太坊年终目标价格为8000美元，2025年底以太坊价格将达到14000美元。渣打银行外汇研究和数字资产研究主管Geoff Kendrick表示，预计以太坊现货ETF获得批准后的前12个月内将推动239至915万枚以太坊流入。以美元计算，大约相当于150亿至450亿美元。 Bernstein：现货以太坊ETF的批准将推动其价格飙升75%至6600美元。Bernstein分析师估计，SEC 在 1 月份批准了类似的比特币产品，刺激了接下来几周比特币价格上涨 75%，预计 ETH 的价格走势也会类似。 Lyra：6月底以太坊有20%的概率突破5000美元。Lyra 创始人、前华尔街期权交易员 Nick Forster表示，根据Lyra期权市场的暗示，以太坊在6月28日前达到5000美元的概率约为20%，在7月26日前超过5500美元的概率也为20%。 ZhuSu：若以太坊现货ETF获批，以太坊将涨至5400美元。 QCP Capital：如果 BTC ETF 获批的情况能作为参考，若ETH ETF获批ETH或上涨60%。ETH 的短期目标是 4000 美元，今年晚些时候将达到 5000 美元。 Coinbase：以太坊未来几个月可能会出现意外上涨。以太坊今年的表现落后于更广泛的加密货币市场，但其长期定位仍然强劲，并且有可能出现意外的上涨。 Bloomberg：以太坊ETF是自2022年来对加密市场提振最大的因素。 ConsenSys CEO：若以太坊现货ETF获批，由此产生的对以太坊的“需求洪流”可能会导致供应紧张，从而推高以太币价格。该CEO解释道，已经通过新推出的比特币ETF接触到比特币的机构“最有可能想要将投资分散到第二个获批的ETF中”，通过ETF购买以太币的自然、积压的需求将相当大，但相较于今年1月比特币现货ETF获批时，用以满足这种需求的供应量将更少。 Bybit金融产品总监：市场依然低估了以太坊的潜力，ETH 仍然是有史以来最去中心化、经受考验和技术上最出色的作品。希望以太坊能够因此得到恰当的估值。 JMP证券：Coinbase将从以太坊ETF中受益。其它观点：彭博ETF分析师：以太坊ETF可能仅占据比特币ETF资产的15%。经济学家Peter Schiff：预计美SEC批准后资金将从比特币ETF转向以太坊ETF，因而可能会对现货比特币ETF和比特币产生负面影响。 Kryptanium Capital联创：若以太坊ETF获批，最佳交易策略是买入SOL/ETH。总结按市值计算，ETH是第二大加密货币，仅次于比特币 (BTC)。但无论是在传统金融机构还是加密机构评价中，两者在金融价值属性上都有着巨大的差距。而这次SEC如果审批通过了以太坊现货ETF，无疑是对ETH的肯定和认可。从上述ETH价格走势来看，其币价涨幅走势渐有江河日下之势。不过随着其ETF的通过预期，以太坊在一众投资者眼中转而成为了香饽饽，纷纷预测新的历史高点。而究竟以太坊能否成为“下一代加密货币与去中心化应用平台”，我们不妨留给市场和时间去检验。来源：金色财经

金色财经2024-05-23

美国现房销售意外下降，但价格维持高位

流行前的水平。4月份，二手房市场的供应量比去年同期增加了16%以上，达到121万套。按照目前的销售速度，出售市场上所有房产需要3.5个月的时间。房地产经纪人认为，任何低于五个月的供应都表明市场紧张。销售价格（来源：彭博）售价中值较上年同期上涨5.7%，至407,600美元，为1999年以来4月份数据中最高。与新屋市场不同的是，二手房市场正经历着价格同比上涨的过程。在新屋市场，库存增加和建筑商普遍采取的激励措施已将价格按年推低。 “不幸的是，价格继续上涨，进一步剥夺了低收入甚至中等收入美国人的机会，”海军联邦信贷联盟(Navy Federal Credit Union)企业经济学家Robert Frick表示。“唯一能真正缓解形势的是美联储今年晚些时候的降息，这最终会影响到抵押贷款利率。” 在售出的房屋中，约68%的房屋在市场上销售不到一个月，高于3月份的60%，而超过四分之一的房屋售价高于挂牌价。 NAR的报告还显示，4月房屋在市场上的平均待售天数为26天，低于一个月前的33天，也低于春季销售季节的典型情况。卖家平均收到3.2份报价。经济学家的预估可能出现偏差的一个原因是，他们的预测往往基于衡量签约情况的成屋待完成销售报告。这一数字在2月和3月有所上升。 Yun表示，除了现房销售报告中的样本量较大外，签约并不总是意味着成交，因为房屋检查、评估和与抵押贷款机构的潜在问题等因素。他说，买家也可能会犹豫不决。成屋销售占美国住房的大部分，是在合同结束时计算的。美国政府将于周四公布4月份新屋销售数据。

Anna Sui2024-05-23

24小时热点