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.

Sign up for GitHub

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

Jump to bottom

prove fibonacci program example to improve testing coverage #352

Closed
2 tasks
kunxian-xia opened this issue Oct 10, 2024 · 0 comments · Fixed by #368
Closed
2 tasks

prove fibonacci program example to improve testing coverage #352

kunxian-xia opened this issue Oct 10, 2024 · 0 comments · Fixed by #368
Assignees
@kunxian-xia
Labels
examples integration

Comments

@kunxian-xia
Copy link
Collaborator

kunxian-xia commented Oct 10, 2024 •
edited
Loading

The goal is to be able to prove fibonacci program ELF (compiled by SP1 rust toolchain) in ceno zkvm as a replacement for our current riscv_examples integration test.

  • load ELF compiled by SP1 toolchain and run executor to generate program execution records
  • prove / verify
@kunxian-xia kunxian-xia self-assigned this Oct 10, 2024
@kunxian-xia kunxian-xia moved this to Todo in Ceno - Base VM Oct 10, 2024
@kunxian-xia kunxian-xia linked a pull request Oct 12, 2024 that will close this issue
Integration test #368
Merged
@kunxian-xia kunxian-xia changed the title use ceno zkvm to prove guest fibonacci program example prove fibonacci program example to improve testing coverage Oct 12, 2024
@kunxian-xia kunxian-xia moved this from Todo to In Progress in Ceno - Base VM Oct 31, 2024
@github-project-automation github-project-automation bot moved this from In Progress to Done in Ceno - Base VM Nov 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kunxian-xia kunxian-xia

Labels
examples integration
Projects
Ceno - Base VM
Status: Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Integration test scroll-tech/ceno
1 participant
@kunxian-xia