在刚过去的黑山以太坊 EDCON 大会上，ZK 成了最炽热的论题。从 19 号到 23 号整整 5 天的时间里，无论是个人讲演仍是圆桌 Pannel，嘉宾们的论题大都环绕 ZK Rollup、zkEVM 和 ZKML 等词汇打开。在「以太坊核心圈」眼中，ZK 现已成为媲美 2019 年 DeFi 创新的、能够撬动下一轮职业爆发的究极新叙事。
长期以来，技能完成都是 ZK 面对的主要难题，这也使得它在大多数人印象中，一直都是「未来的处理方案」。然而本年，Arbitrum 生态还没热透，作为技能替代者的 ZK Rollup 们就现已上来敲门了。本年最显着的一个感受，便是林林总总的「ZK 项目」突然变多了。开发者开端 FOMO ZK 技能，ZK 转账、ZK 身份还有 ZK 桌游，只要能和隐私沾边的，项目名称里必定会有「ZK」二字。这般繁荣景象，当然得益于 Starknet、zkSync 等 ZK Rollup，以及 Scroll、Polygon 等 zkEVM 项目的集中发力。而在这些国家栋梁的背后，是一位叫做 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 对 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，这是一个不需求思考的挑选。它具有最安全、最具有未来保障的根底技能，依赖于通过战役测试的数学和加密技能。值得一提的是它是后量子安全的，这是其它体系都无法到达的。它有最快和最高效的证明，由于这些，它到达了一切证明技能中最高的水平。
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 倍的各种独特技能。
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：没错，这是更好更深化的技能了解的结果。咱们现已在这个范畴耕耘了很长时间，在出产环境中布置过内容，并磨练了体系。咱们知道咱们在做什么。但咱们不太会讲故事，很少炒作。咱们就像特斯拉，特斯拉没有营销部门，咱们的产品便是咱们的营销。
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，现在是时分了。
此时快讯
【多数DeFi代币在过去一周中上涨】金色财经报道，据CoinDesk市场指数，在比特币和以太币大多停滞不前的一周内，去中心化金融 (DeFi) 中一些鲜为人知的名字公布了两位数的收益。本周的 DeFi 和整体领导者是 Injective Protocol (INJ)，这是第 1 层区块链，旨在构建去中心化金融应用程序，包括交易所和借贷协议。INJ 也是今年迄今为止的领先者，自 1 月以来增长了 527%。DeFi 协议 Lido (LDO)、Synapse (SYN) 和 PancakeSwap (CAKE) 也表现强劲，分别上涨 15%、13% 和 12%。
