-
Notifications
You must be signed in to change notification settings - Fork 2.1k
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(proof-data-handler): exclude batches without object file in GCS #2980
feat(proof-data-handler): exclude batches without object file in GCS #2980
Conversation
f1b8ad3
to
65cc26e
Compare
@popzxc, I remember you mentioned not to ask for code reviews this wave, but you're probably the most familiar with this code (along with @slowli). So, if you could make an exception this time, I’d really appreciate it. If you're busy, no worries – feel free to ignore, and I’ll ask @RomanBrodetski to find someone else. Thanks! |
Kindly ping @slowli @RomanBrodetski. I need a reviewer. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@pbeza to be honest I don't fully follow this solution. I understand what we are trying to do (mark older unresolved jobs as skipped), but I'm not sure I understand the Why
here. We can discuss over a huddle or async
core/lib/dal/migrations/20240930110000_tee_add_permanently_ignored_state.down.sql
Outdated
Show resolved
Hide resolved
4ee505b
to
bfeddc9
Compare
…as-permanently-ignored-automatically
…as-permanently-ignored-automatically
We already depend on zksync_types, which re-exports a substantial part of basic types.
…as-permanently-ignored-automatically
…as-permanently-ignored-automatically
…as-permanently-ignored-automatically
…as-permanently-ignored-automatically
…as-permanently-ignored-automatically
…as-permanently-ignored-automatically
@slowli @haraldh I just retested everything manually to ensure that transitioning to the |
🤖 I have created a release *beep* *boop* --- ## [25.3.0](core-v25.2.0...core-v25.3.0) (2024-12-11) ### Features * change seal criteria for gateway ([#3320](#3320)) ([a0a74aa](a0a74aa)) * **contract-verifier:** Download compilers from GH automatically ([#3291](#3291)) ([a10c4ba](a10c4ba)) * integrate gateway changes for some components ([#3274](#3274)) ([cbc91e3](cbc91e3)) * **proof-data-handler:** exclude batches without object file in GCS ([#2980](#2980)) ([3e309e0](3e309e0)) * **pruning:** Record L1 batch root hash in pruning logs ([#3266](#3266)) ([7b6e590](7b6e590)) * **state-keeper:** mempool io opens batch if there is protocol upgrade tx ([#3360](#3360)) ([f6422cd](f6422cd)) * **tee:** add error handling for unstable_getTeeProofs API endpoint ([#3321](#3321)) ([26f630c](26f630c)) * **zksync_cli:** Health checkpoint improvements ([#3193](#3193)) ([440fe8d](440fe8d)) ### Bug Fixes * **api:** batch fee input scaling for `debug_traceCall` ([#3344](#3344)) ([7ace594](7ace594)) * **tee:** correct previous fix for race condition in batch locking ([#3358](#3358)) ([b12da8d](b12da8d)) * **tee:** fix race condition in batch locking ([#3342](#3342)) ([a7dc0ed](a7dc0ed)) * **tracer:** adds vm error to flatCallTracer error field if exists ([#3374](#3374)) ([5d77727](5d77727)) --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please). --------- Co-authored-by: zksync-era-bot <[email protected]>
What ❔
/tee/proof_inputs
endpoint no longer returns batches that have no corresponding object file in Google Cloud Storage for an extended period.Why ❔
TEE's
proof-data-handler
onmainnet
was flooded with warnings.Since the recent
mainnet
's24.25.0
redeployment, we've been flooded with warnings for theproof-data-handler
onmainnet
(the warnings are actually not fatal in this context):The issue is caused by the code behind the
/tee/proof_inputs
endpoint (which is equivalent to the/proof_generation_data
endpoint) – it finds the next batch to send to the requestingtee-prover
by looking for the first batch that has a corresponding object in the Google object store. As it skips over batches that don’t have the objects, it logsFailed request with a fatal error
for each one (unless the skipped batch was successfully proven, in which case it doesn’t log the error). This happens with every request thetee-prover
sends, which is why we're getting so much noise in the logs.One possible solution is to flag the problematic batches as
permanently_ignored
, like Thomas did before onmainnet
.Checklist
zk fmt
andzk lint
.