Michael Riabzev 是 StarkWare Industries 的联合创始人兼首席架构师，该公司是无许可有效性 Rollup (ZK-Rollup) Layer 2 网络（运行在 Ethereum 上）Starknet）的开发者。^[1][2][3]

教育

Michael Riabzev 毕业于以色列理工学院 (Technion - Israel Institute of Technology)，于 2014 年获得数学和计算机科学学士学位。之后，他攻读了计算机科学博士学位 (PhD)，专注于零知识计算完整性实用系统的开发，最终开发并实现了 zk-STARK 系统。^[1]

职业生涯

Michael Riabzev 的职业生涯始于 2002 年，在 Afulas 社区中心担任系统管理员。2004 年 10 月，他加入以色列情报部门，担任研发工程师兼 IT 架构师，直到 2008 年 10 月。之后，他曾在 KCS - Knowledge Control Systems 担任研发工程师，直到 2009 年 10 月。^[1]

2019 年 12 月，Riabzev 加入 Intel Corporation^[7] 担任研发工程师，然后在 2012 年至 2013 年在 IBM^[8] 担任相同职位。他还是以色列理工学院的研究员、博士生和开发工程师。^[1]

StarkWare

2018 年，Michael Ziabrev 与 Eli Ben-Sasson、Uri Kolodny 和 Alessandro Chiesa 共同创立了 StarkWare。他担任该公司的首席架构师。^[4]

StarkWare Industries Ltd. 是一家位于以色列的 区块链 技术公司，专注于开发 ZK-Rollup 技术并构建产品以解决 Ethereum 网络的挑战。除了技术基础设施外，其主要两个产品是 StarkEx 和 StarkNet。[6]

StarkEx

StarkEx 是 Ethereum 主网 上的 Validium L2 扩展引擎，经过修改（定制）以适应特定的许可 Dapps，用于项目部署他们的想法（主要用于交易用例）dYdX、ImmutableX、DeversiFi 和许多其他合作伙伴。这个特定的 L2 是大多数协议构建的基础，产生真实的交易量并进行交易。^[5]

Starknet

Starknet 基于 STARK 构建，作为去中心化的 L2 Zk-rollup。该层负责执行交易，同时进行扩展，而不会牺牲 Ethereum 的安全性。STARK 开发人员可以编写 智能合约 并在 Starknet 上无许可地运行它们。^[6]

Starknet 旨在通过使用 STARK 加密证明系统来实现安全、低成本的交易和高性能。Starknet 合约和 Starknet OS 采用 Cairo 编写，Cairo 是一种定制的专用编程语言。^[6]