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

Vitalik：将ZK-EVM封装到以太坊主网会是什么样

e_state_root之上执行区块(i)是有效的，并且 (ii) 输出正确的post_state_root。客户可能会选择等待 M-of-N 种多种类型的证明。这里的一个哲学注释是区块执行本身可以被简单地视为三元组，它需要与ZKEVMClaimTransaction对象中提供的三元组一起检查。因此，用户的 ZK-EVM 实现可以取代他们的执行客户端；执行客户端仍将由（i）证明者和区块构建者以及（ii）关心索引和存储数据以供本地使用的节点使用。验证和再证明假设有两个以太坊客户端，其中一个使用PSE ZK-EVM，另一个使用 Polygon ZK-EVM。假设此时，两种实现都已发展到可以在 5 秒内证明以太坊区块执行的程度，并且对于每个证明系统，存在足够多的独立志愿者运行硬件来生成证明。不幸的是，由于个人证明系统没有被纳入其中，因此它们无法在协议中得到激励；然而，我们预计运行证明者的成本与研发成本相比较低，因此我们可以简单地使用通用机构的公共物品资金来资助证明者。假设有人发布了ZKEvmClaimNetworkTransaction，但他们只发布了PSE ZK-EVM版本的证明。Polygon ZK-EVM 的证明者节点看到这一点，并使用Polygon ZK-EVM 计算并重新发布该对象的证明。这增加了最早接受区块的诚实节点和最新接受同一区块的诚实节点之间的总最大延迟，从 δ增加到 2δ+Tprove（假设Tprove<5s）。然而，好消息是，如果我们采用单slot最终确定性，我们几乎肯定可以将这种额外的延迟与 SSF 固有的多轮共识延迟一起“管道化”。例如，在这个 4 sub-slot提案中，“head vote”步骤可能只需要检查基本区块有效性，但“冻结并确认”步骤将需要存在证明。扩展：支持“almost-EVM” ZK-EVM 功能的一个理想目标是支持“almost-EVM”：内置一些额外功能的 EVM。这可能包括新的预编译、新的操作码、在 EVM 或 EVM 中编写合约的选项。完全不同的VM（例如Arbitrum Stylus），甚至具有同步交叉通信的多个并行EVM。可以通过简单的方式支持一些修改：我们可以定义一种语言，允许ZKEVMClaimTransaction传递修改后的 EVM 规则的完整描述。可以这样做：自定义天Gas成本表（不允许用户降低Gas成本，但可以增加Gas成本）禁用某些操作码设置区块号（根据硬分叉，这意味着不同的规则）设置一个标志来激活一整套 EVM 更改（这些更改已针对 L2 使用进行标准化，但不适用于 L1 使用）或其他更简单的更改为了允许用户通过引入新的预编译（或操作码）以更加开放的方式添加新功能，我们可以添加预编译输入/输出记录作为 blob 的一部分包含在ZKEVMClaimNetworkTransaction： EVM 执行将修改如下。数组inputs将被初始化为空。used_precompile_addresses第 i 次调用in 中的地址时，我们将一个对象附加到输入InputsRecord(callee_address, gas, input_calldata)，并将调用的RETURNDATA设置为outputs[i]。最后，我们检查used_precompile_addresses是否总共被调用了len(outputs)次，并且inputs_commitments是否与inputs SSZ序列化生成的blob 承诺结果相匹配。暴露inputs_commitments的目的是为了方便外部SNARK证明输入和输出之间的关系。请注意输入（存储在哈希中）和输出（存储在必须可用的字节中）之间的不对称性。这是因为执行需要由仅看到输入并理解 EVM 的客户端来执行。EVM 执行已经为它们生成了输入，因此它们只需要检查生成的输入是否与声明的输入匹配，这只需要哈希检查。然而，输出必须完整地提供给他们，因此数据必须可用。另一个有用的功能可能是允许从任意发件人帐户进行呼叫的“特权交易”(privileged transactions)。这些交易可以在两个其他交易之间运行，也可以在调用预编译时的另一个（也可能是特权）交易期间运行。这可用于允许非 EVM 机制自call back EVM。除了新的或修改的预编译之外，还可以修改此设计以支持新的或修改的操作码。即使只有预编译，这个设计也相当强大。例如：通过设置used_precompile_addresses来包含在状态的帐户对象中设置了一些标志的常规帐户地址列表，并制作 SNARK 来证明其构造正确，你可以支持Arbitrum Stylus风格的功能，其中合约可以拥有其代码用 EVM 或 WASM（或其他 VM）编写。特权交易可用于允许 WASM 账户回调 EVM。通过添加外部检查来确保多个 EVM 执行的输入/输出记录和特权交易以正确的方式匹配，你可以证明多个 EVM 的并行系统通过同步通道相互通信。类型4 ZK-EVM可以通过多种实现来运行：一种将 Solidity 或另一种高级语言直接转换为 SNARK 友好的 VM，另一种将其编译为 EVM 代码并在所包含的 ZK-EVM 中执行。第二种（不可避免地较慢）实现只能在错误证明者发送断言存在错误的交易的情况下运行，如果他们可以提供两者不同对待的交易，则收集赏金。纯异步虚拟机可以通过使所有调用返回零并将调用映射到添加到区块末尾的特权交易来实现。扩展：支持有状态证明者上述设计的一个挑战是它是完全无状态的，这使得它的数据效率低下。通过理想的数据压缩，有状态压缩的ERC20 发送空间效率比无状态压缩高出 3 倍。除此之外，有状态 EVM 不需要提供见证数据。在这两种情况下，原理是相同的：当我们已经知道数据可用时，要求数据可用是一种浪费，因为它是由 EVM 的先前执行输入或生成的。如果我们想让 ZK-EVM 功能成为有状态的，那么我们有两个选择： 1、要求σpre要么为空，要么是预先声明的键和值的数据可用列表，要么是一些以前执行的σpost。 2、将 Blob 承诺添加到R收据，它由区块（σpre，σpost，R）元组生成。任何先前生成或使用的 blob 承诺，包括代表区块、见证人、收据甚至常规 EIP-4844 blob 交易的承诺，可能有一定的时间限制，都可以在ZKEVMClaimTransaction中引用并在其执行期间访问（可能通过一系列指令：“在区块+见证数据位置j上的承诺i插入N...N+k-1字节”） (1) 基本上是说：我们不会奉行无状态 EVM 验证，而是奉行EVM 子链。(2) 本质上是创建一个最小的内置状态压缩算法，该算法使用先前使用或生成的 blob 作为字典。两者都给证明节点带来了负担，并且只有证明节点需要存储更多信息；在情况（2）中，比情况（1）更容易使该负担有时间限制。对封闭式多证明者和链下数据的争论封闭的多证明者系统在 M-of-N 结构中存在固定数量的证明系统，可以避免上述的相当多的复杂性。特别是，封闭的多证明者系统不需要担心确保数据在链上。此外，封闭的多证明者系统将允许 ZK-EVM 证明链下执行；这使其与EVM Plasma 解决方案兼容。然而，封闭的多证明者系统增加了治理复杂性并消除了可审计性，与好处相比，这些都是高昂的成本。如果我们将ZK-EVM封装入主网协议功能，那么“2 层项目”的持续作用是什么？目前 2 层团队自己实现的 EVM 验证功能将由协议处理，但 2 层项目仍将负责许多重要功能：快速预确认：单slot最终确定性可能会使 1 层slot变慢，而 2 层项目已经在向用户提供“预确认”，由 2 层自身的安全性支持，延迟远低于 1 个slot。该服务将继续纯粹是 2 层的职责。 MEV缓解策略：这可能包括加密内存池、基于信誉的排序器选择以及 1 层不愿意实现的其他功能。 EVM 的扩展：2 层项目可以包含对 EVM 的大量扩展，为用户提供重要价值。这包括“almost-EVM”和完全不同的方法，例如Arbitrum Stylus的 WASM 支持和 SNARK 友好的Cairo语言。面向用户和开发人员的便利：2 层团队做了很多工作，吸引用户和项目加入其生态系统，并让他们感到受欢迎；他们通过获取网络内的MEV 和拥堵费来获得补偿。这种关系将会继续下去。来源：金色财经

金色财经2023-12-14

IMF总裁：大量采用加密资产将破坏宏观金融稳定

IMF总裁格奥尔基耶娃周四敦促世界各国制定明确的规则和坚实的基础设施，以避免加密资产的风险，并警告称加密货币最终可能破坏宏观金融稳定。她在首尔举行的一次数字货币国际会议上说：“挑战在于，大量采用加密资产可能会破坏宏观金融稳定。如果税收变得不稳定或更难执行，加密货币可能会破坏财政可持续性，这是我们都想避免的未来。”她说，尽管存在这些担忧，但数字货币已经变得普遍，需要合法、一致的规则，比如反洗钱和税收的法律基础，以及信誉和良好的基础设施。

金融界2023-12-14

小鹏汽车：即日起开启无图智驾第二批27座城市公测

测。即日起，该公司向小鹏G9、小鹏P7i的申请用户，开启Xmart OS 4.5.0的版本公测，小鹏G6也将于12月18日开启公测。本次27座开通城市分别为：天津市、成都市、西安市、武汉市、长沙市、厦门市、福州市、泉州市、晋江市、石狮市、南京市、镇江市、泰州市、扬州市、淮安市、盐城市、南通市、宜兴市、海宁市、义乌市、台州市、舟山市、惠州市、珠海市、中山市、清远市、江门市。

金融界2023-12-14

韩国11月ICT出口增长7.6%，结束连续16个月下跌

%。从出口目的地看，对中国大陆和香港的ICT出口同比增长15.5%，至81亿美元，为18个月来首次增长。

金融界2023-12-14

华锋股份9.97%涨停，总市值27.79亿元

高低压化成箔，销售额5亿元以上，已通过ISO9001:2015质量管理体系和ISO14001:2015环境管理体系认证，2019年也正式通过IATF16949:2016汽车质量管理体系认证。截至9月30日，华锋股份股东户数2.52万，人均流通股5913股。 2023年1月-9月，华锋股份实现营业收入5.21亿元，同比增长7.77%；归属净利润-5124.17万元，同比减少270.40%。

金融界2023-12-14

美股收盘：道指涨超500点创历史新高科技股多走高苹果市值突破3.08万亿美元

所控股，嘉楠科技，昱辉阳光涨超8%，小i机器人，雾芯科技，高途，万国数据涨超7%，兰亭集势，小牛电动涨超6%，达达集团，知乎涨超5%，乐居，世纪互联，简普科技涨超4%，怪兽充电，趣店涨超3%，优信，叮咚买菜，宜人金科，汽车之家，寺库，好未来，云集，蔚来涨超2%，亿航，唯品会，乐信，比特矿业，猎豹移动，迅雷，搜狐，老虎证券，360数科，宝尊电商涨超1%，品钛，小赢科技，金山云，信也科技，斗鱼，腾讯音乐，京东，网易，团车，阿里巴巴小幅上涨。波奇宠物跌超57%，海银财富跌超41%，宏力型钢跌超27%，优品车跌超22%，极光跌超17%，康乃德生物医药跌超14%，九紫新能，祁连国际，达内科技跌超10%，旭明光电，一起教育，房多多等跌超9%，蘑菇街跌超5%，36氪跌超3%，中通，逸仙电商，新东方跌超2%，云米科技，挚文集团，凤凰新媒体，欢聚集团，携程，百世集团，贝壳跌超1%，小鹏汽车，网易有道，百度，哔哩哔哩，拼多多，满帮，理想汽车小幅下跌。美联储再次维持利率不变点阵图预示明年或将降息三次美联储连续第三次会议维持利率不变，并通过点阵图发出了迄今为止最强烈的加息周期结束信号。美联储官员一致赞成维持联邦基金利率目标区间在5.25%至5.5%不变。点阵图显示，决策者自2021年3月以来首次预测不会再进一步加息。美联储官员预计明年将降息75个基点，步伐比9月的预测要快。虽然对年底联邦基金利率的预测中值为4.6%，但官员们各自给出的预期差异很大。八位官员认为明年降息幅度不到75基点，五位预计幅度会超过75基点。此外，会议声明措辞的调整也凸显出基调的转变，官员们指出他们将监控一系列经济数据和事态发展，以确定是否需要对货币政策做“任何”进一步的收紧。联邦公开市场委员会（FOMC） 11月的声明中没有出现“任何”这个词。美国联邦公开市场委员会12月13日会议声明全文最近的指标显示经济活动增长从第三季度的强劲步伐放缓。就业增长自今年早些时候以来已缓和但依旧强劲，而失业率也保持在低位。通胀过去一年放缓但仍然高企。美国的银行体系稳固且具有韧性。居民和企业的金融和信用环境收紧可能令经济活动、招聘和通胀承压。这些效应的程度依然无法确定。委员会依然高度关注通胀风险。委员会力求实现充分就业和通胀率在较长期内达到2%。为支持这些目标，委员会决定将联邦基金利率的目标区间维持在5.25%至5.5%。委员会将继续评估更多信息及其对货币政策的影响。在确定任何额外的政策紧缩到何种程度合适、假以时日能让通胀率回到2%时，委员会将考虑货币政策的累计紧缩、货币政策在影响经济活动和通胀上的滞后性，以及经济和金融状况的发展。此外，如之前公布的计划所述，委员会将继续减持美国国债、机构债券和机构抵押贷款支持证券。委员会坚定致力于让通胀回归其2%的目标。一文看全鲍威尔12月新闻发布会全要点 FOMC不希望排除继续加息的可能性。增加“任何”这个词，以体现出美联储承认利率处于、或接近峰值。我们清楚地知道，我们可能（在加息问题上/“更长时期内维持更高利率”问题上）持续太久。我们非常侧重于不至于发生这样的失误。希望在实现2%通胀目标之前，显著地降低（政策利率的）限制性。在今天的FOMC政策会议上，美联储讨论了降息的时间点问题。对放宽货币政策的讨论才刚刚开始而已。我们没有讨论（利率预期点阵图中）谁的预期是正确的。美联储官员预计2025年将降息四次美联储点阵图显示，预计明年将降息3次，每次25个基点，预计2025年将再降息4次。美联储会后的一份声明称，经济活动从第三季度开始放缓，就业增长放缓。随着通胀降温，官员们更加相信，他们将不再需要提高利率来缓解消费者价格的压力。美联储官员预计，到今年年底，通货率将放缓至2.8%，到2024年底将降至2.4%。美国证券交易委员会将要求对冲基金集中清算更多的美国国债交易美国证券交易委员会（SEC）将向对冲基金和经纪商下达新规，要求其对更多美国国债交易采用中央清算，对这个26万亿美元的市场进行重大结构性改革。 SEC定于周三对新规进行投票表决，新规要求所有涉及回购协议的交易都要通过清算机构。清算机构在买卖双方之间充当后盾。根据SEC，对冲基金的现货国债交易不必中央清算。这可算是对冲基金局部获胜。不过新规可能会加强对所谓基差交易等高杠杆策略的监管。新规是SEC主席Gary Gensler的一大标志性政策。他曾主张，中央清算降低风险，私募基金的交易太不透明。他还表示过，只有一小部分美国国债交易通过清算机构进行，尽管清算机构在其他资产中已是标配。前欧洲央行行长特里谢：美联储首次降息可能在欧洲央行之后前欧洲央行行长特里谢表示，美国顽固的基本通胀和更强劲的经济增长可能意味着，美国或许会在欧元区之后降息。特里谢对美联储官员是否确信消费者价格已经完全得到控制表示怀疑。 “在美国，出于很多原因，比如核心通胀水平现在要高得多，” 特里谢说。“认为率先降息的可能是欧洲而不是美国的想法并不荒谬。” 在多家央行本周将发布一系列政策声明之前，投资者纷纷押注政策放松前景。美联储会议之后紧接着是英国央行和欧洲央行政策决定，它们都面临着转向降息的压力。

