Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Verify Proof of Work / Grinding #7

Closed
tiagofneto opened this issue Dec 14, 2023 · 2 comments · Fixed by #42
Closed

Verify Proof of Work / Grinding #7

tiagofneto opened this issue Dec 14, 2023 · 2 comments · Fixed by #42
Assignees
Labels
enhancement New feature or request STARK

Comments

@tiagofneto
Copy link
Contributor

Described in ethSTARK paper 3.11.3.

Reference: https://github.com/starkware-libs/cairo-lang/blob/9e6e0e96d208608d98635ccfad5b26285c4936e1/src/starkware/cairo/stark_verifier/core/proof_of_work.cairo

@tiagofneto tiagofneto added STARK enhancement New feature or request good first issue Good for newcomers labels Dec 14, 2023
@neotheprogramist neotheprogramist self-assigned this Dec 28, 2023
@Okm165
Copy link
Collaborator

Okm165 commented Jan 4, 2024

@tiagofneto @neotheprogramist do we have any progress here?
Verify Proof of Work is the next thing I need for stark-verify task
I can take this task so it unblocks me
Lmk what we do, Cheers

Reference

@neotheprogramist
Copy link
Contributor

@Okm165
Feel free to take it

@Okm165 Okm165 assigned Okm165 and unassigned neotheprogramist Jan 4, 2024
@Okm165 Okm165 moved this from Backlog to Todo in Cairo Verifier Jan 4, 2024
@Okm165 Okm165 moved this from Todo to In Progress in Cairo Verifier Jan 5, 2024
@Okm165 Okm165 linked a pull request Jan 5, 2024 that will close this issue
@Okm165 Okm165 removed the good first issue Good for newcomers label Jan 5, 2024
@Okm165 Okm165 moved this from In Progress to Review in Cairo Verifier Jan 6, 2024
@Okm165 Okm165 closed this as completed in #42 Jan 9, 2024
@github-project-automation github-project-automation bot moved this from Review to Done in Cairo Verifier Jan 9, 2024
@Okm165 Okm165 moved this from Done to Done&Tested in Cairo Verifier Jan 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request STARK
Projects
Status: Done&Tested
Development

Successfully merging a pull request may close this issue.

3 participants