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

 概 述Starkware 是一家零知识公司，专注于构建基于零知识的汇总解决方案以扩展以太坊。他们的第一款产品Starkex于 2020 年推出，并于2021 年 11 月发布了具有更多功能的Starknet 。Starkex是一个独立的 Zk-rollup SaaS 产品，通过智能合约为交易 ( DyDx )、NFT ( Immutable、Sorare ) 和 Defi ( DiversiFi )等某些应用程序提供特定用例。Starkent是 zk-rollup 的下一个迭代——与 Starknet 不同，它是一个无需许可、去中心化且完全可组合的网络。可组合性是指应用程序相互连接、协调和构建的能力。
 概 述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 更快的计算时间。由于需要更少的计算，它可以将以太坊的可扩展性提高几个数量级
技 术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 应用程序）接口。
架 构Starkware 堆栈由主要功能组成，主要是Shared Prover (SHARP)和Verifier (Existing on L1)。SHARP 将来自不同 Dapp 的多个交易捆绑在一起并生成一个证明。然后它与 L1 上的验证者共享证明。这节省了成本，因为计算在不同的应用程序之间共享。验证者检查 SHARP 证明是否有效。如果是这样，那么它们将在事实注册表中共享。该应用程序可以与 Starkex 接口或直接与 SHARP（Starknet 应用程序）接口。