Skip to content

Conversation

@kunxian-xia
Copy link
Collaborator

@kunxian-xia kunxian-xia commented Aug 5, 2025

Summary

In this pr,

  1. we add a script to run the e2e test that generates STARK to verify Ceno proof of $\textrm{fib}(2^{10}) = 4191$.
    The cmd to run it is bash ./scripts/e2e_test.sh.
  2. we add a CI job to run the e2e test and also all unit tests.

TODO

@kunxian-xia kunxian-xia self-assigned this Aug 5, 2025
@kunxian-xia kunxian-xia linked an issue Aug 5, 2025 that may be closed by this pull request
@kunxian-xia kunxian-xia added the e2e label Aug 5, 2025
@kunxian-xia kunxian-xia merged commit 53cb17e into main Aug 5, 2025
1 check passed
@kunxian-xia kunxian-xia deleted the feat/generate_stark branch August 5, 2025 14:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

feat: e2e verifier for basefold+babybear proof

1 participant