金融界2023-12-14

中国概念股收盘：新氧涨超17%、途牛涨超9%，优品车跌超22%、极光跌17%

所控股，嘉楠科技，昱辉阳光涨超8%，小i机器人，雾芯科技，高途，万国数据涨超7%，兰亭集势，小牛电动涨超6%，达达集团，知乎涨超5%，乐居，世纪互联，简普科技涨超4%，怪兽充电，趣店涨超3%，优信，叮咚买菜，宜人金科，汽车之家，寺库，好未来，云集，蔚来涨超2%，亿航，唯品会，乐信，比特矿业，猎豹移动，迅雷，搜狐，老虎证券，360数科，宝尊电商涨超1%，品钛，小赢科技，金山云，信也科技，斗鱼，腾讯音乐，京东，网易，团车，阿里巴巴小幅上涨。波奇宠物跌超57%，海银财富跌超41%，宏力型钢跌超27%，优品车跌超22%，极光跌超17%，康乃德生物医药跌超14%，九紫新能，祁连国际，达内科技跌超10%，旭明光电，一起教育，房多多等跌超9%，蘑菇街跌超5%，36氪跌超3%，中通，逸仙电商，新东方跌超2%，云米科技，挚文集团，凤凰新媒体，欢聚集团，携程，百世集团，贝壳跌超1%，小鹏汽车，网易有道，百度，哔哩哔哩，拼多多，满帮，理想汽车小幅下跌。

