[Book] Generating proof

[dmirgaleev]

Add a documentation page describing how to run Stone prover given all the input arguments. It has to also include a section about docker-based setup.

Path to your markdown file: docs/pages/usage/proving.md

References:

• https://github.com/starkware-libs/stone-prover?tab=readme-ov-file#creating-and-verifying-a-proof-of-a-cairo-program

[Calebux]

I'll like to work on this when OD hack starts

[onlydustapp]

Hi @Calebux!
Maintainers during the ODHack # 8.0 will be tracking applications via OnlyDust.
Therefore, in order for you to have a chance at being assigned to this issue, please apply directly here, or else your application may not be considered.

[martinvibes]

hello @dmirgaleev i am a blockchain developer and a technical writer
please can i work on this issue :) and would love to be a contributor

here are some of the docs i have writting:
https://github.com/cairo-book/cairo-book/blob/main/src/ch16-05-01-price-feeds.md
https://github.com/bandada-infra/bandada/blob/main/README.md
https://github.com/lfglabs-dev/starknet.quest/blob/testnet/docs/CONTRIBUTING.md

please assign me :)

[onlydustapp]

Hi @martinvibes!
Maintainers during the ODHack # 8.0 will be tracking applications via OnlyDust.
Therefore, in order for you to have a chance at being assigned to this issue, please apply directly here, or else your application may not be considered.

[martinvibes]

I am applying to this issue via OnlyDust platform.

My background and how it can be leveraged

hello i am a frontend developer and a technical writer
please can i work on this issue :)
i would love to be a contributor on this repo

[CollinsC1O]

I am applying to this issue via OnlyDust platform.

My background and how it can be leveraged

hello @dmirgaleev can I take on this

How I plan on tackling this issue

I did love to work on implementing this documentation

[Benjtalkshow]

I am applying to this issue via OnlyDust platform.

My background and how it can be leveraged

My name is Benjamin, and I can create a documentation page that explains how to run the Stone prover. I have contributed to 18 projects since joining OnlyDust, and I’m experienced in writing documentation, so I’m excited to tackle this task.

How I plan on tackling this issue

The goal of this documentation is to provide clear instructions on how to run the Stone prover with all the necessary input arguments. I want to make sure it’s easy for anyone to understand, especially those who might be new to it.

I will also include a section about setting up the Stone prover using Docker. Many users find Docker helpful because it simplifies the installation process, so I want to ensure we cover that.

This information will be organized in a markdown file at docs/pages/usage/proving.md, making it easy for anyone to find.

To gather the necessary details, I will refer to the Stone Prover GitHub Repository. This resource has important information on creating and verifying proofs for Cairo programs, which will be really useful for this documentation.

[josephchimebuka]

I am applying to this issue via OnlyDust platform.

My background and how it can be leveraged

Hello, I am Joseph I am a frontend developer and blockchain developer and I am also an active contributor here on only dust here is my profile https://app.onlydust.com/u/josephchimebuka. This is my first time to contribute to this repo ill appreciate the opportunity to contribute. this is an article I wrote for Karst https://medium.com/@josephchimebuka/krast-a-decentralized-social-graph-built-on-starknet-with-erc-6551-c4c9800b5a9d

How I plan on tackling this issue

I will add a documentation page describing how to run Stone prover given all the input arguments and I will submit a PR in 2-3 days

[dmirgaleev]

Hello @martinvibes! Welcome aboard! Please don't hesitate to join our Telegram group https://t.me/baking_bad_odhack to ask questions and share your progress! Happy hacking!

[martinvibes]

@dmirgaleev thank you will get to work

[Kaminar-i]

hello @dmirgaleev can i take on this issue

[Kaminar-i]

I am applying to this issue via OnlyDust platform.

My background and how it can be leveraged

hello i am a frontend developer and a technical writer
please can i work on this issue :)
i would love to be a contributor on this repo

How I plan on tackling this issue

kindly assign :)

[dmirgaleev]

Hello @Kaminar-i! Welcome aboard! Please don't hesitate to join our Telegram group t.me/baking_bad_odhack to ask questions and share your progress! Happy hacking!

[dmirgaleev]

Friendly heads up that you have until Sunday (October 6) to push your final PR. @Kaminar-i