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

伯克希尔拥有的公用事业公司太平洋电力因俄勒冈州野火而遭受惩罚性赔偿

资了数亿美元来升级设备，扩大其气象站和天气模型。　　此外，迪克森表示，如果惩罚性赔偿超过其净值107亿美元，该公用事业公司可能面临破产。　　原告律师科迪·伯尔尼（Cody Berne）告诉陪审团，这样的损害赔偿是让公司承担责任的唯一途径。“这本来就不应该发生，”伯尔尼说。“确保这种情况不再发生的方法是用他们知道的语言与他们交谈。这是金钱的语言。”

金融界2023-06-15

英国诺丁汉突发货车冲撞路人，已造成3人死亡！英国两任首相公开互撕...

虽然期间有些意外，局部地区的雷暴等恶劣天气的原因，导致游行时间推迟半小时，但球员们和球迷们的情绪不减，疯狂庆祝，以下是现场视频：英国开始建造雷达系统，用于监测未来可能爆发的新传染病英国副首相奥利弗·道登（Oliver Dowden）6月12日宣布了政府的最新生物安全战略——英国将每年投资15亿英镑开始建造雷达系统，用于监测未来可能爆发的新传染病和生物武器风险，以预防类似危机。道登说：“新冠疫情是一个世纪以来最大的和平时期挑战，我们必须为未来这种规模的威胁做好准备…这个新战略方案将充分利用英国研究人员和科学家的聪明才智，运用我们世界一流的危机管理能力来保护英国人民。” 道登还指出，该战略方案将利用新冠大流行的教训，此外，它还建立在七国集团领导人2021年会面中所做出的“合作加速新疫苗开发”的承诺之上。伦敦西北地区高温被暴雨打破，道路积水严重 6月12日下午，伦敦西北地区的高温天气被暴雨打破，一些地区的道路积水严重，Golders Green、Ealing和Croydon的雷阵雨警报直到当晚9点才被解除。现场照片显示，有车辆在积水中艰难前行。视频：英国小伙无保护措施攀爬韩国高楼被捕英媒6月12日消息称，一位名为George King-Thompson的24岁英国小伙在当天因为攀爬韩国首尔的乐天世界大厦而被当地警方逮捕。乐天世界大厦是世界第五高楼，一共123层。George King-Thompson在被安全工作人员阻止前马上将抵达该建筑的73层，当时，他徒手扒在建筑的外层玻璃框上，裸着上身穿着短裤，完全没使用任何绳索之类的保护措施。以下是视频：四年前，他也曾因攀爬伦敦的碎片大厦而被判入狱6个月。媒体称，他只用了45分钟就爬上了碎片大厦的顶层。

英伦投资客2023-06-15

6月14日晚间要闻盘点：美国国务卿布林肯将访华，国家发改委确保迎峰度夏能源电力平稳有序供应

