袁素是一位经验丰富的软件工程师，也是 Metis（一个 以太坊 Layer 2 Rollup 平台）的联合创始人。他还是 Nuvo Technology Ltd. 的首席技术官兼联合创始人，该公司是 Metis EcoNode，旨在简化区块链管理。

教育

苏于 2005 年毕业于阿卡迪亚大学，获得计算机科学学士学位。后来，在 2017 年，他继续在多伦多大学攻读并获得了工商管理硕士学位。^[1]

职业生涯

在阿卡迪亚大学学习期间，苏曾在全球科技公司 IBM 实习。毕业后，他留在该公司超过 14 年，担任软件工程师和技术主管。2016 年，苏在 CryptoChicks（一个面向女性的区块链教育平台）举办的合作会议上结识了 Elena Sinelnikova 和 Kevin Liu。他们共同创立了 Metis。^[1]

在 Metis 工作期间，苏还曾在 CaseWare International（一家为审计师和会计师提供全球软件的供应商）担任混合云开发主管，直到 2023 年。在此期间，他与人共同创立了 Nuvo Technology Ltd，该公司是 Metis 的一个 EcoNode，旨在简化用户对区块链的管理。^[1][2]

访谈

Metis 和 Layer 2

2023 年 6 月，NewsBTC 采访了苏，了解 Metis 及其在 Layer 2 开发和基础设施中的参与情况。在简短的介绍之后，他讨论了 Metis 最初的定位：^[2]

“Layer-2 并不是 Metis 最初的任务。我们最初推广 DAO 的链上协作，并专注于投票、财务管理等。但我们很快意识到，同样重要的是关注业务活动——运营、内部交易等——而现有的 DAO 框架并不支持这些。我们看到了构建解决方案的机会，这些解决方案将支持链上业务活动，取代为中心化权力服务的链下实体。但我们遇到了一个障碍。快速、廉价和可靠的链上运营的基础设施尚未准备就绪。这就是 Metis 进入 Layer-2 的原因。这也说明了为什么 L2 对于整个 Web3 至关重要。”

然后，他解释了为什么 Layer 2 解决方案对于 Web3 是必要的：^[2]

“像 以太坊 这样的 Layer-1 平台的可扩展性不足以支持链上全面业务活动。试图在 Layer-1 上实现所需的可扩展性也是不可取的。首先，它会带来严重的安全权衡；其次，它会非常非常复杂。而且无论如何，你都会在基础层面临限制性的 gas 费用和总体交易成本。因此，L2 对于构建 Web3 经济至关重要。但是，大多数现有 L2 的费用仍然太高，无法将 Web3 带入主流。此外，它们通常具有中心化的排序器，使其容易受到操纵或审查。”

当被问及 Metis 如何实现低费用时，他回答说：^[2]

“Memolabs 值得为此大声疾呼。他们的去中心化存储层提供了很大的帮助。但我很自豪我们创新了乐观数据可用性，尽管当时受到了批评，但它对于 Metis 行业最低的成本至关重要。每次交换大约 15 美分，每次 ETH 转账 5 美分。我们乐观地假设排序器将提供数据。如果每个人都诚实地行事，这将确保最低的可用性成本，因为你不需要一直将整个交易数据上传到 L1，每次都支付 gas 和其他费用。”

“这就像一个按需 rollup，它在需要时提交整个交易数据的一小部分。为了实现这一点，我们创新了一种独特的排序器轮换机制，其中池中的排序器（每个排序器都有有限数量的分配交易）轮流担任该角色。我们将很快完全实施这一点，使用阈值签名在排序器之间达成一个微型的、预 rollup 数据可用性 共识，作为抵御 拒绝服务 (DoS) 等攻击向量的第一道防线。Metis 还有一个通过分层社区投票暂停排序器的机制，这使得处理恶意排序器的成本既有限又可行。”

苏还解释了去中心化自治公司 (DAC) 如何在 Metis 生态系统中运作：^[2]

“Metis 具有基于贡献和声誉的治理模型，该模型实现了从 DAO 到 DAC 或去中心化自治公司的过渡。我们开发这个想法是为了解决流行的基于代币的治理模型的各种问题：巨鲸投票、早期采用者的影响、投票销售以及代表滥用权力。这些模型也很耗时，而选民通常缺乏做出明智决策的经验或知识。DAC 在自主处理行政任务、工资单、沟通等业务活动方面非常高效。他们的治理模型基于参与者的实际贡献及其在社区中的声誉。”

然后，他谈到了 Metis 在开发过程中面临的一些挑战：^[2]

“应用 MIPS 是我们的第一个主要挑战。L2 通常有一个计算 C，L1 必须在最终确定区块之前验证该计算。我们必须将这个 C 转换为等效的多项式，以用于我们基于 zkSTARK 的方法。但这提出了关于处理器规格、寄存器数量、适用指令集等问题。此外，结合 Optimistic 和 ZK Rollup 很复杂，因为它们的有效性证明方法显然是矛盾的。实施 Optimism 的 Cannon 框架帮助我们克服了这些问题，此外还提供了一种基于 MIPS 的替代方案，可以替代使用 EVM 操作码生成 zk-proof 的复杂过程。”

“下一个重大挑战是高数据存储成本——包括 L1 上的链上存储和 L3 上的链下存储。这并非 Metis 独有。每个在 L2 上运行智能合约并在 L1 上桥接合约的协议都在某种程度上面临限制性的存储成本。但对我们来说，这也是为了确保高 TPS，尽管采用了混合 Rollup 框架。因此，我们采用了一种称为分形缩放的递归证明方法——L3 上的 zkSTARK 证明有助于验证 L2 上的交易批次是否正确计算了 L1 状态根。这降低了成本，因为单个证明代表了每个批次的数千笔交易。”