简介
「Starknet 中文社区」在黑山 Zuzalu 活动现场有幸采访到 StarkWare 联创兼总裁 EliBen Sasson，为我们讲解 StarkWare 历史，Starknet 安全性和技术架构。
Eli Ben Sasson 是以色列理工大学计算机教授，从事理论计算机和形式化验证研究。2018 年与 Uri Kolodny 共同创立 StarkWare。Eli 同时也是 STARK、FRI 和 Zerocash 协议的共同发明人，Zcash 公司的创始科学家。
Zuzalu 是全球首创的快闪式城市社区，位于黑山卢斯蒂卡湾，从 2023 年 3 月至 5 月，Zuzalu 容纳约 200 名核心居民，开展零知识证明、公共物品、合成生物学等方面的活动，共同生活、工作和学习。
感谢 llamacorneth 和 0xblanker 现场带来的精彩采访！
精彩内容：
-
StarkWare 的起源
-
StarkWare 产品的竞争优势
-
Cairo 语言特性
-
Starknet 去中心化进展
-
如何看待 Optimism
本文对话经过编辑，以下是翻译后的采访内容。点击观看原视频。
主持：llamacorn 和 Blanker
嘉宾：Eli Ben Sasson，StarkWare 联创兼总裁
关于 StarkWare 的起源
采访主持：
「Starknet 中文社区」已成立超一年，在此期间完成了不少工作内容，如文章翻译和组织线下聚会，详情参见「Starknet 中文社区」Twitter。今天很荣幸能邀请到 StarkWare 联合创始人兼执行总裁 EliBen Sasson，欢迎 Eli Ben，请向大家介绍一下自己吧！
EliBen Sasson：
大家好！我叫 EliBen Sasson，是 StarkWare 联合创始人兼执行总裁，我一开始是从事计算机科学理论和研究的，是最早一批探索各种代码实现证明系统的人，也是最早注意到证明系统可以与区块链联系起来的。我和 zCash 联合创始人一起进行研究，参与加密货币领域。
采访主持：
所以 Zooko 也是您的圈内老友吗？他有参与 StarkWare 管理吗？
EliBen Sasson：
没有，Zooko 仍然负责管理 zCash 公司。
关于 StarkWare 产品的竞争优势
采访主持：
近期 StarkEx 交易量将突破一万亿美元，成为以太坊和 StarkWare 当之无愧的先锋，您能向大家简单介绍下 StarkWare 和 StarkEx 的发展历史和背景吗？是通过什么样的契机想到构建这类项目的呢？
EliBen Sasson：
StarkWare 于 2018 年正式成立，共有四位联合创始人，我们都是关系要好的朋友。
我的博士生也是 STARK 共同发明人之一，他不仅是圣何塞的教授，同时也是我在 zCash 的联合创始人。
StarkEx 是我们构想的第一个产品，也是 SATRK 技术和有效性证明在产品中的首次采用。它作为第一个用于服务真实客户的系统，在实用案例中吸引了很多终端用户，例如，ImmutableX、Sorare、dYdX、rhino、Canvas 等。预计在未来一两个月内，StarkEx 累计交易量即将突破一万亿美元大关。
StarkEx 为用户和多个系统铸造了超一亿枚 NFT，是我们非常自豪的系统，为以太坊带来了可扩展性。
采访主持：
纵观 L2 领域，您是如何看待 StarkWare 未来？以及和其他两个项目之间的竞争？
EliBen Sasson：
我认为 StarkWare 最大的竞争优势是拥有高超的技术，并且是第一个投入市场使用的。我们具备专业的开发工具、最佳编程语言。系统完全集成了帐户抽象，为终端用户提供最佳体验。此外，我们的性能也是全面的，支持大规模技术。
所以我认为无论在什么情况下，都能看到 StarkWare 在 L2 领域做出的巨大贡献。
关于 Cairo 语言特性
采访主持：
EliBen，您能向大家仔细介绍下 Cairo 编程语言的技术特点吗？
EliBen Sasson：
Cairo 作为下一代智能合约编程语言，内置了帐户抽象、存储证明等基础组件，可以极大程度上帮助开发者进行构建。Cairo 语言的灵感源自 Rust，所以开发者能较快上手和熟悉 Cairo。在确保开发者不会引入错误方面，Cairo 也是非常安全可靠的。综上所述，Cairo 是一种非常符合开发者需求的新型编程语言，适配于生成有效性 STARK 证明。
采访主持：
您可以分享下观点：为什么 Cairo 语言要优于 zkEVM 或其他语言吗？
EliBen Sasson：
我打个比方，Solidity 的效率并不高，在功能上不如 Python 高效。但如果你想在区块链上做事，还是得使用 Solidity。因为整合到模型里的语言正是 Solidity 而非其它语言。同样，如果你想要高效生成 STARK 证明来用于大规模计算、数以百万计的交易，以及把游戏之类的项目放到链上，这些都是到目前为止还未实现的，为此，你需要更高的效率。与 zkEVM 相比，Cairo 的效率可能提高 10 倍甚至 100 倍。通过转移架构，性能上可能可以提高 100 倍。
采访主持：
StarkEx 和 Starknet 在 Cairo 语言功能中有哪些不同之处？
EliBen Sasson：
StarkEx 同样也是用 Cairo 编写的，它是个专门的系统，可以很好地处理 NFT 铸造和交易，包括转账、交换等操作。
但如果你想使用通用的逻辑，就不能在 StarkEx 上操作。Starknet 作为 L2，具备完整的功能，可以在其中编写任何计算。特别是，它带有一个更安全的 Cairo 版本。也就是 Cairo 1.0，它是一种更安全的开发语言，非常符合编程习惯也非常方便进行编码。
采访主持：
如何吸引更多开发者加入 Starknet 或使用 Cairo 语言？
EliBen Sasson：
这是个过程。我们团队做了很多努力，而且效果不错。有很多文档、教程和工具正在开发或已发布。我本身不是程序员出身，但仍然努力学会了 Cairo。有个叫 Starklings 的 Cairo 学习工具，基于 Rust 语言中的 Rustlings 制作的，它会给你提供需要调试的错误代码。用 Starklings 学习非常有意思，建议开发者们都去试试。以及网络上也有很多其他教程和资料教你如何进入一个生态系统。
Starknet 去中心化发展
采访主持：
然后是关于去中心化方面，Starknet 和 StarkWare 如何实现去中心化？
EliBen Sasson：
我们对这个问题投入了大量的思考和研究。我们已经在社区论坛上发布了几篇关于去中心化的思考文章，现在也越来越接近最终确定去中心化的协议，该协议将会基于一些高度使用和非常安全的共识协议。在排序器和新区块生成以及证明过程方面，我们都将会达到完全去中心化。
采访主持：
您是指去中心化排序器？对运行排序器有任何要求吗？
EliBen Sasson：
任何人都可以运行排序器，但我们还在起步阶段，所以有个单独的运营方，这是开始的基础。未来不到一年的时间，我们可能就会发布去中心化的协议，会是个类似 PoS 的系统。因此，理论上任何拥有足够质押量的人都可以成为排序器。
关于 Optimism 观点和看法
采访主持：
下一个问题，EliBen 您是如何看待 OP Stack？有吸引您的部分吗？会考虑未来涉足这一技术领域吗？
EliBen Sasson：
我挺喜欢他们团队和开发者的，但我认为他们的所作所为很不负责。他们在发布的时候并没有开启安全功能。我之所以要指出这一点，是因为用户把资金都托付给了这个系统，但他们应该要知道欺诈证明并没有开启。打个比方就像，Starknet 没有证明就发布了。但我们绝对不会这么做。这是完全不负责任的行为，非常的危险。
实际上我们也一直在防范像 FTX 和 Luna 这样不好的事情发生。到目前为止，我们系统的安全性还没有受到挑战。
采访主持：
也许不光考虑技术部分，还有代币方面。
现在他们所使用的 OP Stack 可以帮助很多项目参与其生态系统，例如类似 Cosmos IBC 这类的网络链。
EliBen Sasson：
但大家应该要意识到欺诈证明的核心技术，我不清楚它是否完全开发好了，但至少它没有开放出所有的功能。
这就像，给你一辆汽车，我只告诉你这辆车很安全，它有刹车、安全带和安全气囊。但实际上并没有这些东西。所以，显然这辆车并不安全。特别是当我还把这辆车卖给你，宣称它很安全。就像宣称的欺诈证明实际上并没有开启，这是个很大的问题。
而我们绝对不会发布没有证明的 Starknet 版本，我都想像不到那会是什么样的。
采访主持：
目前的证明器由谁运营呢？
EliBen Sasson：
目前证明器是单独的排序器和运营商。但要说明的是，有效性证明系统和 Optimism 系统最大的区别，即使运营商想偷走资金，在 Starknet 上也是不可能的。因为在 L1 上还有验证器合约，你如果没有有效性证明，L1 的状态是不会改变的。运营商无法生成无效状态转换的有效性证明。
而在 Optimism 上，从名字上看也知道，它的工作方式是乐观的。所以任何人都可以提交状态变化，包括欺诈性的。如果有运营商决定把所有资金盗走并提交新状态，那么就应该会有人提出异议，之后进行仲裁。但整个机制并没有开启。因此，没人能阻止黑客控制计算机，提交状态盗走所有资金。
采访主持：
今天的采访就要结束啦！再次感谢 EliBen Sasson 做客并分享了很多重要内容，谢谢您的参与支持，同时也让我们期待 StarkWare 未来开发出更多优秀产品吧！