Sphinx Cairo DB Simulator is a tool that leverages the Cairo language to generate provable traces, demonstrated by the SHARP proof system. It further validates these traces using the Stone verifier program. The simulator retrieves the initial state of a database, simulates a series of queries, captures the final state, and ensures equality between the initial and final states. This process substantiates the actual execution of queries and generates proof of queries (PoQ).
Thank you for considering contributing to Sphinx Cairo DB Simulator! We welcome your contributions and appreciate your efforts to improve the project. Before you get started, please take a moment to review the following guidelines.
Fork the Repository:
Clone the Repository:
git clone git@github.com:your-username/Cairo-DB-Simulator.git
cd Sphinx-Cairo-DB-Simulator
Create a Branch:
git checkout -b feature/your-feature
Make Changes:
Commit Changes:
git commit -m "Add your message here"
Push Changes:
git push origin feature/your-feature
Submit a Pull Request:
By contributing to this project, you agree to the Contributor License Agreement.
Thank you for your contribution!