可证明的游戏

可证明博弈需要零知识特性，以便高效地扩展和验证计算。Cairo通过提供一种通用语言来满足这一需求，消除了需要创建电路以纳入SNARKs的复杂性。

您只需用Cairo语言编程，您的应用程序就自动成为可证明的。

此外，您还可以在Cairo虚拟机 (CVM)上部署您的程序，该虚拟机与Starknet Layer2、Starknet应用链兼容，甚至可以通过 WebAssembly (WASM) 在浏览器中部署！Dojo 的目标是为您的游戏开发提供直接的 ZK 基元。

有关Starknet、Cairo及其技术栈的更多信息，请查阅 Starknet & Cairo book。

Cairo

Cairo 是由 Starkware 开发的一种开源、图灵完备的智能合约语言，旨在为有效性卷积 Starknet提供支持。该语言可实现高表达性和可验证的计算，非常适合构建可扩展的安全应用，包括去中心化金融（DeFi）项目。

Dojo 以 Cairo 为基础，为开发自主世界（AW）创建了一个强大的框架。通过利用 Cairo 的功能，Dojo 旨在简化开发流程，提高可维护性，并增强自主世界的性能。

Dojo 框架的一个主要特点是使用 命令。命令是一种设计模式，有助于减少模板代码，使应用程序更简洁、更易维护。它们通过将特定的操作或运行封装在自足的、可重用的单元中来实现这一目标。

开发人员可以在系统中自由编写命令，而 Cairo 编译器则负责内嵌相应的函数。

必读

• Cairo book
• Awesome Cairo
• Starknet Book

作为 L2的Starknet

Starknet 是一个有效性卷积第二层（L2）解决方案，旨在扩展以太坊。它的运行方式是提供高交易吞吐量和低气体成本，同时保持与以太坊第一层（L1）相同的安全级别。它采用的策略类似于解决数独难题：验证一个解决方案比从头开始寻找解决方案更容易。同样，Starknet 通过使用链外计算的 STARK 证明，以更便宜的 L1 验证取代了繁重而昂贵的 L1 计算。

用更专业的术语来说，Starknet 是一种无权限的 Validity-Rollup（也称为 "ZK-Rollup"），支持一般计算，目前作为以太坊上的二级网络运行。该网络的一级安全性由其使用的 STARK 加密证明系统提供保障，该系统被认为是最安全、最可扩展的系统之一。

作为应用链的Starknet

Cairo语言是一种同构的通用语言，针对零知识（ZK）证明进行了优化。它是 Starknet、Starkex 和 应用链 背后的驱动力。值得注意的是，你还可以在 WebAssembly (WASM) 中运行它，在客户端生成证明！Dojo 团队正在与 Madara 团队紧密合作，使 Starknet 应用链能够无缝运行 Dojo 世界。