Update prover with new ZKsync OS binary

Updates ZKsync Airbender Prover with a new ZKsync OS binary.

Use this script when you need to update the prover with a new ZKsync OS binary after a new ZKsync OS release.

Script performs the following steps:

  • Replaces ZKsync OS binary used by the prover with a new version corresponding to the specified release tag.
  • Updates prover configuration to reference the new binary and its associated parameters.

Local use

Example usage

REPO_DIR="/path/to/zksync-airbender-prover" \
ZKSYNC_OS_TAG=<new_zksync_os_tag> \
    uv run -m scripts.update_prover

To run the script, you will need: