StarkNet

StarkNet uses STARKs to provide scalability with strong cryptographic security guarantees.StarkNet 使用 STARK 证明来提供具有强大密码学安全保证的可扩展性。

StarkNet's Cairo programming language is purpose-built for ZK provability, differing significantly from Solidity.StarkNet 的 Cairo 编程语言专为 ZK 可证明性而构建，与 Solidity 有很大不同。