StarkNet是基于STARK零知识证明方案的L2的ZK-Rollup.
分四步构建：
- Foundation: 已完成；
- Planets: 单应用的Rollups;
- Constellations: 多应用的Rollups;
- Universe: 去中心化的Rollup
StarkNet基于图灵完备的Cairo语言，支持以太坊上通用的计算。
在StarkNet上，开发者可以构建应用并部署；用户可以发起交易并在StarkNet上执行； 节点可以通过激励保证网络良好运转。
StarkNet的所有交易周期性地批量打包到一个proof中，在以太坊上验证。
所有构建StarkNet的数据在链上（on-chain）发布。
Cairo 是用来生成通用计算STARK 证明的图灵完备的语言框架。
Cairo GPS(Generic proof service) 允许开发者利用Cairo构建自己的应用，可以实现任意的逻辑。GPS可以生成证明，在链上验证。
GPS可以将多个应用的证明生成一个proof, 以此来分摊gas开销；
StarkEx: StarkWare的规模化引擎，已在以太坊主网上部署；Stark可以处理复杂的交易逻辑，包括现货交易， 衍生品，NFTs，支付等；
ethStark: 开源的prover, 以其它的快20倍；
StarkNet可以在一个proof中处理300K个交易，TPS达到3K, 315 gas/tx.
网友评论