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

英特尔将通过出售部分Mobileye筹集15亿美元

造商英特尔（INTC.US）将出售其在以色列自动驾驶技术制造商Mobileye Global的部分股份，为新计划筹集约14.8亿美元。　　新计划旨在通过建设新工厂和迅速改进制造技术来重新夺回公司在半导体行业的领先地位。出售后，英特尔将保留其在2018年以153亿美元收购的Mobileye约88％的股份。

金融界2023-06-07

股价应声下跌！英特尔计划出售所持Mobileye股份，募集14.8亿美元推动改革

，Mobileye司将发行3500万股以色列自动驾驶技术制造商的股票，并可选择再出售525万股。自去年10月首次公开发行(ipo)以来，Mobileye的股价已上涨逾一倍。高盛集团(Goldman Sachs Group Inc.)和摩根士丹利(Morgan Stanley)将承销此次发行。英特尔首席执行官Pat Gelsinger此前推出了一项雄心勃勃的计划，通过新建工厂和迅速改进制造技术，重新夺回英特尔在半导体行业的领先地位。Gelsinger之所以这么做，是因为英特尔的产品个人电脑处理器所在的主要市场出现了下滑。英特尔公司正在失去市场份额，影响了公司的销售和利润情况。受到个人电脑销售额大幅下滑的影响，5月英特尔公司创史上最大财季亏损。英特尔的销售额降至2010年以来最低的水平。英特尔公布2023年第一财季收入为117亿美元，高于接受FactSet调查的分析师的预期，但同比下降了36%。英特尔第一财季亏损27.6亿美元，连续第二个财季亏损，并刷新了2017年第四财季亏损6.87亿美元的纪录。交易完成后，英特尔将保留其在2018年以153亿美元收购的Mobileye约88%的股份。消息传出后，周二盘前交易中Mobileye股价下跌约6%。周一Mobileye股票收跌2.7%，至42.37美元，今年以来累计上涨21%。英特尔股价在纽约市场下跌4.6%，至29.86美元，与今年以来13%的涨幅持平。

迪星妮2023-06-06

晚间公告全知道：冠石科技主营业务与苹果公司VisionPro产品无关，隆基绿能拟投资125亿元布局硅棒、电池产能

户A签订三份《设备采购合同》，分别为“以色列/Tel Aviv PurpleLine”项目、“法国/Montpellier Tram Car”项目、“瑞典/SJ AB EMU”项目，合同金额合计1601.7万欧元。

金融界2023-06-06

朗进科技最新公告：签订三份《设备采购合同》

户A签订三份《设备采购合同》，分别为“以色列/Tel Aviv PurpleLine”项目、“法国/Montpellier Tram Car”项目、“瑞典/SJ AB EMU”项目，合同金额合计1601.7万欧元。截至2023年6月6日收盘，朗进科技(300594)报收于25.13元，下跌1.02%，换手率3.76%，成交量3.4万手，成交额8710.42万元。6月6日的资金流向数据方面，主力资金净流入1007.26万元，占总成交额11.56%，游资资金净流入320.1万元，占总成交额3.67%，散户资金净流出1327.36万元，占总成交额15.24%。根据近五年财报数据，证券之星估值分析工具显示，朗进科技（300594）行业内竞争力的护城河一般，盈利能力较差，营收成长性较差。财务可能有隐忧，须重点关注的财务指标包括：应收账款/利润率、应收账款/利润率近3年增幅、经营现金流/利润率。该股好公司指标0.5星，好价格指标2星，综合指标1星。（指标仅供参考，指标范围：0 ~ 5星，最高5星）该股最近90天内共有1家机构给出评级，买入评级1家。朗进科技（300594）主营业务：轨道交通车辆空调及其控制系统研发、生产、销售及售后维保服务。公司董事长为李敬茂。公司总经理为李敬恩。以上内容由证券之星根据公开信息整理，由算法生成，与本站立场无关。证券之星力求但不保证该信息（包括但不限于文字、视频、音频、数据及图表）全部或者部分内容的的准确性、完整性、有效性、及时性等，如存在问题请联系我们。本文为数据整理，不对您构成任何投资建议，投资有风险，请谨慎决策。

证券之星2023-06-06

朗进科技：于2023年1月至6月与欧洲客户A签订三份《设备采购合同》

户A签订三份《设备采购合同》，分别为“以色列/TelAvivPurpleLine”项目、“法国/MontpellierTramCar”项目、“瑞典/SJABEMU”项目，合同金额合计1601.7万欧元。

金融界2023-06-06

掀起新狂潮：Layer2 闪耀明星Starknet深度报告