，下半年海风有望迎来强催化。此外，随着天气变暖，行业开始进入交付旺季。财联社记者以投资者身份咨询大金重工、三一重能等公司获悉，二季度交付好于一季度，预计下半年会明显好于上半年。（财联社）　　【证券市场消息】　　北向资金今日净卖出21.94亿元隆基绿能净卖出4.67亿元　　北向资金今日净卖出21.94亿元。隆基绿能、大华股份、中国平安分别获净卖出4.67亿元、3.97亿元、2.86亿元。贵州茅台净买入额居首，金额为7.72亿元。　　【地方热点聚焦】　　7月1日起南京调整居民用管道天然气销售价格　　南京市发改委近日发布《关于调整居民用管道天然气销售价格有关事项的通知》，自2023年7月1日起，调整居民用管道天然气销售价格。居民用气第一、二、三档销售价格分别调整为3.03元/立方米、3.64元/立方米、4.24元/立方米，分别上调0.30元/立方米、0.36元/立方米、0.42元/立方米；执行居民用管道天然气销售价格的学校等非居民用户，销售价格按第一、二档气价平均水平执行，销售价格调整为3.34元/立方米，上调0.33元/立方米。　　北京三宗地块全部触顶成交总成交价109.94亿元　　北京土地市场迎来6月的第二轮土拍。此次土拍共推出三宗住宅用地，三宗地块全部触顶成交，共计成交总价109.94亿元。此次出让的三宗地块中，两宗位于海淀，一宗位于顺义。根据中指研究院数据，三宗地块共吸引了82家（不排重）房企及联合体报名竞拍，竞争异常激烈。　　【海外财经速递】　　美国国务卿布林肯将访华　　经中美双方商定，美国国务卿安东尼·布林肯将于6月18日至19日访华。　　美国5月PPI同比上升1.1％环比下降0.3％　　美国5月PPI同比上升1.1％，创2020年12月以来新低，预估为上升1.5％，前值为上升2.3％；美国5月PPI环比下降0.3％，预估为下降0.1％，前值为上升0.2％。　　欧洲议会投票决定对生成式人工智能增加更多安全控制措施　　欧洲议会投票决定对生成式人工智能增加更多安全控制措施，OPENAI、谷歌需要对GPT-4等工具进行评估。欧盟人工智能法案的最终谈判将于今天晚些时候开始。　　【重要公司动态】　　分析师称苹果iPhone和Mac下半年或将面对需求压力服务业务增速也在放缓　　瑞银分析师David Vogt表示，今年下半年iPhone和Mac可能承受需求压力；同时，App Store、Apple Music、Apple TV及其他订阅产品等服务业务的增速也在放缓。在苹果的产品线中，iPhone是他们最大的营收来源，服务业务则是第二大营收来源。　　百度文心一格×京东618：打造电商行业首个AI线下广告，节省80％制作成本　　据“百度AI”微信公众号，今年618期间，京东联合百度文心一格，将 AIGC 应用于电商营销，进行了首次大规模线下广告尝试，打造电商行业首个 AI 线下广告。根据百度的测算，平时这样一组海报，从模特、服装、到设计、排版，单张成本可能接近一万元，而以 AI 的方式，制作周期缩短70％，制作成本可以节省80％左右。　　阿里集团公关团队将独立运作？知情人士：误传！　　据科创板日报消息，今日有消息称在阿里巴巴集团业务分拆后，集团公关部计划独立成为一家公关公司。这家公关公司将是独立的企业组织，第一大客户就是阿里巴巴。对此，知情人士表示，此事为误传。　　天孚通信：光器件产品未来能否持续取得CPO客户订单存在较大不确定性　　天孚通信发布股价异动公告，CPO是在光通信网络速率不断升级迭代背景下，未来可能的产品演进升级形态之一，但目前市场CPO相关产品总体尚处于初期阶段，相关技术方案是否成熟和未来大规模量产的进程尚存在不确定性和风险。同时，公司的光器件产品未来能否持续取得CPO客户的订单以及该部分订单对公司销售收入和利润带来的影响都存在较大不确定性。

金融界2023-06-14

中阳金融集团：欧洲天然气价格继续下跌

发的。上周，由于供应中断和欧洲部分地区天气转暖导致制冷需求增加，欧洲天然气价格出现波动。　　欧洲的价格现在远低于2022年8月创下的每兆瓦时324美元（300欧元）以上的历史新高。中阳金融集团表示，工业气体需求仍然疲软，尽管天然气价格为两年来最低。由于工业放缓和主要经济体进入衰退，欧洲5月份的天然气需求估计较上年同期下降9.7％。　　今年，价格已回落至2021年秋季开始的能源危机之前的水平，并于2022年俄罗斯入侵乌克兰后达到顶峰。然而，大约两年来的最低价格并没有刺激天然气消费，因为欧洲的工业和经济正在放缓。中阳金融集团认为，德国和欧元区现在正式陷入衰退，表明未来工业需求可能疲软。另一个看跌因素是，与五年平均水平相比，一年中这个时候的天然气储存量较高。　　根据GasInfrastructureEurope的数据，截至6月11日，整个欧盟的存储站点平均已满72％。中阳金融集团上周表示，由于需求不温不火和供应坚挺，预计第三季度欧洲和亚洲天然气价格平均比当前水平低50％。

金融界2023-06-14

局地狂飙40℃ 未来三天河南大范围高温来袭

现37-39℃（局地40℃以上）的酷热天气。

金融界2023-06-13

每日钢市：期钢上涨，钢坯涨40，钢价偏强运行

