原文:STARKs, StarkEx, and StarkNet 原作者:StarkWare Glossary 译者:Captain Hook、Whisker、Eve Xu 校对:StarkNet 中文TL;DRSTARK 通过高效证明计算的完整性来实现区块链的扩展StarkEx 是针对应用的扩展引擎StarkNet 是无需许可的智能合约 L2 网络STARKSTARK,其英文全称为 Scalable Transparent ARgument of Knowledge,即可扩展的、透明的知识证明方法。STARK 是一个能够证明计算并验证计算的证明系统,它首先处理大型计算,然后生成可以证明计算正确的证明,最后验证此证明的真实性。 STARK 在区块链的可扩展性中发挥着关键作用,通过此方法,大型计算在链下以开销更小的方式完成,只留下需要一小部分计算的验证在链上完成。换句话说,验证者只在链上执行很少的步骤,就能证明在链下进行的其余的庞大计算的完整性。 L2 解决方案通过 STARK 批量化计算成千上万的交易,然后在链上验证 STARK 证明的有效性。链上验证成本由批量交易均摊,这就保证...