kWare 成立于 2018 年，位于以色列，主要产品包括基于以太坊主网构建的扩容引擎 StarkEx 和通用型 ZK-Rollup StarkNet。StarWare 技术团队在 ZKP 领域拥有超过十年的研究和工程经验，2018 年首次提出使用 STARK有效性证明解决以太坊可扩展性问题，实现大规模可扩展性。 StarkEx：专为应用程序设计的二层可扩展性引擎，为每个应用提供专门的 Rollup 技术服务。自 2020 年起已正式上线以太坊主网，相对成熟。目前基于 StarkEx 开发的项目包括 Sorare、ImmutableX、dYdX、ApeX 等知名项目。 StarkNet：通用型 Rollup，可以部署任意智能合约，无需为特定应用进行定制开发。StarkNet 于 2021 年 11 月上线以太坊主网，目前有 50+ 项目上线主网，100+ 项目上线测试网。 StarkWare 在 7 轮融资中累计已获得 2.73 亿美元融资，2018 年 1 月完成 600 万美元种子轮融资，同年 7 月获得以太坊基金会的 1200 万美元赠款；2021 年 3 月份完成 Paradigm 领投的 7500 万 B 轮融资，同年 11 月份完成 5000 万美元 C 轮融资，投资方包括 Paradigm、Alameda Research、Three Arrows Capital 等；2022 年 5 月 25 日，StarkWare 以 80 亿美元估值完成 1 亿美元 D 轮融资，Greenoaks Capital、Coatue、Tiger Global 和其他参与者领投。 2 技术架构与亮点与其他基于有效性证明的 zk-rollup 方案类似，StarkNet 和 StarkEx 采用「链下计算-生成 zk 证明-链上验证」的形式来实现对以太坊的扩容。然而，通过独创的 zk-STARK 零知识证明算法、zk 友好的编程语言 Cairo、SHARP 共享验证器，它们实现了高交易处理速度和低成本等特性。 2.1 独创的 zk-STARK 零知识证明算法 zk-STARK 是 StarkWare 创始人 Eli Ben Sasson 在 2018 年的一篇论文中提出的，全称为 Zero-Knowledge Scalable Transparent Argument of Knowledge，具有可扩展和透明等优良特性。透明性：ZK-STARK 可以在没有公共参考字符串（CRS：Common Reference String）的可信设置的情况下工作。相反，使用可公开验证的随机性来建立证明者和验证者之间的交互，减少了用户的信任假设并提高了基于 STARK 的协议的安全性。可扩展性：STARK 具有验证的对数压缩特性，可以实现更快的验证速度。当证明一个命题所需的时间为 T 时，验证证明所需的时间仅为 log(T)。这种特性使得 STARK 可以通过递归来实现低成本和降低大型组合命题延迟等特性，从而实现可扩展性。 2.2 Cairo 编程语言 Cairo 为 StarkWare 团队于 2020 年发布的图灵完备编程语言，让不了解 STARK 的开发者也能够 Cairo 来使用 STARK 实现可验证计算。在现存的多数证明系统中，对于每一个业务逻辑，即每一次计算，都需要生成一组代表特定计算的多项式约束，其困难在于如何将多样化的智能合约的执行结果统一成可以验证的多项式方程。通过 Cairo 编写的程序，可以将计算结果通过 STARK 证明器直接转化成可证明的多项式方程，由此让智能合约与零知识证明实现良好的兼容性。Cairo 是为 STARK 而生的编程语言，两者相结合可以最大程度释放 STARK 的潜力，但其与 EVM 生态的割裂一直是需要被解决的问题。EVM 兼容是各种 zk 扩容方案争抢的高地，StarkWare 团队也在为此努力。 2022 年 10 月末，StarkNet 便宣称使用 Cairo 开发出 ZK-EVM，同时以太坊客户端 Nethermind 正致力于开发 Solidity 到 Cairo 的编译器 Warp，以实现 StarkWare 对 EVM 的兼容性。团队宣称目前 Wrap 已经支持将 Uniswap V3 重写为 Cairo 代码。随着 StarkNet 真正投入生产环境，不同方案兼容性的实际效果将会得到检验。 2.3 SHARP 共享证明器 SHARP 即共享证明器 (SHARed Prover)，是 StarkEx 和 StarNet 生成零知识证明的 Prover。SHARP 可同时为 StarkEx 和 StarNet 生成有效性证明，因此可以聚合不同的 StarkEx 应用以及 StarkNet 上发生的交易，并在一个单一的 STARK 证明中证明，以此实现更快填满 STARK 证明的容量，从而提高交易处理速度和降低延迟。递归证明是下一代前沿技术，不仅适用于一些硬编码逻辑，而且适用于通用计算。SHARP 与 STARK 结合后，能够让整个 StarkWare 生态内的交易良好实现递归的性质，带来极致的可拓展性。据 StarkNet 官方数据显示，StarkNet 生态中已有超过 100 个项目部署并投入运行。其中，53 个项目已成功上线主网，覆盖了钱包、跨链桥、DeFi、NFT等多元化领域。以下将对各主要领域的优秀项目予以重点介绍。 3.1 钱包 3.1.1 Argent X Argent X 是由 Argent 推出的 StarkNet 钱包，也是第一个支持 StarkNet 的钱包，其利用 StarkNet 原生的账户抽象特性来实现多重签名和无助记词特性，同时借助 StarkNet 优秀的性能实现更低的交易费用和更快的确认时间进行交易。 Argent 于 2022 年 4 月获得 4000 万美金的 B 轮融资，由 Fabric Ventures 和 Metaplanet 领投。 3.1.2 Bravvos Bravvos 同样是一个运行在 StarkNet 上自托管账户抽象钱包。Bravvos 致力于提供提供无缝的 Web2.0 用户体验，可在 iOS、安卓以及多种浏览器上使用，同时消除了助记词，让用户能够恢复账户。 Bravvos 于 2022 年 10 月宣布完成 1000 万美金融资，由 Pantera Capital 领投。 3.2 跨链桥 3.2.1 StarkGate StarkGate 是由 StarkWare 开发的以太坊 Starknet 官方跨链桥，帮助用户在以太坊和 StarkNet 间实现 ETH 和 ERC-20 代币的跨链交易。 StarkGate 与以太坊之间的桥接器通过 StarkNet 的消息传递机制进行通信，并基于 STARK 的计算压缩能力实现低成本交互。 3.2.2 Orbiter Finance Orbiter Finance 是一个去中心化的跨 Rollup 桥，能够让用户在 ETH 主网、StarkNet、 zkSync、Loopring、Arbitrum、Optimism、Polygon、ZKSpace、Immutable X、dYdX、Metis、BNB Chain 和 Boba 之间进行资产跨链。 Orbiter 桥通过独特的做市商模式，让用户获得了手续费低、速度快等优秀体验，但其目前仅支持 ETH、USDC、USDT、DAI 四个币种的转账。 Orbiter 于 2022 年 11 月完成首轮融资，Tiger Global、Matrixport、A&T Capital、StarkWare、Cobo、imToken、Mask Network、Zonff Partners 等参投，融资金额未披露。此外，Vitalik 还曾向其捐赠 16 ETH。随着 Layer2 生态的迅速发展，市场对于各个项目的关注度也在逐渐提高。为了在竞争激烈的环境中脱颖而出，各大项目需要加快技术迭代和生态建设，提升用户体验和扩大生态影响力。在现有的 Layer2 解决方案中，Optimism 和 Arbitrum 已经通过空投的方式吸引了大量用户。而对于尚未进行空投的 zkSync 和 StarkNet，如何在有限的时间内抢占市场份额成为了迫在眉睫的问题。在这种背景下，九牛商学院认为，未来一段时间内，这两个项目将在技术创新、生态拓展以及社区建设等方面加大投入，未来代币及潜在空投将在 Web3 领域引领一场崭新的财富狂潮。在这个过程中，九牛商学院认为i会出现更多有趣和具有创新性的应用，为用户带来全新的体验。而对于投资者来说，关注这些项目的发展动态和市场表现，将有助于在 Layer2 领域抓住更多的投资机会。总之，Layer2 生态将在未来持续发展壮大，各大项目间的竞争将更加激烈。这将使得整个区块链行业不断迭代和进步，为用户和投资者带来更多的价值和机遇。来源：金色财经

