社区发车的strk发币了,恭喜上车strk的小伙伴,最近strk也在朝着比特币二层的生态发展。strk的眼光和视野还是一流的
下面跟着大柱子了解一波
Starknet 网络简介
Starknet 是一个新兴的 Layer 2 扩容解决方案,旨在解决以太坊网络的拥堵和高昂的 gas 费用问题。
通过引入 zk-rollup 技术,Starknet 能够将大量交易数据批量处理,并在以太坊主链上提交一条高度压缩的证明,从而大幅提高了交易吞吐量和效率。
StarkNet 工作流程
1. 用户发起交易,并将交易发送给 Squencer 进行验证、排序和执行,并打包批次。
目前 StarkNet 系统中只有一个 StarkWare 官方掌握的 Sequencer,但 StarkWare 团队计划后续将 Squencer 去中心化;Squencer 通过 Cairo OS 来执行交易,扮演了 EVM 的角色。
2. Squencer 将执行交易的踪迹递交给 Prover,由 Prover 对计算完整性生成一个有效性证明。执行踪迹是生成 zkp 的核心,记录执行踪迹是 Cairo 语言的 zk 友好特性;这里的 Prover 也为 StarkEx 生成有效性证明,且可以聚合来自不同 StarkEx 应用和 StarkNet 的交易,实现共享。
3. Squencer 和 Prover 将有效性证明和全局状态变化发送给全节点进行记录。全节点基于 P2P 网络构建,负责记录整个 Layer2 网络的交易历史和以太坊主网上与 Layer2 相关的交易。
4. Prover 将有效性证明递交给主网上的 Verifier。Verifier 是部署在以太坊主网上的智能合约,负责收取并验证 Prover 提供的有效性证明。
5. Verifier 将验证过的结果发送至主网上的 StarkNet Core 合约进行记录和保存。StarkNet Core 合约部署在以太坊主网上,用于接收 Layer2 全局状态变化信息,包括状态哈希以及数据可用性;经过 Verifier 验证过的结果是一串状态哈希,由 Verifier 写入一笔新的 Layer1 交易,并传递给 Core 合约进行保存。
6. StarkNet Core 合约接收到验证结果(状态哈希)后,从 Layer2 接收「Call data」形式的数据可用性并保存。该数据会同步给 Layer2 的全节点进行解码,以保证全节点能够记录和重建 Layer2 的历史交易;在 Validium 方案中,StarkNet Core 合约不保存数据可用性,仅保存状态哈希。
Starknet 现实愿景:扩展比特币。
StarkWare 正在采取三个切实可行的措施来扩大比特币的规模:
我们将为 Starknet 提出一种新的设计,使其成为一个自托管的去中心化 L2,能够同时在以太坊和比特币上同步结算,实现两个链上统一结算。我们的团队将开展(或资助)实现这一目标所需的所有工作。我们正在研究的架构细节将在未来几周内公布。
StarkWare 正在启动一项 100 万美元的基金,该基金将向研究 OP_CAT 及其影响的比特币研究人员和开发者提供资助。这些资助将颁发给那些诚意支持或反对升级以及为 OP_CAT 使用贡献概念证明的个人和项目。有关该基金的详细信息将于下周公布。
最后,我们认为 OP_CAT 比特币软分叉是比特币扩容的最安全途径,尤其是可以实现 STARK 验证和 Rollup。因此,我们宣布公开支持 OP_CAT。OP_CAT 通过启用可以自主管理和更新其状态的递归契约,比特币上实现无需信任的 Rollup 成为可能,从而大幅提高交易吞吐量而不会使比特币过载。
Starknet未来发展
Starknet 前阵子发文称,Starknet 已经是 TPS 最高的链,Fee 费用也降到了 $0.01,同时还支持并行交易处理,之后的 Volition 还会进一步降低 DA 成本等等,然而,Who Cares? 这些并不能给市场带来新增长预期,相比之下,如果 Starknet 能脱离以太坊延伸到比特币应用场景就不一样了。
因为一旦打破以太坊主网束缚,Starknet 的想象空间就不再局限于 layer2 了,它的 ZK 技术底层和并行交易、Cario 语言等原先高性能的基础为成为其区别于其他 layer2 的核心优势。
因为,layer2 要变得 layer1 化,必然要以超高性能技术底子做基础,而 Starknet 并不缺技术。显然,这个角度看,市场对于 Starknet 的市场预期很难不变大。天知道,哪天 Starknet 不会发个通知要成为一个 ZK 统一层,要成为全链环境的 ZK 基础设施。
Anyway,一旦突破 layer2 的叙事束缚,Starknet 的想象空间会大为不同。