金融界2023-12-14

小i机器人上涨7.08%，报2.57美元/股

12月14日，小i机器人(AIXI)盘中上涨7.08%，截至04:38，报2.57美元/股，成交19.46万美元。财务数据显示，截至2023年06月30日，小i机器人收入总额2647.54万美元，同比增长105.88%；归母净利润-1859.57万美元，同比减少3234.96%。

金融界2023-12-14

尚乘IDEA集团下跌2.81%，报1.73美元/股

12月14日，尚乘IDEA集团(AMTD)盘中下跌2.81%，截至02:27，报1.73美元/股，成交2.85万美元。财务数据显示，截至2022年12月31日，尚乘IDEA集团收入总额13.72亿港元，同比减少1.86%；归母净利润12.33亿港元，同比增长0.88%。

金融界2023-12-14

加拿大人拥有“豪车梦”，但“钱包”阻碍了这一梦想的实现

决策。 AutoTrader首席营销官Ian MacDonald在发布新闻中表示：“今年，我们看到汽车购买者满怀热情地寻找汽车，但最终选择更实际的购买，这可能表明加拿大人保持乐观的前景，但在动荡的一年中优先考虑可靠性和实用性。” 根据汽车市场的数据，福特F-150在热门搜索和销量最高的车辆排行榜上名列前茅。其他销售的热门车辆包括道奇Ram 1500、雪佛兰索罗德1500、GMC Sierra 1500、福特 Escape、本田CR-V和丰田RAV4。在消费者关注的更豪华、更运动的座驾中，保时捷 911、宝马3系、梅赛德斯-奔驰C级和E级以及福特野马上榜。详细分析安大略省的数据后发现，尽管福特F-150将本田思域 (Honda Civic) 挤下榜首，但消费者绝大多数还是选择了轿车出行。

Dan19772023-12-13

24小时热点