高压东移，华北、东北、黄淮等地高温睛热天气将不断发展，东北也将迎来首轮高温，整个南方地区本周将面对持续降雨，华南、云南、贵州等区域局地强降，实际需求改善存疑。因此预计14日全国热轧板卷价格或将小幅上扬运行。冷轧板卷：6月13日，全国24个主要城市1.0mm冷卷均价4474元/吨，较上个交易日上涨3元/吨。早间市场价格以稳为主，随着期货盘中偏强运行，午后部分市场价格小幅上涨。刺激市场释放部分投机需求，今日整体成交较好。心态方面，近期冷轧供应依旧高位维持，现货成交虽略有好转，但是终端接单仍不温不火，本轮价格上涨也多为原料及期货上行带动成品材跟涨，因此市场心态多谨慎，操作上以成交为主。就14日市场而言，市场价格或将震荡偏强运行。中厚板：6月13日，全国24个主要城市20mm普板均价4127元/吨，较上个交易日上涨7元/吨。期货盘面宽幅上涨，午后市场情绪转好，整体成交尚可。从供需面来看，目前库存加速去库，钢厂利润有所改善，产量难有减量，传统需求淡季难以改观。综合来看，预计14日国内中厚板价格震荡趋强运行。三、原燃料市场价格进口矿：6月13日，山东港口进口铁矿主流品种市场价格震荡上行。贸易商报价积极性一般，报价随行就市为主，并不惜售，远期市场询报积极性一般，暂无成交，贸易商投机积极性一般；买盘方面，盘面震荡，多数钢厂观望为主，个别钢厂招标询货，询盘一般。目前PB粉主流在845-850；超特粉主流在710-715；卡粉主流在945-950；PB块主流在965。焦炭：6月13日，市场暂稳运行。今日螺纹价格有小幅上涨，钢材价格近期保持较好发展，影响市场情绪整体缓和，上游原料预期同样有好转的倾向。焦企目前生产正常，微利运行，出货正产。港口贸易方面，受到盘面上涨加上现货情绪好转影响，港口成交价格稍有上涨。原料方面，炼焦煤价格较稳运行，部分煤种价格有小幅度上涨，目前供应充足，原料价格预计较稳运行。预计短时间内焦炭价格持稳运行。废钢：6月13日，市场价格主稳个调，主流钢企废钢采购价格持稳。目前，成材端需求有所下降，钢厂生产积极性降低。另外，铁矿石价格普遍下跌15-20，对废钢的冲击进一步加强。钢厂综合生产成本来看，对于采废意愿有一定的消极影响。但是值得注意的是，目前市场资源通行量普遍低下，叠加多区域高温多雨，运输进一步艰难，或一定程度上支撑废钢价格。综合来看，目前钢厂需求降低，但是市场资源供应偏紧，预计短期废钢维持震荡运行。四、钢材市场价格预测 13日央行公开市场操作利率下降10个基点，释放了加强逆周期调节和稳定市场预期的政策信号，打开了MLF、LPR降息空间。如果降息落地，将进一步降低实体经济融资成本。尽管淡季钢材现货市场成交表现不温不火，尤其房地产市场成交遇冷，但受宏观利好政策刺激，13日钢材期货市场震荡走强，部分现货市场跟随拉涨。短期来看，钢价或仍处于区间震荡运行，市场多空交织。

我的钢铁网2023-06-13

近期冷轧价格或将低位震荡【钢市面对面15期】

步走弱。国内需求的话，由于第三季度华南天气较为炎热，且为传统制造业淡季，未来价格可能会继续承压，近期将以低位震荡为主。但若宏观环境有所改善，以及有来自政策端的支撑，进入四季度并结束淡季后，行情或将好转。唐山市金六月国际贸易有限公司销售总监丁相国近期我们库存维持的不高，主要还是以低库存为主。但即使是低库存，销售节奏也是很慢。下游订单情况的话，我们主要以出口业务为主，目前截止到现在整体订单情况没有较大的变化，但本月比上月情况较好，这主要是由于国外季节性采购习惯不同，他们在五月底六月初会进行备货，此时会有大量订单释放。但在这波订单结束后会有一段真空期，目前看后续接单大概率将会减少，按以往的习惯，集中采购结束后询单也会大幅度下降。对于短期价格的看法，目前看国内宏观数据认为不太乐观，但原材料成本仍旧有支撑，短期看基本面虽弱，但伴随着成本支撑，短期看冷镀价格还是以低位震荡为主。济南钢领商贸有限公司总经理赵建国今年开始本预期消费将会有较大幅度回升，但现实并非如此。近期行情主要集中于各种数据的解读，目前市场的关注点受到各种消息影响，短期波动或将加剧。基本面来看，供需关系仍旧处于弱平衡的状态，并且去库存仍在进行，来自宏观经济的影响点仍然较多，政策端刺激的效应并不如想象中明显。总的来说，若近期基本面数据暂无明显变化，短期价格将以震荡偏强走势为主，但中长期仍旧较弱。五、下周钢市面对面直播主题建筑钢材生产企业专场 2023.6.20 下午3:00-4:00

