StarkWare

StarkWare 创立于 2018 年, 总部位于以色列。

StarkWare 旨在通过 STARK （商业化的特定类型的零知识证明 (ZKP) 系统，称为 STARKs）技术，提高区块链的可扩展性和隐私性，提供零知识、透明（no needfor a trusted setup)）和后量子安全（post-quantum secure）的加密证明。 StarkWare 将开发完整的证明堆栈，软硬件都可以支持快速可靠的生成、验证通用计算的计算完整性证明的方法。

核心产品：StarkWare&StarkNet 。

目前市面上主要有两种类型的rollups，一种是ZK rollups（靠零知识证明），另一种是Optimistic rollups，所谓Rollups,就是一种可以允许在链外进行以太坊交易的方法，通过仅仅在链上存储交易数据，就可以减少目前存在的网络拥堵问题，提升速度，尽可能的降低Gas费用。

StarkEx是Starkware开发的 L2 可扩展性引擎，通过类似汇编语言的Cairo程序，可以在零知识环境中执行这种功能。StarkEx支持链上/链下混合数据可用性解决方案、快速提款、ERC-721和ERC-20,保证数据可用性。 还可以通过生成有效性证明，确保所有链下计算完整执行，STARK 证明先在链上得到验证，然后再提交至以太坊主网络。

StarkNet StarkNet是以太坊上基于Starkware团队开发的Stark零知识证明的、无需许可的、去中心化的L2- ZK-Rollup。它具备图灵完备性，通过 Solidity -> Cairo 编译器提供 EVM 兼容功能。