系统盘点StarkNet技术优越性
系统盘点StarkNet技术优越性
2024年4月22日修改
TL;DR
1.
🛒ZKR 设计：汇总经济学使得交易越多，Gas 越低；ZK 证明-验证的方法取代了节点执行全部交易以验证正确性的方法，大大降低链上计算与存储数据量，提高执行效率；工作流优越性需要等待其他 zkEVM/zkVM 确定设计后再对比优越性；原生账户抽象可以“消灭”助记词，已经实现手机硬钱包，并为更加易用、安全、低成本的链上可编程奠定基础。
2.
🏕EVM 兼容：Solidity-Cairo 转译器 Warp 使得 StarkNet 语言级兼容 EVM；用 Cairo 编写的 zkEVM Kakarot 使得 StarkNet 字节码兼容 EVM。
3.
🧬STARK 证明系统：纯粹依赖哈希和信息论，不依赖可信设置，抗量子攻击，比 SNARK 更安全；证明生成速度具备线性扩展性，验证时间和证明大小具备对数扩展性；缺点在于生成的证明尺寸更大；递归证明可将多个证明验证后合并，理论合并量上限达到 6000 万，也为 L3 奠定技术基础；STARK 友好的哈希函数如 Rescue hash function 等相比以太坊 keccak256 有更高执行效率。
4.
🐺Cairo 虚拟机与语言：Cairo VM 是一个 STARK 友好的、图灵完备的 CPU 架构；CPU 架构灵活性高，可通过软件编程无限接近 ASIC 性能，理论上可以复刻任意虚拟机；Cairo 语言基于 Cairo 汇编和 AIR，执行效率非常高，但开发体验类似 Rust 和 C 语言，指针+内存大套餐🥙使得学习难度中上；开发者可使用证明者一侧的“提示”（hints）来创建快捷方式并启用某些计算，降低了开发难度；Cairo 支持通过字节码哈希加载程序，大大提高链上扩展性和隐私性，成为隐私方案的强力替代。
一、🛒ZK-Rollup优越性
在以太坊上，每提交一笔交易都需要所有节点检查、验证并执行交易来验证计算正确性，并将计算后的状态变化在网络中广播。
附件不支持打印
加载失败，