我的钢铁网2023-06-13

刚刚，油价下调了！今晚24时国内油价开启新一轮调整，加满一箱92号汽油将少花2元

现窄幅回落走势。汽油方面，国内高温多雨天气下，居民通勤刚性需求提振市场，且当前国内汽油现货资源偏少，价格底部支撑明显，预计汽油价格或窄幅波动。　　按照当前原油价格测算，下一轮调价初始变化率负值运行，汽柴油零售限价存“二连跌”预期。

金融界2023-06-13

智能合约智能性的下一步：深入剖析ZKML赛道

据以进行预测和分类（例如，对选举结果或天气事件进行分类）。这些链下ML预言机可以通过验证推理并在链上发布证明来无需信任地解决现实世界的预测市场、保险协议合约等问题。基于ML参数的DeFi应用。DeFi的许多方面可以更加自动化。例如，借贷协议可以使用ML模型实时更新参数。目前，借贷协议主要依赖由组织运行的链下模型来确定抵押因子、贷款价值比、清算阈值等，但更好的选择可能是社区训练的开源模型，任何人都可以运行和验证。自动化交易策略。展示金融模型策略的回报特征的常见方式是MP向投资者提供各种回测数据。然而，没有办法在执行交易时验证策略师是否遵循该模型 - 投资者必须信任策略师确实遵循模型。zkML提供了一个解决方案，MP可以在部署到特定头寸时提供金融模型推理的证明。这对于DeFi管理的保险库可能尤其有用。 2、安全性智能合约的欺诈监控。与其让缓慢的人工治理或中心化参与者控制暂停合约的能力，可以使用ML模型来检测可能的恶意行为并暂停合约。 3、传统ML 分散的、无信任的Kaggle实现。可以创建一个协议或市场，允许MC或其他感兴趣的方验证模型的准确性，而无需MP披露模型权重。这对于销售模型、围绕模型准确性进行竞赛等方面非常有用。生成式AI的去中心化提示市场。生成式AI的提示创作已经发展成为一门复杂的工艺，最佳输出生成提示通常具有多个修改器。外部方可能愿意从创作者那里购买这些复杂的提示。zkML在这里可以有两种用法：1）验证提示的输出，以向潜在买家确保提示确实创建所需的图像； 2）允许提示所有者在购买后保持对提示的所有权，同时对买家保持模糊，但仍为其生成经过验证的图像。 4、身份用保护隐私的生物识别认证替代私钥。私钥管理仍然是web3用户体验中最大的障碍之一。通过面部识别或其他独特因素抽象私钥是zkML的一种可能解决方案。公平的空投和贡献者奖励。可以使用ML模型创建用户的详细人物画像，根据多个因素确定空投分配或贡献奖励。当与身份解决方案结合使用时，这可能特别有用。在这种情况下，一种可能性是让用户运行一个开源模型，评估他们在应用程序中的参与情况以及更高层次的参与，比如治理论坛的帖子，以推理他们的分配。然后提供这个证明给合约，以获得相应的代币分配。 5、Web3社交用于web3社交媒体的过滤。web3社交应用的去中心化性质将导致垃圾信息和恶意内容的增加。理想情况下，社交媒体平台可以使用一个社区共识的开源ML模型，并在选择过滤帖子时发布模型推理的证明。案例：关于Twitter算法的zkML分析。广告/推荐。作为一个社交媒体用户，我可能愿意看到个性化的广告，但希望将我的偏好和兴趣对广告商保密。我可以选择在本地运行一个关于我的兴趣的模型，将其输入到媒体应用程序中为我提供内容。在这种情况下，广告商可能愿意为最终用户支付费用，以实现这一点，然而，这些模型可能远不如目前生产中的定向广告模型复杂。 6、创作者经济/游戏游戏内经济再平衡。可以使用ML模型动态调整代币发行、供应、销毁、投票门槛等。一个可能的模型是一个激励合约，如果达到一定的再平衡门槛并验证了推理的证明，就会重新平衡游戏内经济。新类型的链上游戏。可以创建合作的人类对抗AI游戏和其他创新的链上游戏，其中无信任的AI模型充当一个不可玩的角色。NPC采取的每个动作都会与一个任何人都可以验证的证明一起发布到链上，以确定正在运行正确的模型。在Modulus Labs的Leela vs. the World中，验证者希望确保所述的1900 ELO AI选择棋步，而不是Magnus Carlson。另一个例子是AI Arena，一个类似于Super Smash Brothers的AI格斗游戏。在高风险的竞争环境中，玩家希望确保他们训练的模型没有干扰或作弊。新兴项目和基础设施 zkML生态系统可以广泛分为四个主要类别：模型到证明编译器：将现有格式（例如Pytorch、ONNX等）的模型编译成可验证的计算电路的基础设施。广义证明系统：构建用于验证任意计算轨迹的证明系统。 zkML特定的证明系统：专门构建用于验证ML模型计算轨迹的证明系统。应用程序：致力于独特zkML用例的项目。 01模型验证编译器（Model-to-Proof Compilers）在zkML生态系统中，大部分关注都集中在创建模型到证明编译器上。通常，这些编译器将使用Pytorch、Tensorflow等高级ML模型转换为zk电路。 EZKL是一个库和命令行工具，用于在zk-SNARK中进行深度学习模型的推理。使用EZKL，您可以在Pytorch或TensorFlow中定义一个计算图，并将其导出为带有JSON文件中一些示例输入的ONNX文件，然后将EZKL指向这些文件以生成zkSNARK电路。通过最新一轮的性能改进，EZKL现在可以在约6秒和1.1GB的RAM内证明一个MNIST大小的模型。迄今为止，EZKL已经得到了一些显着的早期采用，被用作各种黑客马拉松项目的基础设施。 Cathie So的circomlib-ml库包含了用于Circom的各种ML电路模板。电路包括一些最常见的ML函数。由Cathie开发的Keras2circom是一个Python工具，使用底层的circomlib-ml库将Keras模型转换为Circom电路。 LinearA开发了两个用于zkML的框架：Tachikoma和Uchikoma。Tachikoma用于将神经网络转换为仅使用整数的形式并生成计算轨迹。Uchikoma是一个工具，将TVM的中间表示转换为不支持浮点运算的编程语言。LinearA计划支持使用域算术的Circom和使用有符号和无符号整数算术的Solidity。 Daniel Kang的zkml是一个基于他在《Scaling up Trustless DNN Inference with Zero-Knowledge Proofs》论文中的工作构建的ML模型执行证明的框架。在撰写本文时，它能够在约5GB的内存和约16秒的运行时间内证明一个MNIST电路。在更广义的模型到证明编译器方面，有Nil Foundation和Risc Zero。Nil Foundation的zkLLVM是一个基于LLVM的电路编译器，能够验证用流行编程语言（如C++、Rust和JavaScript/TypeScript等）编写的计算模型。与这里提到的其他模型到证明编译器相比，它是通用的基础设施，但仍适用于复杂的计算，如zkML。当与他们的证明市场结合使用时，这可能尤为强大。 Risc Zero构建了一个通用的zkVM，针对开源的RISC-V指令集，因此支持现有成熟的语言，如C++和Rust，以及LLVM工具链。这允许在主机和客户zkVM代码之间实现无缝集成，类似于Nvidia的CUDA C++工具链，但是使用ZKP引擎代替GPU。与Nil类似，使用Risc Zero可以验证ML模型的计算轨迹。 02广义证明系统证明系统的改进是使 zkML 取得成果的主要推动力，特别是自定义门和查找表的引入。这主要是由于 ML 对非线性的依赖。简而言之，非线性是通过激活函数（例如 ReLU、sigmoid 和 tanh）引入的，这些激活函数应用于神经网络中线性变换的输出。由于数学运算门的限制，这些非线性在 zk 电路中实现起来具有挑战性。按位分解和查找表可以通过将非线性的可能结果预先计算到查找表中来帮助解决这个问题，有趣的是，这在 zk 中的计算效率更高。出于这个原因，Plonkish 证明系统往往是 zkML 最受欢迎的后端。Halo2 和 Plonky2 及其表式算术方案可以通过查找参数很好地处理神经网络非线性。此外，前者拥有充满活力的开发人员工具生态系统和灵活性，使其成为包括 EZKL 在内的许多项目的实际后端。其他证明系统也有其优势。基于R1CS的证明系统包括Groth16，因其小型证明尺寸而闻名，以及Gemini，因其处理极大电路和线性时间验证器而闻名。基于STARK的系统，例如Winterfell证明器/验证器库，尤其在通过Giza的工具将Cairo程序的追踪作为输入，并使用Winterfell生成STARK证明来验证输出的正确性时，非常有用。 03zkML特定的证明系统在设计能够处理先进的机器学习模型的复杂、电路不友好的操作的高效证明系统方面已经取得了一些进展。基于GKR证明系统的zkCNN和基于组合技术的Zator等系统往往比通用证明系统更具性能，这一点在Modulus Labs的基准测试报告中有所体现。 zkCNN是一种使用零知识证明来证明卷积神经网络正确性的方法。它使用sumcheck协议来证明快速傅里叶变换和卷积，具有线性的证明时间，比渐近计算结果更快。已经引入了几个改进和泛化的交互证明，包括验证卷积层、ReLU激活函数和最大池化。根据Modulus Labs的基准测试报告，zkCNN特别有趣的地方在于它在证明生成速度和RAM消耗方面优于其他通用证明系统。 Zator是一个旨在探索使用递归SNARK来验证深度神经网络的项目。验证更深层次模型的当前限制是将整个计算轨迹适应单个电路中。Zator提出使用递归SNARK逐层进行验证，可以逐步验证N步重复计算。他们使用Nova将N个计算实例减少为一个可以通过单个步骤进行验证的实例。采用这种方法，Zator能够对具有512层的网络进行SNARK，这与大多数当前的生产AI模型一样深。Zator的证明生成和验证时间仍然对于主流应用案例来说过长，但他们的组合技术仍然是非常有趣的。应用领域鉴于zkML处于早期阶段，其关注点主要集中在上述基础设施上。然而，目前也有一些项目致力于应用开发。 Modulus Labs是zkML领域中最多样化的项目之一，他们既开展示例应用，也从事相关研究。在应用方面，Modulus Labs通过RockyBot（一个链上交易机器人）和Leela vs. the World（一个人类与经过验证的链上Leela国际象棋引擎对战的棋盘游戏）展示了zkML的用例。该团队还进行了研究，编写了《智能的代价》，对不同模型规模下的各种证明系统的速度和效率进行了基准测试。 Worldcoin正在尝试应用zkML来创建一个保护隐私的人类身份证明协议。Worldcoin使用定制硬件处理高分辨率虹膜扫描，并将其插入到Semaphore实现中。然后可以使用该系统执行诸如成员资格证明和投票等有用操作。他们目前使用受信任的运行时环境和安全的安全区域来验证相机签名的虹膜扫描，但他们最终的目标是使用零知识证明来验证神经网络的正确推理，以提供加密级别的安全保证。 Giza是一种协议，采用完全无信任的方法在链上部署AI模型。它使用包括ONNX格式表示机器学习模型、Giza Transpiler用于将这些模型转换为Cairo程序格式、ONNX Cairo Runtime用于以可验证和确定性的方式执行模型，以及Giza Model智能合约用于在链上部署和执行模型的技术堆栈。尽管Giza也可以归类为模型到证明编译器的类别，但他们作为一个ML模型市场的定位是目前最有趣的应用之一。 Gensyn是一个分布式硬件供应网络，用于训练ML模型。具体而言，他们正在开发一个基于梯度下降的概率审计系统，并使用模型检查点来使分散式GPU网络能够为全尺度模型提供训练服务。尽管他们在这里的zkML应用非常特定于他们的用例——他们希望确保当一个节点下载和训练模型的一部分时，他们对模型更新的诚实性——但它展示了将zk和ML相结合的强大力量。 ZKaptcha 专注于 web3 中的 bot 问题，为智能合约提供验证码服务。他们目前的实施让最终用户通过完成验证码来生成人类工作的证明，验证码由他们的链上验证程序验证，并通过几行代码由智能合约访问。今天，他们主要只依赖于 zk，但他们打算在未来实现 zkML，类似于现有的 web2 验证码服务，分析鼠标移动等行为以确定用户是否是人类。鉴于 zkML 市场还很早，许多应用程序已经在黑客马拉松级别进行了试验。项目包括 AI Coliseum，一个使用 ZK 证明来验证机器学习输出的链上 AI 竞赛，Hunter z Hunter，一个使用 EZKL 库来验证带有 halo2 电路的图像分类模型输出的照片寻宝游戏，以及 zk Section 9，它将 AI 图像生成模型转换为用于铸造和验证 AI 艺术的电路。 zkML面临的挑战尽管在提高和优化方面取得了飞速的进展，但zkML领域仍然面临一些核心挑战。这些挑战涉及技术和实践等方面，包括：以最小的精度损失进行量化电路规模，特别是当网络由多个层组成时矩阵乘法的高效证明对抗攻击量化是将浮点数表示为定点数的过程，大多数机器学习模型使用浮点数表示模型参数和激活函数，在处理zk电路的域算术时，需要使用定点数。量化对机器学习模型的准确性的影响取决于所使用的精度级别。一般来说，使用较低的精度（即较少的比特数）可能会导致准确性降低，因为这可能引入舍入和近似误差。然而，有几种技术可用于最小化量化对准确性的影响，例如在量化后对模型进行微调，以及使用量化感知训练等技术。此外，zkSummit 9上的一项黑客马拉松项目Zero Gravity显示出，针对边缘设备开发的替代神经网络架构（例如无权重神经网络）可以用于避免电路中的量化问题。除了量化之外，硬件是另一个关键挑战。一旦通过电路正确地表示了机器学习模型，由于zk的简洁性，验证其推理的证明将变得廉价且快速。这里的挑战不在于验证者，而在于证明者，因为随着模型规模的增长，RAM消耗和证明生成时间会迅速增加。某些证明系统（例如使用sumcheck协议和分层算术电路的基于GKR的系统）或组合技术（例如将Plonky2与Groth16相结合，Plonky2在证明时间方面效率高但对于大型模型的高效证明大小较差，而Groth16在复杂模型的复杂度上不会导致证明大小增长）更适合处理这些问题，但在zkML项目中管理权衡是一个核心挑战。在对抗攻击方面，仍然有待努力。首先，如果一个无信任的协议或DAO选择实施一个模型，在训练阶段仍然存在对抗攻击的风险（例如训练模型以在看到特定输入时表现出特定行为，这可能被用来操纵后续的推理）。联邦学习技术和训练阶段的zkML可能是最小化这种攻击面的一种方式。另一个核心挑战是当模型保护隐私时存在模型盗窃攻击的风险。虽然可以混淆模型的权重，但在给定足够的输入输出对的情况下，从理论上讲，仍然有可能反向推导出权重。这主要是对小规模模型的风险，但仍然存在风险。智能合约的可扩展尽管在将这些模型优化为在zk的限制条件下运行时存在一些挑战，但改进工作正在以指数速度进行，一些人预计在进一步的硬件加速下，我们很快就能与更广泛的机器学习领域达到同等水平。为了强调这些改进的速度，zkML从0xPARC在2021年展示了如何在可验证电路中执行小规模MNIST图像分类模型的演示，到Daniel Kang在不到一年后为ImageNet规模的模型做同样的工作的论文。在2022年4月，这个ImageNet规模的模型的准确性从79%提高到92%，并且像GPT-2这样的大型模型在近期内有望成为可能，尽管目前的证明时间较长。我们认为zkML是一个丰富而不断发展的生态系统，旨在扩展区块链和智能合约的能力，使其更加灵活、适应性强和智能化。尽管zkML仍处于早期开发阶段，但它已经开始显示出有希望的结果。随着技术的发展和成熟，我们可以期待在链上看到更多创新的zkML用例。来源：金色财经

金色财经2023-06-13

突然下跌！油价今晚或下调 95#汽油有望进入“7元时代”

现窄幅回落走势。汽油方面，国内高温多雨天气下，居民通勤刚性需求提振市场，且当前国内汽油现货资源偏少，价格底部支撑明显，预计汽油价格或窄幅波动。

金融界2023-06-13

24小时热点