Skip to content

batch header refactor #328

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

Merged
merged 2 commits into from
Jul 10, 2024
Merged

Conversation

roynalnaruto
Copy link
Contributor

batch header has a new construct method here.

this PR updates the prover deps to use the updated commit from feat/agg_recursion. Since the proof type has a minor change, we also update the .json representing batch proofs.

@roynalnaruto roynalnaruto merged commit 5cad070 into release/v0.12 Jul 10, 2024
@roynalnaruto roynalnaruto deleted the test/batch-header-refactor branch July 10, 2024 18:20
lispc added a commit that referenced this pull request Aug 8, 2024
* wip: not compiling

* some more updates

* config for layer5

* update e2e test

* add bundle proving

* remove fields that are not needed anymore

* minor change

* correction to the vk name

* update dep, dump prove task for batch

* remove generic from gen_batch_proof

* verifier has optional deployment code, update

* sigh

* update dep

* add test artifacts for bundle test

* renaming proof generated in e2e

* fix path

* update bundle test

* update prover dep

* batch header in e2e test (multi-batch)

* avoid fetching chunk proof from cache (multi-batch)

* update testing data

* fix issue in e2e

* delay creation of batch prover

* udpate dep and testing data

* update dep

* update dependency

* assets for release-v0.12.0-rc.1

* batch header refactor (#328)

* update e2e tests based on prover updates

* update dep and proof outputs (test data)

---------

Co-authored-by: Zhuo Zhang <[email protected]>

* add BatchProvingTask for batch tests

* bump prover

* bump prover and fix compilation

* assets for release-v0.12.0-rc.2

* add the preprocessed digest (first 32 bytes of pi)

* redirect proprocessed data to separate hex file in release script

* layer6 optimise (advice=1)

* bump prover

* bump prover

* fix: compilation

* correct structure for batch proving task

* add batch-bundle proving e2e test

* correct data, more logging

* [Refactor] Verifier for compression circuit (#331)

Refactor verifier

* [Feat] A new unittest for evm verifier (#332)

induce new evm verifier test

Co-authored-by: Rohit Narurkar <[email protected]>

* assets: v0.12.0-rc.3

* bump prover

* bump prover

* assets: v0.12.0

* fix: tmp fix compilation

* remove old assets

---------

Co-authored-by: Rohit Narurkar <[email protected]>
Co-authored-by: noelwei <[email protected]>
Co-authored-by: Zhuo Zhang <[email protected]>
Co-authored-by: Ho <[email protected]>
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