Biden has retired, who will take over?

撰文：黄宇

Source: Wall Street Journal

美国总统拜登周日宣布退出竞选，接下来民主党会由谁接棒与特朗普 PK？

副总统哈里斯（Kamala Harris）是大热人选，其次是大力推行可再生能源的加州州长加文 – 纽森，还有分别掌管两大摇摆州的格雷琴 – 惠特默和乔希 – 夏皮罗。

卡玛拉 – 哈里斯

哈里斯最大的优势是拜登已经为她背书。拜登本人 22 日在社交媒体上表示，将全力支持哈里斯成为民主党今年的候选人。

这也意味着与其他候选人相比，哈里斯更容易获得支持，因哈里斯基本上是在延续拜登的政策，原本支持拜登的竞选资金在未来支持她的概率很大。

图片来源：视觉中国

BTIG 政策研究主管 Isaac Boltansky 指出，在政策方面，拜登和哈里斯在重大问题上几乎没有分歧。哈里斯基本上是在延续拜登的政策，也许只是重心有轻微改变。例如，哈里斯是应对气候变化的坚定倡导者，她曾在在多个场合表达了对气候变化的关注和担忧，‌强调了气候变化对全球经济和社会的影响，‌并提出了一些应对策略。

她还推动为中低收入家庭提供 6000 美元的退税优惠，越来越多的民主党领袖支持她，包括克林顿夫妇。

加文 – 纽森

如果哈里斯没有获得提名，加州州长纽森（Gavin Newsom）将被视为最佳人选，一方面加州是民主党的基本盘，无论提名人是谁，民主党几乎都没有输的可能。

图片来源：视觉中国

另一方面，纽森的优势在于，他拥有开展大型竞选活动的经验，他甚至在本轮竞选中参加过一场辩论 — 去年 12 月与当时的共和党总统候选人德桑蒂斯（Ron DeSantis）的辩论。

而在政策方面，纽森也是坚决捍卫拜登的经济政策，在加州，他积极推行可再生能源政策，希望在二十年内使加州完全使用清洁能源。

更关键的是，纽森上周曾表示，如果哈里斯寻求竞选总统，他不会挑战她。

格雷琴 – 惠特默

除了纽森，密歇根州州长惠特默（Gretchen Whitmer）也是一个主要候选人，一方面是因为她在密歇根这个摇摆州深耕了五年多时间，而密歇根对大选的影响至关重要。

图片来源：视觉中国

2022 年的美国中期选举中，惠特默以 10 个百分点的优势击败了共和党挑战者，这让民主党认为，作为总统甚至副总统提名人，惠特默不仅能为密歇根州，还能为宾夕法尼亚州和威斯康星州等其他「铁锈地带」州带来支持。

在政策方面，惠特默比其他一些竞争者更为温和，她鼓励为福特汽车等大型企业提供经济发展激励措施，鼓励这些大公司在该州扩张。这让一些地方议员感到不满，他们认为这些钱应该用于公共基础设施建设。作为候选人，她赢得了被特朗普疏远的密歇根州富裕郊区的支持。

乔希 – 夏皮罗

宾夕法尼亚州州长夏皮罗（Josh Shapiro）与惠特默一样，都Xiaobai Navigation拥有掌管摇摆州的优势。夏皮罗担任宾州州长只有一年半的时间，但他在之前担任州总检察长时已在全美范围内建立了一定的知名度。

图片来源：视觉中国

作为州长，夏皮罗试图在推进新能源转型的同时，维持宾州部分依赖传统化石燃料就业的地区之间的平衡。他提出了一项针对碳排放的计划，宾州将建立自己独立的碳定价计划，其中大部分排放成本将由传统能源发电厂承担，用于降低消费者的电费。

在与特朗普的理论对决中，他的民调也比拜登好得多。BlueLabs Analytics 本月早些时候的一份民调显示，夏皮罗和惠特默等候选人在摇摆州的支持率超过拜登「大约 5 个百分点」。即使夏皮罗没有获得总统竞选提名，这一民调数据也可能使他成为潜在的副总统候选人。

但和纽森一样，夏皮罗在周日也表示支持哈里斯，他在一份声明中说，团结在副总统身后是「民主党前进的最佳道路」。

因此，从众人的表态来看，如果哈里斯继续参选，惠特默、纽森和夏皮罗很可能都会为她让路。

The article comes from the Internet:Biden has retired, who will take over?

related suggestion: Zero knowledge proofAdvanced Formal Verification of ZK: A Deep Look at Two ZK Vulnerabilities

In this article, we will focus on the vulnerability discovery perspective, analyzing the specific vulnerabilities found during the audit and verification process, as well as the lessons learned from them. Written by: CertiK In the previous article, we discussed the advanced formal verification of zero-knowledge proofs: how to verify a ZK instruction. By formally verifying each zkWasm instruction, we are able to fully verify the entire...