# Michael Riabzev > Michael Riabzev 是 StarkWare Industries 的联合创始人兼首席架构师，以其在基于以太坊的 Starknet 和 zk-STARK 系统方面的工作而闻名。 - Canonical URL: https://iq.wiki/zh/wiki/michael-riabzev - Categories: People in crypto - Tags: Founder - Created: 2024-04-18T17:53:49.787Z - Last updated: 2024-04-19T14:35:48.253Z - Source: IQ.wiki — the world's largest blockchain and crypto encyclopedia (https://iq.wiki) --- **Michael Riabzev** 是 StarkWare Industries 的联合创始人兼首席架构师，该公司是无许可有效性 Rollup ([ZK-Rollup](https://iq.wiki/wiki/zk-rollup)) [Layer 2](https://iq.wiki/wiki/layer-2) 网络（运行在 [Ethereum](https://iq.wiki/wiki/ethereum) 上）[Starknet](https://iq.wiki/wiki/starknet)）的开发者。[\[1\]](#cite-id-al7j4lq5z)[\[2\]](#cite-id-5k2z5laidz)[\[3\]](#cite-id-con5nf6wxd) ## 教育 Michael Riabzev 毕业于以色列理工学院 (Technion - Israel Institute of Technology)，于 2014 年获得数学和计算机科学学士学位。之后，他攻读了计算机科学博士学位 (PhD)，专注于零知识计算完整性实用系统的开发，最终开发并实现了 zk-STARK 系统。[\[1\]](#cite-id-al7j4lq5z) ## 职业生涯 Michael Riabzev 的职业生涯始于 2002 年，在 Afulas 社区中心担任系统管理员。2004 年 10 月，他加入以色列情报部门，担任研发工程师兼 IT 架构师，直到 2008 年 10 月。之后，他曾在 KCS - Knowledge Control Systems 担任研发工程师，直到 2009 年 10 月。[\[1\]](#cite-id-al7j4lq5z) 2019 年 12 月，Riabzev 加入 Intel Corporation[\[7\]](#cite-id-fnedjfgq0ih) 担任研发工程师，然后在 2012 年至 2013 年在 IBM[\[8\]](#cite-id-y1vyzik0r5) 担任相同职位。他还是以色列理工学院的研究员、博士生和开发工程师。[\[1\]](#cite-id-al7j4lq5z) ### StarkWare 2018 年，Michael Ziabrev 与 [Eli Ben-Sasson](https://iq.wiki/wiki/eli-ben-sasson)、[Uri Kolodny](https://iq.wiki/wiki/uri-kolodny) 和 [Alessandro Chiesa](https://iq.wiki/wiki/alessandro-chiesa) 共同创立了 StarkWare。他担任该公司的首席架构师。[\[4\]](#cite-id-1r8z9nnh24q) StarkWare Industries Ltd. 是一家位于以色列的 [区块链](https://iq.wiki/wiki/blockchain) 技术公司，专注于开发 ZK-Rollup 技术并构建产品以解决 [Ethereum](https://iq.wiki/wiki/ethereum) 网络的挑战。除了技术基础设施外，其主要两个产品是 StarkEx 和 [StarkNet](https://iq.wiki/wiki/starknet)。[\[6\]](https://iq.wiki/wiki/eli-ben-sasson#cite-id-gn97hdzgri) #### StarkEx StarkEx 是 [Ethereum](https://iq.wiki/wiki/ethereum) [主网](https://iq.wiki/wiki/mainnet) 上的 Validium L2 扩展引擎，经过修改（定制）以适应特定的许可 [Dapps](https://iq.wiki/wiki/decentralized-application)，用于项目部署他们的想法（主要用于交易用例）[dYdX](https://iq.wiki/wiki/dydx)、ImmutableX、DeversiFi 和许多其他合作伙伴。这个特定的 L2 是大多数协议构建的基础，产生真实的交易量并进行交易。[\[5\]](#cite-id-qzz5oc6zdwm) #### Starknet [Starknet](https://iq.wiki/wiki/starknet) 基于 STARK 构建，作为去中心化的 L2 [Zk-rollup](https://iq.wiki/wiki/zk-rollup)。该层负责执行交易，同时进行扩展，而不会牺牲 [Ethereum](https://iq.wiki/wiki/ethereum) 的安全性。STARK 开发人员可以编写 [智能合约](https://iq.wiki/wiki/smart-contract) 并在 Starknet 上无许可地运行它们。[\[6\]](#cite-id-d0zx5rp14r) [Starknet](https://iq.wiki/wiki/starknet) 旨在通过使用 STARK 加密证明系统来实现安全、低成本的交易和高性能。Starknet 合约和 Starknet OS 采用 Cairo 编写，Cairo 是一种定制的专用编程语言。[\[6\]](#cite-id-d0zx5rp14r)