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

feat: return VKs from chunk and batch provers #245

Merged
merged 9 commits into from
Sep 4, 2023
Merged

Conversation

silathdiir
Copy link
Contributor

@silathdiir silathdiir commented Aug 24, 2023

Summary

Related scroll PR scroll-tech/scroll#894

  • Add VK files to assets of chunk and batch provers.

  • Read VKs when init provers.

  • Check and clear init VK with generated VK (from PK) after generates for the first time. Log an error if not equal.

  • Add a new test trace prover/tests/extra_traces/new.json (with startL1QueueIndex) for chunk-tests and aggregation-tests.

  • Delete Dockerfile.

Test

  • Run twice for chunk-prove, and copy chunk VK to assets dir for the second run.
  • Run twice for agg-prove (same as chunk-prove).

@silathdiir silathdiir force-pushed the feat/gen-pks-at-beginning branch from 7cf4a8d to ee3e02a Compare August 24, 2023 08:35
@silathdiir silathdiir requested a review from lispc August 24, 2023 09:06
@silathdiir silathdiir changed the title [Testing] feat: add gen_pk flag when init chunk-prover feat: add gen_pk flag when init chunk-prover Aug 24, 2023
@silathdiir silathdiir marked this pull request as draft August 25, 2023 09:58
@silathdiir silathdiir force-pushed the feat/gen-pks-at-beginning branch from f7b1fca to 29abb4e Compare August 31, 2023 07:13
@silathdiir silathdiir changed the title feat: add gen_pk flag when init chunk-prover feat: return VKs from chunk and batch provers Aug 31, 2023
@silathdiir silathdiir changed the title feat: return VKs from chunk and batch provers feat: return VKs for chunk and batch provers Aug 31, 2023
@silathdiir silathdiir changed the title feat: return VKs for chunk and batch provers feat: return VKs from chunk and batch provers Aug 31, 2023
@silathdiir silathdiir force-pushed the feat/gen-pks-at-beginning branch from 9eb6e1f to ae5e1c1 Compare August 31, 2023 11:31
@silathdiir silathdiir changed the title feat: return VKs from chunk and batch provers [Testing] feat: return VKs from chunk and batch provers Aug 31, 2023
@silathdiir silathdiir marked this pull request as ready for review August 31, 2023 12:16
@silathdiir silathdiir changed the title [Testing] feat: return VKs from chunk and batch provers feat: return VKs from chunk and batch provers Aug 31, 2023
impl Prover {
pub fn gen_chunk_pk(&mut self, output_dir: Option<&str>) -> Result<()> {
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

is this function still relevant? or just keep it here in case for future use?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Delete this function in commit 66f6d56.

lispc
lispc previously approved these changes Sep 2, 2023
@lispc lispc merged commit 4205c5d into main Sep 4, 2023
5 checks passed
@lispc lispc deleted the feat/gen-pks-at-beginning branch September 4, 2023 03:19
cyphersnake pushed a commit to cyphersnake/scroll-prover that referenced this pull request Jul 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants