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

一文读懂a16z推出的Jolt zkEVM

在AWS r7g. 16xlarge ARM机上运行的，具有64 CPU内核和512 GiB DDR5 RAM。所有基准测试都仅针对CPU。使用continuations的连续系统面临着prover时间和证明大小之间的利弊权衡——当证明被分割成更多“shard分片”（或“段”）时，prover变得更快（由于分片之间的并行化），但在递归之前具有证明体积更大。证明大小基准测试如下所示，其中SP1的结果由分片计数参数化：SP1（shard_count）。RISC Zero有一个固定大小的分片，因此它的分片计数随着程序周期计数隐式增长。RISC Zero支持递归（SP1和Jolt尚未支持），但下面的基准测试是在没有递归的情况下进行的性能检测。我们也不使用“预编译”，因此基准测试反映了核心zkVM证明系统的性能。 2、如何在Jolt上开发建设为了使Jolt尽可能易用，Jolt SDK（由a16z crypto工程合作伙伴Noah Citron构建）提供了围绕Jolt核心功能的简式wrappers。你所要做的就是：向要证明的函数添加jolt_sdk::provable属性。然后，你将能够使用build_*函数来创建一个prover和verifier。请在代码库中查看完整的Fibonacci示例（及其他）。为了更深入地了解Jolt架构，Jolt Book（WIP）是一个关于没有在Jolt文章中记录的设计选择和代码库的实时更新文档。在接下来的几周内，我们将面向有兴趣在Jolt上进行开发建设或想要了解Jolt内部机制的开发者发布更多内容。 3、接下来是什么虽然Jolt是zkVM领域的一个重要里程碑，但我们还有很长的路要走。退一步说，我们的性能基准测试表明，Jolt prover（在M3 Max上）证明了一个程序的速度与100kHz处理器一样快——是阿波罗11号载人飞行登月任务机载计算能力的两倍多。再做一个谦虚的比较，和TI-84图形计算器相比慢150倍。为了达到计算机级别的性能，我们有很多工作要做。我们将继续改进Jolt的性能和可用性，以便为开发者提供最好的开发体验。路线图上的以下主要任务让我们倍感兴奋： Binius：Ben Diamond和Jim Posen最近提出了一个多线性多项式承诺方案，该方案对像Jolt这样的系统尤其有用，因为承诺值很小。Binius与Justin Thaler的小域sumcheck算法相结合，将显著提高Jolt的prover性能（我们预计是5-10倍）。更多指令：Jolt代码库目前部署了RV32I，但Jolt结构非常灵活。我们计划添加RISC-V “M” extension提供对整数乘法和除法的支持，如Jolt一文中所述。此外，Jolt可以轻松支持64位变体RV64IM。 Continuations连续系统：目前，由于内存限制，Jolt无法证明任意长度的计算。我们将使用continuations将长计算分成更小的计算块，每个块都可以由Jolt证明。这将减少内存使用，并在证明单个计算时支持额外的并行性。证明递归：通过将Jolt与另一证明系统组合在一起，我们进一步减少了证明大小和验证时间。例如，Jolt验证器可以使用Circom语言实现，以生成可在链上有效验证的恒定大小的Groth16证明。来源：金色财经

金色财经2024-04-10

隔夜美股全复盘(4.10)| 三大股指涨跌不一，谷歌涨逾1%，创历史新高，谷歌发布基于ARM架构的数据中心处理器和新的人工智能芯片

%，谷歌收涨 1.43%，谷歌发布基于ARM架构的数据中心处理器和新的人工智能芯片。亚马逊涨 0.06%，Meta跌 1.53%，礼来跌 0.88%，诺和诺德涨 1.27%，特斯拉涨 4.9%。 BB涨7.64%，AMD涨0.52%，黑莓宣布与AMD合作，推进机器人行业的基础精确度和控制。NCLH涨0.1%，全球第三大邮轮运营商挪威邮轮为旗下三个品牌订购了8艘新船，这是该公司历史上最大的订单。SWX跌0.79%，Southwest Gas子公司Centuri IPO定价18-21美元/股，拟筹资2.42亿美元。LLY跌2.58%，礼来耗资25亿美元在德国新建工厂，以促进其减肥药物的生产。 03 每日焦点 1、欧洲可能正在为战争做准备，德国国防支出或透露信号 4.9 据外媒报道，周一有消息人士称,德国将采购两艘护卫舰和900辆装甲车价值高达70亿欧元。以约30亿欧元的价格再购买两艘海军F126护卫舰后，德国拥有的护卫舰总数达到六艘。装甲车则将购买自莱茵金属陆地系统有限公司，价值40亿欧元，从2025年开始交付。俄乌冲突加速了德国联邦国防军的现代化进程，这笔巨额采购需得到下议院批准。俄乌冲突爆发后，德国立即公布了一项1000亿欧元的特别基金以增加军费开支，而常规年度国防预算约为520亿欧元。军费开支的大幅增加使德国今年能够达到北约的目标，即每年军费支出至少占GDP的2%，这是自2006年北约名国防部长达成协议以来德国首次达标。 4.10 德国考虑以多达10亿欧元的价格额外购买35辆豹式坦克。 2、高盛今年第三次下调特斯拉目标价 4.10 高盛年内第三次下调了特斯拉的目标价。高盛美股分析师Mark Delaney周二表示，将维持对特斯拉的中性评级，并将目标股价从190美元下调至175美元。Delaney称，从中期来看，新款Model Y可能是一个积极的推动因素。未来汽车定价和毛利率仍是影响特斯拉股价的关键因素。这位分析师还表示，FSD能够带来持久盈利仍然是一个关键的问号，该公司是汽车领域AI和软件技术的领导者，软件和服务对特斯拉2030年的盈利有重要的潜在贡献。Delaney称，如果特斯拉2.5万美元的车型被延迟推出，我们认为这将对特斯拉股票产生重大负面影响。四月以来已有包括大摩和小摩在内的7家机构下调了特斯拉目标价。 3、缺乏美国政府补贴应用材料或放弃投资40亿美元在硅谷建芯片研究中心 4.9 知情人士透露，由于缺乏政府资金，AMAT可能推迟或放弃投资40亿美元在硅谷建芯片研究中心的计划。美国商务部芯片计划办公室上月底宣布，由于对补贴芯片生产的激励资金的“压倒性需求”，该办公室决定目前不推进在美国建造、更新或扩建半导体研发设施的资助机会通知（NOFO）。美国下周将宣布向三星提供60亿-70亿美元芯片补贴 4.9 据路透，两位知情人士透露，拜登政府计划下周宣布向韩国三星提供60亿-70亿美元补贴，以扩大其在德克萨斯州泰勒的芯片生产。这笔补贴将用于在泰勒建设四座工厂，其中包括三星于2021年宣布的一家170亿美元芯片制造厂、另一座工厂、一座先进封装设施和一个研发中心。补贴还将包括对另一个未披露地点的投资，三星把在美国的投资增加一倍以上达逾440亿美元是该协议的组成部分。英特尔：新款Gaudi 3产品的性能超过了H100芯片 4.9 英特尔发布Gaudi 3芯片，将在第三季度广泛上市。该公司称，新款Gaudi 3产品的性能超过了H100芯片。 4、中概股企业攒了近3万亿元，比亚迪卖一辆车净赚9000元 4.9 据晚点财经，市值排名靠前的12家中概股互联网和科技公司2023年末时的资金储备(包含货币资金、短期投资、证券投资和定期存款，不含受限制资金)合计为2.97万亿元，相比四年前(1.5万亿元)几乎翻了一番。绝大多数公司现金储备均大幅增长，增幅最大的是两家显著受益于规模效应的新能源车企。比亚迪和理想的现金储备分别较2019年末增长了8倍和28倍。比亚迪在2021年以前的单车净利为负，到了去年四季度每卖一辆车已经可以净赚9000元，而理想则是2019年末才交付第一辆车。尽管市值和利润被腾讯反超，阿里巴巴仍然是当前中国最有钱的公司，截至2023年末在手现金和权益投资达到8364亿元，是第二名的腾讯和第五名的拼多多之和。 5、“自己人”举报波音787梦想客机存安全问题 4.10 美国联邦航空管理局正在调查波音一位工程师关于787梦想飞机安全问题的举报。该举报人声称787机身的各个部分没有正确地固定在一起，随着时间的推移，这个问题可能削弱飞机的性能。此外，飞机的维修和测试也采取的是错误方式。波音回应称，有关787结构完整性的说法是不准确的。举报人Sam Salehpour的律师表示，波音在解决787的维修工作时显示出公司的质控流程存在重大失误。根据给FAA负责人的信，Salehpour提到的问题包括在工程和测试阶段走捷径。 04 今日前瞻今日重点关注的财经数据（1）20:30 美国3月未季调CPI年率（2）20:30 美国3月季调后CPI月率（3）20:30 美国3月未季调核心CPI年率（4）20:30 美国3月核心CPI月率（5）20:45 美联储理事鲍曼就巴塞尔资本要求发表讲话（6）22:00 美国2月批发销售月率（7）次日01:00 美国至4月10日10年期国债竞拍-得标利率（8）次日01:00 美国至4月10日10年期国债竞拍-投标倍数（9）次日02:00 美联储公布3月货币政策会议纪要

格隆汇2024-04-10

多伦多一栋房产化身四套房，还分别出售！100万收购如今卖440万

g City Realty房地产经纪人Armen Krikorian表示，这个位于319 Mortimer Ave.的项目显示了建筑商将独特的愿景和多伦多市需要更多住房的目标相结合。该建筑商在2020年10月以102万加元购买了这处物业，最初是一个小平房。经历了一些延误后，这套房产终于在上周上市，被列为待售。 Krikorian说道：“它迎合了每个人群和每个家庭的要求，不论是年轻夫妇，想换更小户型的人，还是希望住在靠近市中心的人，都能符合他们的要求。” 半独立屋和联排别墅都有朝向后院的阳台，室内也非常明亮，并配备了新的家电，包括燃气灶、木质饰面。每个单元都有制定的户外空间，通过篱笆分隔。虽然只有半独立屋有停车位，但该物业距离TTC和指定街边停车位都很近。多伦多Galbraith & Associates城市规划公司总裁肖恩·加尔布雷思 (Sean Galbraith)表示，这是一个非常有吸引力的新选择，较小的单元对于首次购房者特别有吸引力。（图源：https://www.wellandtribune.ca/）多伦多此前将重点放在把花园套房和后巷屋作为出租单元，而不是独立出售的房屋，而这个项目能在2023年获得市政的批准也令人印象深刻。肖恩还说到，这类型的房屋代表了城市思维的转变，可以应用到该市的其他地方。对于该栋物业的除雪、景观美化、垃圾处理以及其他维护和保险，这些都由物业管理公司负责监督，每个单元每月需支付相应费用，联排别墅394.20加元，地下室230.15加元，半独立屋633.08加元，花园套房491.44加元。（图源： https://www.wellandtribune.ca/ ）不过，经纪Krikorian表示，住宅里的居民将组成公寓董事会，可以决定摆脱物业管理公司的监督，但是因为数量是偶数，如果业主意见不一致，造成平局的现象，谁将拥有最终决定权是一个问题。据悉，该物业建商HMV Homes曾在魁北克开展过类似项目，几年后，决定将这种风格引入多伦多。这处住房在一定程度上能解决目前的住房危机，通过增加密度的方式，让更多人可以通过一个比较合理的价格买下住房（当然目前这套房的挂牌价也被一些人抨击过高），不过，不像典型的联排别墅或半独立屋，这种单元内的业主们住的更近了。对此，有的网友表示，花50万买个地下室，听楼上邻居走来走去。 “他们像赶牛一样把人们聚在一起，强迫人们过着没有隐私的生活，恶心。” 不过也有人表示支持。“请在每条街都这么做。” “庭院区域很有创意。” 这类建筑是否会流行开来，还将拭目以待，但可以肯定的是，那条街上的其他平房业主们肯定已经注意到了。文章来源： https://storeys.com/missing-middle-toronto-bungalow-fourplex/ https://www.wellandtribune.ca/business/real-estate/this-toronto-multiplex-has-four-units-including-a-garden-suite-theyre-all-for-sale-separately/article_21d61658-44de-5d9f-8031-5bc2d4c0bdf6.html?utm_medium=social&utm_source=twitter&utm_campaign=user-share https://www.realtor.ca/ 作者：丁其

加国君2024-04-10

半导体概念股多数收涨，台积电涨超1.8%，英伟达和超微电脑则跌超2%

则跌超0.1%，美光科技跌超0.2%，Arm控股跌约1.9%，英伟达跌2.04%，超微电脑SMCI跌超2.6%，英伟达两倍做多ETF跌4.18%。

金融界2024-04-10

贤能集团(01730.HK)拟成立合资企业收购物业

立合资企业旨在收购该物业，即位于50 Armenian Street,Wilmer Place Singapore 179938的物业。于公告日期，合资公司已获授可购买该物业的购买选择权，但该选择权仍未获行使。该物业目前作办公用途，底层设有商铺。据董事经作出一切合理查询后所深知、全悉及确信，该物业的卖方为独立于本公司及其关连人士、公司董事、主要股东、合资伙伴、CCK及CWH以及其各自联系人(定义见上市规则及主板规则)的第三方。签订合资协议及根据合资协议拟成立合资企业将使集团能够扩大其空间优化业务分部的共居物业供应，并进一步提升集团COLIWOO的品牌价值。

格隆汇2024-04-09

美股盘前要点 | 谷歌发布AI芯片暴雪网易或于明日官宣恢复合作

即经济增长将加快。 4. 谷歌发布基于ARM架构的数据中心处理器和新的人工智能芯片。 5. Meta Platforms计划下周发布Llama 3大模型的两个小参数版本。 6. 微软将在2025年前向日本的数据中心投资29亿美元，并在东京都设立新研究机构。 7. 消息称暴雪和网易明日官宣恢复合作，国服重启时间最快要等今年夏季。 8. 消息称美光科技计划在第二季度将DRAM和SSD价格提高25%。 9. 黑莓公司宣布与AMD就工业和医疗保健领域的机器人系统展开合作。 10. 由于缺乏政府资金支持，应用材料可能会推迟或放弃斥40亿美元建设研发设施的计划。 11. 法庭文件显示，特斯拉就2018年一名前苹果工程师致命车祸诉讼达成和解。 12. Stellantis第一季度欧洲29国销量同比增长了5.4%，市场份额达到19.2%。 13. 瑞银考虑与北京国资交换持股以获取瑞银证券全部所有权。 14. 消息称黑石集团即将与欧舒丹达成私有化协议，后者将从港交所退市。 15. 通用汽车自动驾驶子公司Cruise将在凤凰城恢复无人驾驶出租车服务的测试。 16. 汇控将其阿根廷业务出售予私人金融集团Grupo Financiero Galicia，交易代价5.5亿美元。 17. 法拉第未来已在迪拜设立中东销售实体，并计划今年交付一款限量版FF91车型。

格隆汇2024-04-09

美股盘前要点 | 谷歌发布AI芯片暴雪网易或于明日官宣恢复合作

，即经济增长将加快。4. 谷歌发布基于ARM架构的数据中心处理器和新的人工智能芯片。5. Meta Platforms计划下周发布Llama 3大模型的两个小参数版本。6. 微软将在2025年前向日本的数据中心投资29亿美元，并在东京都设立新研究机构。7. 消息称暴雪和网易明日官宣恢复合作，国服重启时间最快要等今年夏季。8. 消息称美光科技计划在第二季度将DRAM和SSD价格提高25%。9. 黑莓公司宣布与AMD就工业和医疗保健领域的机器人系统展开合作。10. 由于缺乏政府资金支持，应用材料可能会推迟或放弃斥40亿美元建设研发设施的计划。11. 法庭文件显示，特斯拉就2018年一名前苹果工程师致命车祸诉讼达成和解。12. Stellantis第一季度欧洲29国销量同比增长了5.4%，市场份额达到19.2%。13. 瑞银考虑与北京国资交换持股以获取瑞银证券全部所有权。14. 消息称黑石集团即将与欧舒丹达成私有化协议，后者将从港交所退市。15. 通用汽车自动驾驶子公司Cruise将在凤凰城恢复无人驾驶出租车服务的测试。16. 汇控将其阿根廷业务出售予私人金融集团Grupo Financiero Galicia，交易代价5.5亿美元。17. 法拉第未来已在迪拜设立中东销售实体，并计划今年交付一款限量版FF91车型。

格隆汇2024-04-09

美股异动｜Coinbase盘前跌近2% 遭股东减仓比特币跌破70000美元

/枚，日内跌2.32%。另外，公司董事Armstrong Brian于4月4日以每股平均价256.3025美元售出2.31万股普通股股份，价值约为591.42万美元。

格隆汇2024-04-09

2024牛市涨幅10倍的3个加密货币

