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

4E疯狂星期四交易大宗外汇指数获高额点差返利

回报。活动期间，只要您在星期四的交易量比前三天平均交易量增加至少50%，就可以获得高额点差返利。无需复杂的计算或额外的操作，只要您的交易量达标，奖励将在周五自动发放到您的账户中。这意味着，您不仅可以通过市场波动获取盈利，还能获得额外的返利，在同样的市场条件下，获得更高的回报！大宗商品、外汇和股指的投资机会丰富多样，抓住机会，实现资产的稳健增长。每周四，迎接新的交易机会，获取更高的回报，4E将始终伴您左右。活动详情：https://download.eeeedex.com/activity/2024/active28/activity1/index.html 来源：金色财经

金色财经2024-06-05

英国大选不会刺激黄金购买？造币厂数据讲述了不同的故事

金属的客户数量增加了49%，而黄金购买量比前一周翻了一番（增长了117%）。皇家铸币局的金条部门发现，客户支出每周增长145%，而首次投资者的支出增加了10%。” 他们表示，事实证明，实物投资产品，包括黄金和白银大不列颠硬币、大型金条和主权硬币，与皇家造币厂的数字产品套装一起特别受欢迎。报告还指出，49%的黄金买家年龄在44岁至59岁之间。英国的黄金需求似乎与更广泛的购金趋势相反，研究表明，与婴儿潮一代和年轻的千禧一代相比，X一代对黄金的兴趣最低。“X一代”指出生于20世纪60年代中期至70年代末的一代人。皇家造币厂的产品经理Stuart OReilly表示：“过去一周，我们看到贵金属投资的上升，似乎是由投资者的‘避险’买入推动的，他们试图减轻与当前不确定性相关的风险。选举导致人们对经济、税收和安全的未来产生更多的疑问，这可能导致投资活动激增，并提高对贵金属的兴趣。” 他还指出：“由于黄金的避险地位以及与其他资产缺乏相关性，当投资者对未来不确定时，我们往往会看到金币和金条的购买量激增。除了大选之外，投资者也在密切关注利率是否会下降以及何时会下降，同时也在关注11月的美国大选。” 根据最新的民意调查，由Keir Starmer领导的英国工党预计将以压倒性优势获胜。一些分析人士表示，尽管英国大选对西方社会很重要，但与今年的主要事件——美国总统大选相比，它仍然是一个插曲。到目前为止，全球金融市场对选举结果泰然自若。这一结果对全球经济情绪的影响有限。

金融界2024-06-04

6.4比特币/以太坊行情分析及操作思路

手里。比特币的周线有望突破形态，成交量比上一周稍微少一些，MACD还在高位，走势上本周还会以宽幅震荡为主，暂时不存在暴跌的情况，无需担心。日线级别比特币也是震荡的走势，连续几天日线都是十字星的形态，价格波动很小，价格和MA30线还在继续贴近中，预计还需要几天就能贴在一起，之后期待有一波比较不错的上涨走势，压力位73000，支撑位66092。从以太的周线收线情况来看，上周以太的走势还是非常强势的，毕竟大涨之后，回踩的并不算太多，多军还是具备再次上冲的动能的，仅仅从技术分析来看，本周的走势还是很值得期待的。以太的etf最晚大概率会在7月4日正式上线，离华尔街机构大举入场的时间已经不远了，所以大概率会提前炒作，我们可以参考大饼etf通过后的炒作走势，从27000美金拉升到49000美金，炒作持续了近两个月，如果按照大饼的炒作走势来判断，我们可以分为三个拉升阶段(如图1），第一个阶段就是假消息，真拉升，而以太的消息放出来的时候也是有很对人持有怀疑态度的，结果以太还是在大家的犹豫中上涨，第一波拉升后进入了第一阶段的盘整，随后在大饼在etf正式获批之前又进行了第二波拉升，个人认为当前以太就是随时可能开启第二波拉升的阶段，然后开始继续盘整，等消息落地之后，在进行一波回踩。当时最大的丰收季就是在大饼的etf上线交易的消息落地的后两周开启的，大饼也是从4万直接爆拉到新高73000多美元！那么如果按照现在这个走势来看，以太本月的拉升高度或许不会突破前高，即使能突破前高个人认为也是阶段性出货的机会，等带消息落地后可以在接回！那么针对当下我们需要把握的就是从第一阶段的盘整区拉升到第二阶段盘整区中间的这一段拉升行情，个人感觉以太的调整时间也差不多了，大概率会在本月的CPI数据之前就拉升上去，然后开启震荡盘整，然后再等消息落地之前，再次创出新高后再回测，也就是本周大概率会有一波不错的行情出现！行情瞬息万变，具体进出场点位根据实时行情去决定，破位顺势跟进即可！操作上轻仓进场，不要贪婪，落袋为安。注意把控风险！有想跟上操作的欢迎大家与我一起探讨交流。来源：金色财经

金色财经2024-06-04

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

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

24小时热点