金色财经2023-06-05

可扩展性与生态应用：Ardor公链AMA回顾

的发展潜力。在游戏行业，我们正在与一些以色列专家合作开发桥牌冠军游戏的在线版本。我们相信合约桥牌可以像在线游戏中的扑克和国际象棋一样具有影响力。 Ardor最新的路线图是如何的？我们正在完成Ardor 3.0，其中包括几个可扩展性优势，但在网络获得更多交易压力之前我们不会发布它，这使我们能够尝试新的优化和功能，任何人都可以在我们的测试网中享受Ardor 3.0。来源：金色财经

金色财经2023-06-05

比亚迪成为以色列今年前五个月最畅销电动汽车品牌

　　据以色列汽车进口商协会日前发布的数据，中国车企比亚迪成为今年1月至5月以色列最畅销电动汽车品牌。数据显示，今年前五个月，比亚迪在以色列共销售8497辆电动汽车，主要车型为跨界SUV Atto3。比亚迪成为这一期间以色列最畅销电动汽车品牌，同时名列以色列第五大汽车畅销品牌。

金融界2023-06-04

晶方科技：5月31日召开业绩说明会，投资者参与

何举措？从公司历史的产业创投基金来看，以色列背景的海外基金和国家大基金之间在公司所起的作用有何不同？公司是否欢迎中小投资者、专业研究机构来贵行实地调研与高管互动，如近期有调研需求的话，采取何种方式与董秘或证代预约。答：2020年至2022年疫情的三年，公司业绩整体上了一个新的台阶。2022年下半年由于受到手机等消费类电子不景气的影响，有所下滑。公司一贯欢迎中小投资者、专业研究机构等广大投资者来公司调研指导、交流互动，公司邮箱info@wlcsp.com。问：您好，请您能否介绍下去年整体业绩的情况？请未来的业绩会大幅增长吗？公司的股价走势如何？答：公司的整体业绩请参见公司披露的年度报告、季度报告。问：贵司的经营性现金流怎么样，存货周转周期是多少答：公司的经营性现金流、存货等情况请参见公司披露的财务报告。问：王总好，贵公司封装产量有多大？订单量饱满吗？答：2022年下半年由于受到手机等消费类电子不景气的影响，公司的订单与产量有所下滑。目前公司整体产能利用率在逐步升。晶方科技（603005）主营业务：集成电路的封装测试业务,主要为影像传感芯片、环境光感应芯片、微机电系统(MEMS)、发光电子器件(LED)等提供晶圆级芯片尺寸封装(WLCSP)及测试服务。晶方科技2023一季报显示，公司主营收入2.23亿元，同比下降26.85%；归母净利润2856.66万元，同比下降68.92%；扣非净利润2042.57万元，同比下降75.84%；负债率14.77%，投资收益-8.92万元，财务费用-166.15万元，毛利率36.22%。该股最近90天内共有6家机构给出评级，买入评级5家，增持评级1家；过去90天内机构目标均价为26.51。以下是详细的盈利预测信息：融资融券数据显示该股近3个月融资净流入2209.44万，融资余额增加；融券净流入3575.52万，融券余额增加。根据近五年财报数据，证券之星估值分析工具显示，晶方科技（603005）行业内竞争力的护城河良好，盈利能力一般，营收成长性较差。财务健康。该股好公司指标3星，好价格指标2.5星，综合指标2.5星。（指标仅供参考，指标范围：0 ~ 5星，最高5星）以上内容由证券之星根据公开信息整理，由算法生成，与本站立场无关。证券之星力求但不保证该信息（包括但不限于文字、视频、音频、数据及图表）全部或者部分内容的的准确性、完整性、有效性、及时性等，如存在问题请联系我们。本文为数据整理，不对您构成任何投资建议，投资有风险，请谨慎决策。

