Starknet 为什么对全链游戏友好:减少重复计算、降低 Gas 费用、提高 TPS

Starknet 为何友好于全链游戏:减少计算、降低 Gas 费、提高 TPS

在Starknet上选择不同链的背景和影响

在选择不同链上构建应用的过程中,Dojo作为一个先行者,在引领Starknet的全链生态方面起到了重要的作用。Starknet是一种采用状态差异(State diffs)技术的二层扩容方案,与乐观 Rollups 不同,它的关注点是执行的输出而不是输入。对于游戏应用而言,这可能主要影响到了优化成本的问题。以国际象棋游戏为例,在一个三分钟的游戏中,可能会有50步的状态差异发生。借助于Starknet的单个证明和最终状态,我们可以证明游戏的正确性。而乐观 Rollups 则需要验证所有中间状态的“输入”。

那么问题来了,在Starknet上验证计算正确性相对于传统的以太坊虚拟机(EVM)来说有什么优势呢?我的回答是,首先在零知识证明(Zero-Knowledge Proofs)层面上,Starknet只需要排序器(verifier)执行一次计算,然后证明器(prover)执行一次计算并生成可验证合并(递归)的STARK证明。相比之下,EVM在验证计算正确性时需要重新执行计算,因此Starknet中验证计算正确性的方式可以减少重复计算,从而减少了Gas消耗并提高了TPS。

进一步思考,我们可以将Starknet上指定交易和证明的生成都交给一个Prover来完成。这样可以节省证明成本和验证时间。在证明器开源和去中心化之后,如果证明器提供了高度的抽象,支持用户将自己的交易计算提交给指定的证明器,那么全链游戏项目方就可以自行生成游戏中所有的证明,从而降低成本并实现隐私保护。

总结

Starknet在构建全链生态中的地位日益重要,在选择不同链上构建应用时,需要考虑到Starknet的状态差异技术带来的优势和影响。通过Starknet可以减少重复计算,降低成本并提高TPS。在证明器开源和去中心化后,项目方可以自行生成游戏中的所有证明,实现成本降低和隐私保护。

相关术语解释

  • Starknet:一种采用状态差异技术的二层扩容方案。
  • State diffs:状态差异技术,与乐观 Rollups 相比,关注点在执行的输出而不是输入。
  • Zero-Knowledge Proofs:零知识证明技术,用于验证计算过程的正确性,并保护用户隐私。
  • EVM:以太坊虚拟机,一种用于执行智能合约的虚拟机。
  • Gas:以太坊中的计价单位,用于衡量交易和合约执行的成本。
  • TPS:每秒交易处理量,衡量区块链网络的性能。

参考资料: https://twitter.com/real_maxlion/status/1686676787953274880