Skip to content

Commit

Permalink
fix: make zk status prover use the new prover table (#1044)
Browse files Browse the repository at this point in the history
## What ❔

Changed all usages of `prover_protocol_versions` to
`prover_fri_protocol_versions`, since the table got renamed

## Why ❔

`zk status prover` is broken:

```
$ zk status prover                                                                                                                                                                   19:04:27
==== FRI Prover Status ====
State keeper: First batch: 0, recent batch: 1
L1 state: block verified: 0, block committed: 1
Verification key hash on contract is 0x8574e152c41dc39a2ecab984545e1cf21cb3ec250b919018a8053f2fa270784f
Error: relation "prover_protocol_versions" does not exist
```

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ ] Tests for the changes have been added / updated.
- [ ] Documentation comments have been added / updated.
- [x] Code has been formatted via `zk fmt` and `zk lint`.
- [x] Spellcheck has been run via `zk spellcheck`.
- [x] Linkcheck has been run via `zk linkcheck`.
  • Loading branch information
itegulov authored Feb 13, 2024
1 parent f88a8ff commit 9b21d7f
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion infrastructure/zk/src/status.ts
Original file line number Diff line number Diff line change
Expand Up @@ -102,7 +102,7 @@ async function compareVerificationKeys() {
return;
}

let protocol_version = await query('select recursion_scheduler_level_vk_hash from prover_protocol_versions');
let protocol_version = await query('select recursion_scheduler_level_vk_hash from prover_fri_protocol_versions');
if (protocol_version.rowCount != 1) {
console.log(`${redStart}Got ${protocol_version.rowCount} rows with protocol versions, expected 1${resetColor}`);
return;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@ fn circuit_commitments() -> anyhow::Result<L1VerifierConfig> {
// we load the SNARK-wrapper verification key.
// This is due to the fact that these keys are used only for picking the
// prover jobs / witgen jobs from the DB. The keys are matched with the ones in
// `prover_protocol_versions` table, which has the SNARK-wrapper verification key.
// `prover_fri_protocol_versions` table, which has the SNARK-wrapper verification key.
// This is OK because if the FRI VK changes, the SNARK-wrapper VK will change as well.
// You can actually compute the SNARK-wrapper VK from the FRI VK, but this is not yet
// implemented in the `zkevm_test_harness`, so instead we're loading it from the env.
Expand Down

0 comments on commit 9b21d7f

Please sign in to comment.