Skip to content

Conversation

@roynalnaruto
Copy link
Collaborator

The PR refactors:

  • batch header
  • codec

The primary purpose of doing so is to avoid any confusion from the previously added V8 (for both codec and batch header).

Since the introduction of Version, the witness' version byte is capable of encoding both the STFVersion as well as the Codec. Hence we no longer need additional variants of codec and batch header for v8, since the da-codec essentially remains the same.

In order to provide more clarity, the PR introduces an umbrella variant V7_V8_V9 for the batch header that covers those cases.

All checks related to batch header's version and blob's version byte are effectively already done using the stf-version, so we don't need any of the v8 modules. We simply re-use v7 wherever applicable.

Copy link

@Thegaram Thegaram left a comment

Choose a reason for hiding this comment

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

Lgtm, this makes is much clearer, thanks!

@lispc lispc requested a review from lightsing as a code owner November 18, 2025 14:22
@github-actions github-actions bot added crate-chunk-circuit Updates to the guest program chunk-circuit crate-batch-circuit Updates to the guest program batch-circuit crate-bundle-circuit Updates to the guest grogram bundle-circuit crate-circuits Any update made to the circuits, i.e. commitments reflect a change labels Nov 18, 2025
@roynalnaruto roynalnaruto merged commit db70d80 into feat/galileo Nov 18, 2025
4 checks passed
roynalnaruto added a commit that referenced this pull request Nov 20, 2025
* chore: add galileo fork and update pi

* chore: bump sbv

* fix: bump sbv and fix compilation

* add witness data

* test: sbv update

* try dbg

* chore: bump sbv

* fix: compilation post sbv update

* test: remove witness for block xxx156

* test: update testdata

* commitments

* test data updated devnet3

* update test data

* update first block witness (testdata galileo)

* chore: bump reth + sbv

* chore: commitments

* chore: bump sbv+reth

* commitments

* chore: bump all

* fix: version in blob is da-codec

* fix: onchain batch header version is stf-version

* fix(tests): pi-hash for e2e

* tests: reduce proofgen time by changing e2e wit

* commitments

* chore: bump version

* chore: commitments for 0.7.0-rc.1

* fix: blob's version is also stf-version

* v0.7.0-rc.2 ok

* chore: commitments

* Galileo refactor header (#225)

* refactor header to avoid duplicate variants

* codec v8 no longer needed as it is identical with v7

* chore: commitments

* chore: more refactoring, remove pi_hash_by_fork

* chore: commitments

---------

Co-authored-by: Zhuo Zhang <mycinbrin@gmail.com>

* Re-introduce `ReferenceHeader::V8` for backwards compatibility with `0.5.2` (#226)

* fix: re-introduce ReferenceHeader::V8 for backwards compatibility

* for automatically set is_openvm_v13 flag in verifier, also recognize 0.5.6 release files

* chore: fmt

* chore: commitments

---------

Co-authored-by: Ho <fan@scroll.io>
Co-authored-by: Zhuo Zhang <mycinbrin@gmail.com>

---------

Co-authored-by: Zhuo Zhang <mycinbrin@gmail.com>
Co-authored-by: Ho <fan@scroll.io>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

crate-batch-circuit Updates to the guest program batch-circuit crate-bundle-circuit Updates to the guest grogram bundle-circuit crate-chunk-circuit Updates to the guest program chunk-circuit crate-circuits Any update made to the circuits, i.e. commitments reflect a change crate-integration Updates to the integration crate

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants