# Starkware：构建零知识扩展解决方案

By [daierguge.eth](https://paragraph.com/@daierguge) · 2023-11-05

---

![ 概 述Starkware 是一家零知识公司，专注于构建基于零知识的汇总解决方案以扩展以太坊。他们的第一款产品Starkex于 2020 年推出，并于2021 年 11 月发布了具有更多功能的Starknet 。Starkex是一个独立的 Zk-rollup SaaS 产品，通过智能合约为交易 ( DyDx )、NFT ( Immutable、Sorare ) 和 Defi ( DiversiFi )等某些应用程序提供特定用例。Starkent是 zk-rollup 的下一个迭代——与 Starknet 不同，它是一个无需许可、去中心化且完全可组合的网络。可组合性是指应用程序相互连接、协调和构建的能力。](https://storage.googleapis.com/papyrus_images/70657801664db57ec3b6eae1677fc29b162541c098ee585320c3144bd63be17c.png)

 概 述Starkware 是一家零知识公司，专注于构建基于零知识的汇总解决方案以扩展以太坊。他们的第一款产品Starkex于 2020 年推出，并于2021 年 11 月发布了具有更多功能的Starknet 。Starkex是一个独立的 Zk-rollup SaaS 产品，通过智能合约为交易 ( DyDx )、NFT ( Immutable、Sorare ) 和 Defi ( DiversiFi )等某些应用程序提供特定用例。Starkent是 zk-rollup 的下一个迭代——与 Starknet 不同，它是一个无需许可、去中心化且完全可组合的网络。可组合性是指应用程序相互连接、协调和构建的能力。

![技 术Starkware 建立了一种新技术，可以将数千个交易压缩成一个名为STARK（可扩展的透明知识论证）的有效性证明，并提交给以太坊 L1。与 SNARK 相比，STARK 主要有两个主要优势（ZkSync、Hermez 等在 ZK-Rollups 中使用）：1) 它不需要初始的受信任设置2) 比 SNARK 更快的计算时间。由于需要更少的计算，它可以将以太坊的可扩展性提高几个数量级](https://storage.googleapis.com/papyrus_images/105af3b5c15cafb24cd2e8345a458678d31863f86b945fdb16739d98b0bd8fb7.png)

技 术Starkware 建立了一种新技术，可以将数千个交易压缩成一个名为STARK（可扩展的透明知识论证）的有效性证明，并提交给以太坊 L1。与 SNARK 相比，STARK 主要有两个主要优势（ZkSync、Hermez 等在 ZK-Rollups 中使用）：1) 它不需要初始的受信任设置2) 比 SNARK 更快的计算时间。由于需要更少的计算，它可以将以太坊的可扩展性提高几个数量级

![架 构Starkware 堆栈由主要功能组成，主要是Shared Prover (SHARP)和Verifier (Existing on L1)。SHARP 将来自不同 Dapp 的多个交易捆绑在一起并生成一个证明。然后它与 L1 上的验证者共享证明。这节省了成本，因为计算在不同的应用程序之间共享。验证者检查 SHARP 证明是否有效。如果是这样，那么它们将在事实注册表中共享。该应用程序可以与 Starkex 接口或直接与 SHARP（Starknet 应用程序）接口。](https://storage.googleapis.com/papyrus_images/591d1c30e9be30b8284a741bc585208927897e9537ade82f8b4a09beb0ae9de2.png)

架 构Starkware 堆栈由主要功能组成，主要是Shared Prover (SHARP)和Verifier (Existing on L1)。SHARP 将来自不同 Dapp 的多个交易捆绑在一起并生成一个证明。然后它与 L1 上的验证者共享证明。这节省了成本，因为计算在不同的应用程序之间共享。验证者检查 SHARP 证明是否有效。如果是这样，那么它们将在事实注册表中共享。该应用程序可以与 Starkex 接口或直接与 SHARP（Starknet 应用程序）接口。

---

*Originally published on [daierguge.eth](https://paragraph.com/@daierguge/starkware)*