Awesome
Dojo: Provable Games and Applications 
Dojo is a developer friendly framework for building provable Games, Autonomous Worlds and other Applications that are natively composable, extensible, permissionless and persistent. It is an extension of Cairo, an efficiently provable language, that supports generation of zero-knowledge proofs attesting to a computations validity and enables exponential scaling of onchain computation while maintaining the security properties of Ethereum.
It is designed to significantly reduce the complexity of developing provable applications that can be deployed to and verified by blockchains. It does so by providing a ~zero-cost abstraction for developers to succinctly define provable applications and a robust toolchain for building, migrating, deploying, proving and settling these worlds in production.
Getting Started
See the getting started section in the Dojo book to start building provable applications with Dojo.
You can find more detailed documentation in the Dojo Book here.
Development
We welcome contributions of all kinds from anyone. See our Development and Contributing guides for more information on setting up your developer environment and how to get involved.
If you encounter issues or have questions, you can submit an issue on GitHub. You can also join our Discord for discussion and help.
Built with Dojo
Audit
Dojo core smart contracts have been audited:
- Feb-24: Nethermind Security.
- Nov-24: OpenZeppelin and it's diff-audit.