📝 Adding Steps for 09-recursion tutorial

[LuffySama-Dev]

Hi @barriebyron ,

Good Day!!
I am creating this new PR instead of this old PR #763 as many new changes have been committed in this repo.
I have made all the recommended changes in this PR.

I am still working on the Vote and Rollup so we can keep this PR in draft for couple of days.
I will try to commit all the changes and close it by tomorrow EOD.

You can track changes here:

Changes made:

• Tutorial made easy to follow
• Using latest o1js version
• Match the file structure and code base to tutorial
• Changes made in example are tested locally

Upcoming changes:

• Updating tutorial for rollup.ts example
• Updating tutorial for vote.ts example
• Updating the file structure and code according to upcoming changes in tutorial

Issues being resolve here are :

• Issue add steps to Tutorial 9 to run the code add steps to Tutorial 9 to run the code  #628 is being worked on
• Issue HF audit zkApp tutorials: verify and run through code for Tutorial 9: Recursion #759 will also be resolved once all changes are made

Thank you 😃

[vercel]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Comments	Updated (UTC)
docs2	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Feb 13, 2024 9:27pm

[vercel]

@LuffySama-Dev is attempting to deploy a commit to the o1labs Team on Vercel.

A member of the Team first needs to authorize it.

[LuffySama-Dev]

Hi @barriebyron ,

As requested in this comment #763 (comment), I have made the changes.

Can you please help to review ?

Thank You 😃

[barriebyron]

@iregina can you do the first round of review and testing? thank you!

[iregina]

I ran your code, but came across an issue in the src/zkProgram_wrapper.ts:

src/zkProgram_wrapper.ts:9:3 - error TS2440: Import declaration conflicts with local declaration of 'ZkProgram'.

Question - @LuffySama-Dev Did you also get this issue when you ran this with o1js version 15.1?

[barriebyron]

The doc updates look good @LuffySama-Dev
Our DevRel @iregina is going to run through the steps and we'll get these improvements merged, thank you so much!!

[LuffySama-Dev]

I ran your code, but came across an issue in the src/zkProgram_wrapper.ts:

src/zkProgram_wrapper.ts:9:3 - error TS2440: Import declaration conflicts with local declaration of 'ZkProgram'.

Question - @LuffySama-Dev Did you also get this issue when you ran this with o1js version 15.1?

Hi @iregina ,
Oh Yes, I forgot to mention this. Thanks for reminding. The error is because the function name is same as what we are importing. (Added Screenshot for reference).

Also, I think this file is not actually require, I think it is implementation for ZkProgram in proof_system.d.ts.
The error can be removed by removing the unnecessary imports, but to be honest this program seems to be incomplete, maybe we can remove it.

Thank You 😃

[barriebyron]

thanks @LuffySama-Dev you are very on top of things! I learned to run the code in your PR

(see me dancing?)

[iregina]

Looks good - went through this in detail with Barrie and Jack!