以太坊Layer2 Starknet的特点是什么？Cairo语言如何增强功能？

Starknet是基于零知识证明（ZeroKnowledgeProof，简称ZK）技术构建的以太坊Layer2扩展网络，其特点在于能够将大量交易离线批量处理后提交验证证明，从而提升吞吐量与费用效率，而Cairo是其专用合约编程语言，通过设计