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