Skip to content
Check Imports

feat(OracleReduction): prove identity verifier soundness and reduction log-discard #1977

Sign in to view logs

feat(OracleReduction): prove identity verifier soundness and reduction log-discard

feat(OracleReduction): prove identity verifier soundness and reduction log-discard #1977

Triggered via pull request August 5, 2026 02:39
@alexanderlhicksalexanderlhicks
synchronize #681
pr491-rebased
Status Success
Total duration 13s
Artifacts –

check-imports.yml

on: pull_request
Check Library File Imports
4s
Check Library File Imports
Fit to window
Zoom out
Zoom in