ikings 和 Shiba Inu Army 的热情社区团结起来。与此相一致的是，Shoki 代币是一种数字货币，旨在将其前身的优势融入弹性和创新的去中心化生态系统中。 Shoki 代币开始行动，启动了第一阶段，以 Pinksale 预售拉开序幕，并公布了其实用路线图。该代币在一系列模因营销活动中首次在 Pancakeswap 上首次亮相，战略性地针对 SHIB 和 FLOKI 社区。因此，第一个实用功能上线了，同时还进行了积极的营销推动以推动采用。进入第二阶段，Shoki Token 的目标是打造加密迷因领域最强大的社区之一，力争跻身市值前 500 名。因此，针对 FLOKI 持有者的有针对性的营销工作支持了其第二个实用功能的发布。使命仍然明确：在 SHOKI 旗下进行整合并促进实用程序的采用。随着第三阶段的展开，Shoki Token 的目标是跻身市值前 200 名加密代币。在这一点上，引入了第三个实用功能，并得到了另一个自信的营销推动的支持。随着 SHOKI 代币跻身著名的 100 强加密货币代币排行榜，加强 SHOKI 生态系统并为其社区提供支持成为中心议题。 Shoki 代币的路线图概述了在社区参与和实用程序采用的推动下，朝着构建强大的去中心化生态系统的积极进展。投资者和爱好者正在密切关注该项目的进展。 3. BEBE Bebe 成为了一个迷人的人物，为加密货币领域注入了新鲜的魅力和时髦。当 Bebe 跨入 BASE 链时，它带来了优雅与智慧的独特融合，有望以其神话般的角色重新定义模因游戏。 Base 作为以太坊 L2 的宠儿，提供了一个充满活力的生态系统，提供工具和资源来打造非凡的东西。凭借其改进的可扩展性，Base 一次性为 1000 多个地址举办了空投盛会。此外，在成本方面，Base 被证明是经济的。例如，需要 1 美元才能向 1000 个地址提供代币，这一举动会让您在 Solana 上花费巨额资金，使天平达到 500 美元或更多。谈到流动性，Base 凭借 Uniswap V3 的无缝部署和 Lockers 的宝贵支持而大放异彩，被誉为功能性 MVP 并受到 Dextools 的推崇。有了 Base，您无需牺牲您的 LP 来进行地毯检查。因此，此举可以使用户免于潜在的麻烦并保留您的代币供应。此外，BEBE代币在Uniswap V3（Base）上交易。 BEBE/WETH 交易对的 24 小时交易量高达 166,203 美元，令人印象深刻。近期市场活跃度激增，预示着良好的前景，BEBE 在 Base 上的每日交易量达到 171,104 美元，较前一天大幅增长 69.90%。来源：金色财经

金色财经2024-04-09

富国银行预计美股涨势将贯穿全年，特斯拉布局无人驾驶出租车，股价涨近5% ，标普500ETF(513500)成交活跃

大单日涨幅，英伟达、Meta跌超1%，Arm涨超3%，谷歌涨超1%。锂电池、汽车制造、工业金属与采矿板块涨幅居前，美国雅保、淡水河谷涨超6%，智利矿业化工、力拓涨超4%。消息上，特斯拉CEO马斯克重磅宣布将在8月8日发布无人驾驶出租车(Robotaxi)产品，但没有提供其他细节。长期以来，推出完全自动驾驶汽车的承诺一直是特斯拉估值高企的关键。另外，马斯克否认放弃推出低成本汽车的计划。今日(2024/4/9)，国内相关ETF方面，纳指100ETF(513390)盘中跌0.47%，成交额超1200万元，年初至今涨幅近9%，最新规模超13亿元。标普500ETF(513500)盘中跌0.50%，成交额超8500万元，今年来涨幅超12%，最新规模124亿元。富国银行证券的Christopher Harvey刚刚给出了华尔街最高的2024年标普500指数目标位，他预计美股涨势将贯穿全年。富国银行证券的股票策略主管Harvey将标普500指数年底目标位从4,625点上调至5,535点，在媒体追踪的策略师中最高。 Harvey在周一的一份客户报告中表示，人工智能技术的长期增长潜力，盈利前景改善，还有投资者目光更长远、估值门槛更高，都将成为市场上涨的催化剂。牛市氛围，人工智能的长期增长前景，以及指数集中度，已经将投资者的注意力从传统的估值指标转移到了长期增长和贴现指标上。以上内容与数据，与界面有连云频道立场无关，不构成投资建议。据此操作，风险自担。

有连云2024-04-09

24小时热点