STARK、StarkEx 和 StarkNetStarkWare 词汇表TL;博士STARKs 通过有效地证明计算的完整性来实现区块链扩展StarkEx 是一个特定于应用程序的扩展引擎StarkNet 是一个无需许可的智能合约第 2 层网络斯塔克斯STARK（可扩展的、透明的知识论证）是一种证明系统，可以证明和验证计算。它允许处理大型计算，为计算的正确性生成证明，然后以很少的步骤验证证明。 STARKs 可以在区块链可扩展性中发挥关键作用，允许在链下进行大型计算，成本更低，只留下需要一小部分计算的验证在链上完成。换句话说，通过在链上执行很少的步骤，验证者就可以断言在链下完成的更大计算的完整性。 使用 STARK，第 2 层解决方案一起批处理并计算数千笔交易，然后使用单个 STARK 证明在链上验证它们的有效性。链上流程的成本在批次中的所有交易之间分配。这导致了以太坊的安全性和每笔交易的低 gas 成本。 低计算成本将带来以前在链上不可行的一类新应用。这些特性使 STARKs 成为改善用户体验和降低 gas 成本的优秀构建块，同时保持以太坊结算层的安全性。 StarkWare 提...