StarkNet

使用 STARK 有效性证明的 ZK rollup，有自己的 Cairo 合约语言。ZK 路线提款快（证明验证即最终性）。新语言意味着新的安全审计生态尚在成熟中。