在刚过去的黑山以太坊EDCON大会上，ZK成了最火热的话题。从19号到23号整整5天的时间里，无论是个人演讲还是圆桌Pannel，嘉宾们的话题大都围绕ZKRollup、zkEVM和ZKML等词汇展开。在「以太坊核心圈」眼中，ZK已经成为媲美2019年DeFi创新的、能够撬动下一轮行业爆发的究极新叙事。长期以来，技术实现都是ZK面临的主要难题，这也使得它在大多数人印象中，一直都是「未来的解决方案」。然而今年，Arbitrum生态还没热透，作为技术替代者的ZKRollup们就已经上来敲门了。今年最明显的一个感受，就是各式各样的「ZK项目」突然变多了。开发者开始FOMOZK技术，ZK转账、ZK身份还有ZK桌游，只要能和隐私沾边的，项目名称里一定会有「ZK」二字。这般繁荣景象，当然得益于Starknet、zkSync等ZKRollup，以及Scroll、Polygon等zkEVM项目的集中发力。而在这些中流砥柱的背后，是一位叫做EliBen-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技术来解决区块链的扩容问题，并与彼时还是BitcoinMagazine作者的Vitalik在这一方面有过深入交流，而StarkWare也是Vitalik为数不多参与投资的项目。作为一个技术驱动型创业者，Eli对ZK技术及其背后的数学原理有着绝对的自信。那么他是如何看待「ZK劲敌」OptimisticRollup？对zk-STARK和zk-SNARK的未来又有什么看法？BlockBeats：您好Eli，首先请简单向读者们介绍一下您为什么会进入加密货币领域，以及为什么创立Zcash和StarkWare？Eli：我曾是一位计算机科学教授，做的是理论计算机科学研究。在中国大陆的人们可能听说过清华大学的姚期智，他是理论计算机科学的重要推动者，图灵奖得主，安全多方计算的发明者。我比他晚很多年才进入这个研究领域。2008年我开始做零知识证明（以下简称ZKP）相关的一些研究。2013年的5月，也就是十年前，我参加了在圣何塞举行的比特币大会，我意识到区块链领域就是我所做的理论研究、数学等最好的应用场景。我很确信我是第一个认识到通用计算的证明和区块链可以非常好地结合在一起的人。十年前以太坊还没有出现，当我第一次遇到Vitalik时，他还不是以太坊的创始人，是BitcoinMagazine的一位内容作者。我们讨论了很多关于证明、有效性证明和零知识证明的问题。我早期的一篇合著论文就叫《Zerocash:DecentralizedAnonymousPaymentsfromBitcoin》，讲的是如何使用零知识证明来保护比特币上的支付。这就是后来的Zcash项目，我们一直在发展这项技术。2018年前后，我们提出了更好的技术改进，并将其称之为STARK，它有助于扩大以太坊或者通用区块链的规模。2018年我们联合创立了StarkWare，创始人包括我、UriKolodny、AlessandroChiesa和MichaelRiabzev。如今人们已经普遍认为我们的有效性证明是扩展以太坊的最佳方式。BlockBeats：你提到很早就与Vitalik有接触，我记得他很早就开始投资并支持StarkWare。Eli：是的，Vitalik是StarkWare的早期投资者之一。这是他迄今为止为数不多的投资之一，我们为此感到非常自豪。我记得Vitalik成为核心投资者是在2018年秋天左右。我和他参加了一次会议，貌似是清华大学组织的，但肯定是在深圳。我记得我们在一个非常漂亮的水鲜市场里走着，一起讨论这些事情，比如StarkWare、他的投资以及一大堆事情。所以这个决定的细节是在中国达成的。BlockBeats：在以太坊之前就开始考虑使用ZK证明作为扩容解决方案，您是如何看到区块链一定会有扩容性问题的？
Eli：我相信中文社区的读者们一定对支付宝和微信支付很熟悉，他们的交易速度可能已经达到了每秒一百万笔。现在，区块链需要做NFT、游戏、投票、选举和治理，要让所有这些发生，目前的技术就不够好，在比特币和以太坊上，大概每秒有10到20笔交易。这就需要其它技术，需要一些不降低区块链安全性，但又能扩大区块链范围或触及面的技术，这就是Starknet所做的。BlockBeats：Arbitrum创始人EdFelten教授也在2014年左右开始解决扩容性问题，但他很果断地选择了交互式欺诈证明，也就是后来被普遍认为是更加可行的乐观欺诈证明。为什么您从开始就决定使用ZK作为解决方案？Eli：这是一种更好的技术，而且它确实有效。其实在以太坊核心团队中，人人都知道OptimisticRollups并没有开启他们的核心技术。Arbitrum和Optimistic上都没有欺诈证明。他们之所以没有启动，是因为它根本就不起作用。相反，我们从来没有在无STARK有效性证明的情况下提交过状态更新。即使我们的系统性能达到以太坊的10倍，我们也只使用了不到1%的以太坊资源。OptimisticRollups是个好主意，但是它不起作用，而正因为它不起作用，所以没有开启。一个应该起但却没有起作用，甚至没有被开启的东西，和另一个确实起作用且可以证明的技术之间，是有很大区别的。BlockBeats：但虽然Vitalik投资了StarkWare，但他随后又支持了Optimism。加密领域似乎有一个越来越强的共识，那就是扩容性问题应该首先从Optimistic开始，然后再转向ZK，因为ZKP或ZKRollup在技术上实现起来比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：当前很多ZKRollup和zkEVM项目都采用了zk-SNARK，您对zk-SNARK的未来有什么看法？Eli：我认为它会被逐渐淘汰。可能会留下来用于个人的屏蔽交易，在某些情况下用户可能不在乎证明时间的低效率。而且确实有非常短的证明，大约200字节左右。所以他们可能在隐私领域有一定的用途，用于个人屏蔽交易，但一旦达到更大的吞吐量，就只能这样了。所有在Polygon系统中的项目都在使用我们发明的STARKs，从Hermez、Miden到PolygonZero等等。有的项目目前暂时使用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，你就必须更有效地使用编程语言。我们可以在ImmutableX上的一个证明中铸造一千万个NFT，我无法想象任何基于EVM或任何zkEVM能够接近我们能放入区块链单个证明中的内容。我可以挑战全世界的zkEVM，他们不会做到的。这就是为什么你需要一个不同的计算模型和一个不同的编程语言。BlockBeats：但许多曾在Polkadot等采用Rust语言的生态项目普遍会向我反馈运营成本的问题，因为聘请或者培训一个懂得用Rust语言开发合约的工程师代价非常高昂。另一方面，如果团队在以太坊或者在兼容EVM的L1上开发项目，那就非常便宜。您怎么看待这个情况？这对Starknet生态来说是一个问题吗？Eli：这可能是个问题，但开发者正在涌向Cairo和STARK。开发者和团队的数量每天都在增加，我认为他们看到了潜力。很多人理解了规模化的问题，并问自己最好最具有前瞻性的解决方法是什么，是什么真正开放了全球需求的扩展性，我认为他们中的很多人得出了正确的结论，那就是走Starknet和Cairo1.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的力量。ZKRollup的赛道竞争和Starknet的生态开发BlockBeats在采访中还提及了ZKRollup之间的竞争，以及Starknet自身生态发展的问题。作为整个加密行业中技术含量和要求最高的领域，普通用户似乎很难分别zkSync和Starknet之间的优劣。对大多数人来说，实际情况是谁更会「来事儿」就看好谁。从这个层面来看，StarkWare以技术创新为核心驱动的理念似乎给Starknet出了难题。Eli本人是如何看待ZKRollup之间的竞争？他对Starknet生态的发展又有哪些期许？
BlockBeats：在当前的ZKRollup赛道，Starknet和zkSync是绝对龙头，二者之间似乎也存在着很强的竞争关系。在您看来，Starknet和zkSync之间的区别是什么，Starknet的优势在哪里？Eli：你必须问自己，最好的技术步骤在哪里？哪个地方最可能汇集最多的开发者，并提供最好、最安全的技术？我们在zkSync之前就展示了我们的能力，他们很会讲故事，但他们讲的故事和开发者的体验之间有很大的不匹配。我有一个建议，我鼓励正在阅读这篇文章的开发者试一试在zkSync上开发或部署一些东西，并试一试在Starknet上开发和部署一些东西，你会感到有一个鲜明的差别。我来告诉你一个故事，有人之前在Reddit上问谁做一个能进行30万次交易的东西，我们在主网上做到了，TPS大约在3000左右。一两周后，zkSync团队出来说，我们有3000TPS，但是这3000TPS从未被测量、证明或展示过，不过它是一个很好的故事。在这个行业里有许多人乐意讲故事，也有人展示事实，我们以展示事实的能力自豪。BlockBeats：也有用户反馈，目前在ZKRollup上转移资产或者交互的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服务、ProofofHumanity、社交网络等，有很多真正令人惊奇的事情可以做，他们应该研究一下，找出他们认为缺失的东西，或者他们认为最有趣的东西是什么。Starknet是区块链演变的下一步，这是一个非常重要的步骤。如果你是一个开发者，Starknet将会准备好供用户使用，我们正在为最终的用户构建它。我认为我们有一个非常清晰的前进道路，更多的开发者还有很多工具要建立，还有很多事情要做。有很多的机会让你脱颖而出，并通过努力工作为自己赢得名声。BlockBeats：在最后，您还有什么想和读者说的话？Eli：如果有一台时间机器，你可能会希望回到以太坊的早期，构建几乎你想建的任何东西都会非常成功，比如第一个预测市场、第一个钱包等。但游戏并未结束，还有下一代机会，而这一代的赢家我认为将是Starknet。所以现在除了拥有一台时间机器，大家还可以去了解一下Starknet，现在是时候了。
