Sora

In our project, we aim to address the limitations of centralized systems for real-time path planning and space allocation by proposing a decentralized, trustless framework. Through a grid-based simulation on a customized blockchain (appchain), we aim to illustrate how multiple agents can manage system states and plan routes, while enforcing specific rules via the blockchain’s computational integrity and proof systems. Zero-knowledge proofs generated by the appchain will be settled on a permissionless blockchain network, ensuring near real-time interactivity and inheriting the security of permissionless blockchain networks. In this project, we are looking to provide a practical solution applicable to autonomous vehicles, supply chain logistics, and air traffic management in public spaces.

As for the blockchain/decentralization side, we are using Dojo, a framework for provable games, autonomous worlds and other applications that are composable, extensible, permissionless and persistent. It leverages the use of Cairo for building its smart contracts, allowing the generation of zero-knowledge proofs attesting to computations validity and enabling exponential scaling of onchain computation while maintaining the security properties of Ethereum. These properties -- computations validity, scaling, while being secure -- are especially crucial for our project as we aim to provide a secure, conflict-free solution simulating real-time space management. We have also implemented a simple frontend / simulation using Dojo.js and reactjs