证券之星2023-06-03

专访 Starknet 创始人：仰望星空脚踏实地

叫做 Eli Ben-Ssason 的以色列大汉。 Eli（@EliBenSasson）是最早一批将 ZK 技术与加密技术进行结合的科研者，他是 Zcash 和 StarkWare 的创始人，也是 zk-STARK 的创作者。而后边这项技术标准，正是当今 Starknet，乃至整个加密 ZK 赛道的重要技术基石。BlockBeats 在黑山 EDCON 期间见到了这位传奇人物，在近一个小时的对话中，Eli 展现出了强烈的技术自信，他向 BlockBeats 透露了自己对 STARKs、SNARKs 和 Rollup 赛道的看法，以及对 Starknet 生态的期许。关于乐观欺诈证明、zk-STARK 和 SNARK 很多人认识 Eli，都是通过 StarkWare 联合创始人这一身份，很少有人知道，他同时也是 zk-STARK 这项项关键技术标准的创作者。早在以太坊之前，Eli 就开始结合 ZK 技术来解决区块链的扩容问题，并与彼时还是 Bitcoin Magazine 作者的 Vitalik 在这一方面有过深入交流，而 StarkWare 也是 Vitalik 为数不多参与投资的项目。 Eli Ben-Sasson 在 StarkWare Sessions 2023 大会上做演讲，图源来自 StarkWare 作为一个技术驱动型创业者，Eli 对 ZK 技术及其背后的数学原理有着绝对的自信。那么他是如何看待「ZK 劲敌」Optimistic Rollup？对 zk-STARK 和 zk-SNARK 的未来又有什么看法？ BlockBeats：您好 Eli，首先请简单向读者们介绍一下您为什么会进入加密货币领域，以及为什么创立 Zcash 和 StarkWare？ Eli：我曾是一位计算机科学教授，做的是理论计算机科学研究。在中国大陆的人们可能听说过清华大学的姚期智，他是理论计算机科学的重要推动者，图灵奖得主，安全多方计算的发明者。我比他晚很多年才进入这个研究领域。 2008 年我开始做零知识证明（以下简称 ZKP）相关的一些研究。2013 年的 5 月，也就是十年前，我参加了在圣何塞举行的比特币大会，我意识到区块链领域就是我所做的理论研究、数学等最好的应用场景。我很确信我是第一个认识到通用计算的证明和区块链可以非常好地结合在一起的人。十年前以太坊还没有出现，当我第一次遇到 Vitalik 时，他还不是以太坊的创始人，是 Bitcoin Magazine 的一位内容作者。我们讨论了很多关于证明、有效性证明和零知识证明的问题。我早期的一篇合著论文就叫《Zerocash: Decentralized Anonymous Payments from Bitcoin》，讲的是如何使用零知识证明来保护比特币上的支付。这就是后来的 Zcash 项目，我们一直在发展这项技术。2018 年前后，我们提出了更好的技术改进，并将其称之为 STARK，它有助于扩大以太坊或者通用区块链的规模。2018 年我们联合创立了 StarkWare，创始人包括我、Uri Kolodny、Alessandro Chiesa 和 Michael Riabzev。如今人们已经普遍认为我们的有效性证明是扩展以太坊的最佳方式。 BlockBeats：你提到很早就与 Vitalik 有接触，我记得他很早就开始投资并支持 StarkWare。 Eli：是的，Vitalik 是 StarkWare 的早期投资者之一。这是他迄今为止为数不多的投资之一，我们为此感到非常自豪。我记得 Vitalik 成为核心投资者是在 2018 年秋天左右。我和他参加了一次会议，貌似是清华大学组织的，但肯定是在深圳。我记得我们在一个非常漂亮的水鲜市场里走着，一起讨论这些事情，比如 StarkWare、他的投资以及一大堆事情。所以这个决定的细节是在中国达成的。 BlockBeats：在以太坊之前就开始考虑使用 ZK 证明作为扩容解决方案，您是如何看到区块链一定会有扩容性问题的？ Eli：我相信中文社区的读者们一定对支付宝和微信支付很熟悉，他们的交易速度可能已经达到了每秒一百万笔。现在，区块链需要做 NFT、游戏、投票、选举和治理，要让所有这些发生，目前的技术就不够好，在比特币和以太坊上，大概每秒有 10 到 20 笔交易。这就需要其它技术，需要一些不降低区块链安全性，但又能扩大区块链范围或触及面的技术，这就是 Starknet 所做的。 BlockBeats：Arbitrum 创始人 Ed Felten 教授也在 2014 年左右开始解决扩容性问题，但他很果断地选择了交互式欺诈证明，也就是后来被普遍认为是更加可行的乐观欺诈证明。为什么您从开始就决定使用 ZK 作为解决方案？ Eli：这是一种更好的技术，而且它确实有效。其实在以太坊核心团队中，人人都知道 Optimistic Rollups 并没有开启他们的核心技术。Arbitrum 和 Optimistic 上都没有欺诈证明。他们之所以没有启动，是因为它根本就不起作用。相反，我们从来没有在无 STARK 有效性证明的情况下提交过状态更新。即使我们的系统性能达到以太坊的 10 倍，我们也只使用了不到 1% 的以太坊资源。Optimistic Rollups 是个好主意，但是它不起作用，而正因为它不起作用，所以没有开启。一个应该起但却没有起作用，甚至没有被开启的东西，和另一个确实起作用且可以证明的技术之间，是有很大区别的。 BlockBeats：但虽然 Vitalik 投资了 StarkWare，但他随后又支持了 Optimism。加密领域似乎有一个越来越强的共识，那就是扩容性问题应该首先从 Optimistic 开始，然后再转向 ZK，因为 ZKP 或 ZK Rollup 在技术上实现起来比 Optimistic 困难很多。您怎么看这件事？ Eli：我喜欢 Optimism 团队，他们是社区的杰出成员，但是技术并不行。就好比说，为什么我们不能把羽毛附在人们身上，然后让他们扇动翅膀来建造飞机呢？这的确更有意义，这就是为什么莱昂纳多·达芬奇画了身上有翅膀的人。但是它在数学和经济学上不起作用。我很喜欢和欣赏他们的聪明才智和真正伟大的社区成员，但也不能改变那是一项不能很好运作下去的技术的事实。 BlockBeats：但作为普通用户，Optimism 和 Arbitrum 就目前来说的确是切实可用的解决方案。 Eli：当然，但是需要意识到的是，你的资产安全是在信任单个运营商，然后它工作得非常有效。这里有另一种可能，效果很好。你可以将你的资产桥接到你非常信任的任何计算机。它可以是一个中心化的交易所或者任何类似的事物，然后你会得到惊人的 TPS 吞吐量，但你是在将自己所有的资金托付给由那个人控制的那台计算机。如果它出现故障、掉线，或者作恶，那么你的所有资金都会消失。 Arbitrum、Optimism 与 Binance 有相同的安全假设，Binance 对用户来说是一个很好的产品，可能甚至比 Arbitrum 更好，但对用户来说很重要的是他们不应该被愚弄，认为自己在转移资产时有更高的安全级别。如果有人说我不会使用 Binance，因为 Binance 是由一套中心化流程控制的，我要去中心化，我要把资产放到 Arbitrum 或 Optimism 上，但其实这是同一件事。 BlockBeats：所以用户在使用 Optimism 或 Arbitrum 时，其实相当于在使用一个中心化的交易平台？ Eli：它们正在使用的是一个中心化的系统，甚至更糟糕的是，它基于一个代码库，这个代码库并不是从一开始就设计为由单个运营商操作。所以我认为它给你提供的法律保护还不如 Binance 多。 BlockBeats：说回 ZKP，您在被广泛认可的 zk-SNARK 外又创立了 zk-STARK，为什么要要为 ZK 技术设定两个不同的技术标准？以及为什么 StarkWare 最后选择了 zk-STARK？ Eli：SNARKs 技术，Groth-16 类型的预处理 SNARKs，它使用的是椭圆曲线，可以早一些准备好投入生产，但我认为在效率和安全性方面，它是一个较次的技术。这就好比有一个技术，它不是那么好，但是它先出现，就像蒸汽机没有汽油发动机好，但是它先出现，我觉得有点类似这个情况。至于为什么选择 zk-STARK，这是一个不需要思考的选择。它具有最安全、最具有未来保障的基础技术，依赖于经过战斗测试的数学和加密技术。值得一提的是它是后量子安全的，这是其它系统都无法达到的。它有最快和最高效的证明，由于这些，它达到了所有证明技术中最高的水平。 zk-STARK 与 zk-SNARK 技术细节对比图，图源来自 Horizon Acadamy BlockBeats：当前很多 ZK Rollup 和 zkEVM 项目都采用了 zk-SNARK，您对 zk-SNARK 的未来有什么看法？ Eli：我认为它会被逐渐淘汰。可能会留下来用于个人的屏蔽交易，在某些情况下用户可能不在乎证明时间的低效率。而且确实有非常短的证明，大约 200 字节左右。所以他们可能在隐私领域有一定的用途，用于个人屏蔽交易，但一旦达到更大的吞吐量，就只能这样了。所有在 Polygon 系统中的项目都在使用我们发明的 STARKs，从 Hermez、Miden 到 Polygon Zero 等等。有的项目目前暂时使用 SNARKs，但最终都要转向 STARKs。所以，现在最大数量的区块链有效性证明项目都在使用 STARKs。关于 Starknet、Cairo 和 zkEVM 很多人难以理解的是，作为一个以太坊的 L2，Starknet 本身是不兼容以太坊 EVM 的，开发者需要使用 Cairo 这套全新的语言进行合约开发。这似乎让 Starknet 失去了许多 EVM 兼容 L1 和以太坊等效 L2 的优势，即最大程度降低开发成本，以在短时间内迅速启动生态。但在 Eli 看来，在 Cairo 带来的巨大潜力面前，这些问题变得不再重要。更关键的是，Starknet 生态对此已经有了自己的解决方案。 BlockBeats：为什么 StarkWare 会创立 StarkEx 和 Starknet 两个不同的项目？为什么不能将两者结合起来？ Eli：StarkEx 和 Starknet 服务于两个不同的目的。当你谈到一种非常明确性质的高吞吐量交易，比如铸造和交易 NFT 时，那么你可以从一个专门为此构建的系统中获得更好的性能和吞吐量，这就是 StarkEx。我们从一个非常特定的用例开始，对整个技术进行了实战测试，我们对此非常自豪。而 Starknet 则首先经过了更复杂的构建，因此理所当然的是它会更晚出现，而且它服务于不同的目的，允许你进行通用计算，就像以太坊一样，但这种通用计算意味着，与专门用于一个用例的特定性能相比，它的性能不会那么好。所以，这是一种通用性与效率的权衡。 BlockBeats：所以对 StarkWare 团队来说，在特定应用场景中实现高交易 TPS 是非常重要的？ Eli：是的，对我们来说，达到这个目标非常重要。很多团队「在 Twitter 上跑自己的项目」，他们发布一些好看的数字，然后期待着人们会被愚弄，认为这是一个有效的系统。但我们为自己运行多年的高 TPS 系统感到自豪。这一切都是为了提高吞吐量和降低交易成本。我想说的是，到现在为止，我们的系统已经处理了近 1 万亿美元的交易，超过 4.5 亿笔交易，发行了超过 1 亿个 NFT。没有其他任何一个 L2 可以做到这些。我们每日 TPS 比以太坊高 50%，每周 TPS 比以太坊高 30%，持续一整周。没有其他的系统能够达到这个水平，而我们却从未使用超过以太坊 Gas 的 1%，即使我们的 TPS 增加了 30%。 BlockBeats：StarkEx 是一个非常具体的用例，作为技术驱动型项目，StarkWare 似乎从一开始就对自己的商业模式有非常明确的定位。 Eli：我常喜欢说「仰望星空，脚踏实地」。我们非常了解数学、工程和技术，容易被下一个很酷的科学项目所吸引，并且喜欢展示一些时髦的新事物，这对我来说是非常诱人的。但我们把不能满足用户即时需要的酷炫内容放到一边，相反我们非常专注、非常努力地提供用户和客户真正需要的东西。作为一名科学家，整个团队都知道我因为不能做椭圆曲线快速傅里叶变换（ECFFT）之类的东西而感到非常遗憾，以及很多我们明知可以将性能提高 10 倍甚至 100 倍的各种奇特技术。 StarkWare 团队成员，图源来自 StarkWare BlockBeats：接下来我想聊一聊 Cairo 语言。作为一个以太坊 L2，Starknet 并不兼容以太坊 EVM，开发者必须使用 Cairo 语言来构建应用。这似乎让 Starknet 失去了许多「EVM 兼容生态」的优势。为什么选择构建自己的语言？ Eli：是的，关于 Cairo 我想说几件事。首先，它是一个先进的、下一代的智能合约编程语言。它从一开始就支持一些新功能，例如智能钱包，或者说账户抽象，这些是内置在 Cairo 语言中的。这是一个受到 Rust 启发的编程语言，许多尝试 Solidity 并使用它的开发人员，特别是那些知道 Rust 的人，他们会说他们更喜欢用 Cairo 编程而不是 Solidity。所以它本身就是一个非常非常好的编程语言。我想说的第二件事是，使用一个专用的语言来创建 STARK 证明或者一般的有效性证明的原因，跟你想要用 Solidity 编写智能合约的原因很相似。你需要用 Solidity，并不是因为它比 Python、Rust 或 C++有更好的开发者体验。相反，它的开发者体验更差，但是当你转移到有区块链基础设施的新框架时，你就必须使用不同的编程语言，Solidity 很好，因为它可以有效地编译到以太坊虚拟机。我再给一个例子。如果你想利用 GPU 写出真正好的图形，你应该用 CUDA 写，因为这是一种可以最大程度地利用 GPU 性能的语言。对 STARK 证明也是一样的。有一个不同的虚拟机，就有一套关于什么使得某件事有效或无效的不同约束条件。如果你想达到 STARK 证明所能达到的性能，比如在以太坊的一个区块中放入一百万个 NFT，你就必须更有效地使用编程语言。我们可以在 Immutable X 上的一个证明中铸造一千万个 NFT，我无法想象任何基于 EVM 或任何 zkEVM 能够接近我们能放入区块链单个证明中的内容。我可以挑战全世界的 zkEVM，他们不会做到的。这就是为什么你需要一个不同的计算模型和一个不同的编程语言。 BlockBeats：但许多曾在 Polkadot 等采用 Rust 语言的生态项目普遍会向我反馈运营成本的问题，因为聘请或者培训一个懂得用 Rust 语言开发合约的工程师代价非常高昂。另一方面，如果团队在以太坊或者在兼容 EVM 的 L1 上开发项目，那就非常便宜。您怎么看待这个情况？这对 Starknet 生态来说是一个问题吗？ Eli：这可能是个问题，但开发者正在涌向 Cairo 和 STARK。开发者和团队的数量每天都在增加，我认为他们看到了潜力。很多人理解了规模化的问题，并问自己最好最具有前瞻性的解决方法是什么，是什么真正开放了全球需求的扩展性，我认为他们中的很多人得出了正确的结论，那就是走 Starknet 和 Cairo 1.0 的道路。这里有个类比，通常你会用 Python 写你的软件的第一个版本，但是当你想要实现规模化时，你就需要用 C++、WASM、Rust 等其他一些非常高效的语言来写。我认为在 Cairo 上也会发生完全相同的事情，你可能会拿 Solidity 代码部署到 Kakarot，但这就像用 Python 写一个高频交易引擎一样，是不应该的。你需要用另一种语言写，那种其他的语言就将会是 Cairo。 BlockBeats：现在也有一些项目基于 Starknet 开发 zkEVM。 Eli：是的，有非常好的项目正在构建 StarNet 上的 ZK-EVMs。第一个叫做 Warp，由 NetherMine 团队制作，这个团队非常优秀。第二个叫做 Kakarot，这是一个正在形成的社区。 Kakarot 就是一个 ZK-EVM，它是建立在 Cairo 之上的。所以我非常确定大多数的 ZK-EVM 将部署在 Starknet 上。如果你已经有了把你的 Solidity 代码或 EVM 代码移植到 L2 上，一个有效性 Rollup 的想法，你最好的方式是在 Kakarot 或 Warp 之上做。所以这再次展示了 Cairo 和 Starknet 的力量。 ZK Rollup 的赛道竞争和 Starknet 的生态开发 BlockBeats 在采访中还提及了 ZK Rollup 之间的竞争，以及 Starknet 自身生态发展的问题。作为整个加密行业中技术含量和要求最高的领域，普通用户似乎很难分别 zkSync 和 Starknet 之间的优劣。对大多数人来说，实际情况是谁更会「来事儿」就看好谁。从这个层面来看，StarkWare 以技术创新为核心驱动的理念似乎给 Starknet 出了难题。Eli 本人是如何看待 ZK Rollup 之间的竞争？他对 Starknet 生态的发展又有哪些期许？ BlockBeats：在当前的 ZK Rollup 赛道，Starknet 和 zkSync 是绝对龙头，二者之间似乎也存在着很强的竞争关系。在您看来，Starknet 和 zkSync 之间的区别是什么，Starknet 的优势在哪里？ Eli：你必须问自己，最好的技术步骤在哪里？哪个地方最可能汇集最多的开发者，并提供最好、最安全的技术？我们在 zkSync 之前就展示了我们的能力，他们很会讲故事，但他们讲的故事和开发者的体验之间有很大的不匹配。我有一个建议，我鼓励正在阅读这篇文章的开发者试一试在 zkSync 上开发或部署一些东西，并试一试在 Starknet 上开发和部署一些东西，你会感到有一个鲜明的差别。我来告诉你一个故事，有人之前在 Reddit 上问谁做一个能进行 30 万次交易的东西，我们在主网上做到了，TPS 大约在 3000 左右。一两周后，zkSync 团队出来说，我们有 3000TPS，但是这 3000TPS 从未被测量、证明或展示过，不过它是一个很好的故事。在这个行业里有许多人乐意讲故事，也有人展示事实，我们以展示事实的能力自豪。 BlockBeats：也有用户反馈，目前在 ZK Rollup 上转移资产或者交互的 Gas 很高，这是为什么？ Eli：目前由于需求量很大，Starknet 出现了拥堵现象。两周内我们将发布 12 版本，这将极大地提高 TPS，解决大部分的需求。然后在下一个版本中，当我们完全集成 Volition 以进行链下数据处理时，价格将大幅度降低，这可能会在一两个月后发生。 BlockBeats：提到生态开发者，确实有人反应在生态发展方面 Starknet 比 zkSync 更加平衡。 Eli：没错，这是更好更深入的技术理解的结果。我们已经在这个领域耕耘了很长时间，在生产环境中部署过内容，并磨练了系统。我们知道我们在做什么。但我们不太会讲故事，很少炒作。我们就像特斯拉，特斯拉没有营销部门，我们的产品就是我们的营销。 StarkWare Sessions 2023 大会现场，图源来自 StarkWare BlockBeats: 但在 Web3 领域，懂得营销的团队似乎更吃香。许多技术驱动型项目在生态发展中都多少出现了问题不是吗？ Eli：不，我认为这不是接下来会发生的事情。我之所以这样认为，是因为以太坊就是这样发展过来的。有一天，会有一个非常成功的 App 明了 Starknet 的能力。那个 App 是什么，我现在不知道。如果要我猜，我认为它不是目前已经存在于 L1，且可以轻松复制粘贴到 L2 上的产品。所以我认为它会使每个人都会看到并谈论它，因为这全新的、在 L1 甚至是其他 L2 上都无法实现的应用。这将会成为转折点，开发者会蜂拥而至。正因如此，我们把大部分注意力放在这里，我们这次来 EDCON，就是为了接触到更多开发者，邀请他们加入我们的生态。因为他们当中，将会有人创造出我无法预测的美妙之物。 BlockBeats：对准备在 Starknet 生态进行开发的开发者，您对他们有什么方向上的建议吗？Starknet 能为他们提供什么？ Eli：我无法为他们回答这个问题，即使我给出了答案，他们也不应该听我的，他们应该自己决定他们自己。我认为有些东西是惊人的，在 Starknet 上建立数据库基础设施，像高级 Oracle 服务、Proof of Humanity、社交网络等，有很多真正令人惊奇的事情可以做，他们应该研究一下，找出他们认为缺失的东西，或者他们认为最有趣的东西是什么。 Starknet 是区块链演变的下一步，这是一个非常重要的步骤。如果你是一个开发者，Starknet 将会准备好供用户使用，我们正在为最终的用户构建它。我认为我们有一个非常清晰的前进道路，更多的开发者还有很多工具要建立，还有很多事情要做。有很多的机会让你脱颖而出，并通过努力工作为自己赢得名声。 BlockBeats：在最后，您还有什么想和读者说的话？ Eli：如果有一台时间机器，你可能会希望回到以太坊的早期，构建几乎你想建的任何东西都会非常成功，比如第一个预测市场、第一个钱包等。但游戏并未结束，还有下一代机会，而这一代的赢家我认为将是 Starknet。所以现在除了拥有一台时间机器，大家还可以去了解一下 Starknet，现在是时候了。来源：金色财经

金色财经2023-06-02

24小时热点