core: v18.6.1

18.6.1 (2023-12-06)

Performance Improvements

• external-node: Use async miniblock sealing in external IO (#611) (5cf7210)

prover: v9.1.0

9.1.0 (2023-12-05)

Features

• Add various metrics to the Prover subsystems (#541) (58a4e6c)
• adds spellchecker workflow, and corrects misspelled words (#559) (beac0a8)
• dal: Do not load config from env in DAL crate (#444) (3fe1bb2)
• en: Implement gossip fetcher (#371) (a49b61d)
• hyperchain: Adding prover related commands to zk stack (#440) (580cada)
• job-processor: report attempts metrics (#448) (ab31f03)
• merkle tree: Allow random-order tree recovery (#485) (146e4cf)
• witness-generator: add logs to leaf aggregation job (#542) (7e95a3a)

Bug Fixes

• Change no pending batches 404 error into a success response (#279) (e8fd805)
• ci: Use the same nightly rust (#530) (67ef133)
• crypto: update shivini to switch to era-cuda (#469) (38bb482)
• Sync protocol version between consensus and server blocks (#568) (56776f9)

prover: v10.0.0

10.0.0 (2023-12-05)

⚠ BREAKING CHANGES

• boojum integration (#112)
• Update to protocol version 17 (#384)

Features

• Add various metrics to the Prover subsystems (#541) (58a4e6c)
• adds spellchecker workflow, and corrects misspelled words (#559) (beac0a8)
• boojum integration (#112) (e76d346)
• boojum: Adding README to prover directory (#189) (c175033)
• config: Extract everything not related to the env config from zksync_config crate (#245) (42c64e9)
• core: Split config definitions and deserialization (#414) (c7c6b32)
• dal: Do not load config from env in DAL crate (#444) (3fe1bb2)
• en: Implement gossip fetcher (#371) (a49b61d)
• fri-prover: In witness - panic if protocol version is not available (#192) (0403749)
• hyperchain: Adding prover related commands to zk stack (#440) (580cada)
• job-processor: report attempts metrics (#448) (ab31f03)
• merkle tree: Allow random-order tree recovery (#485) (146e4cf)
• merkle tree: Snapshot recovery for Merkle tree (#163) (9e20703)
• Rewrite server binary to use vise metrics (#120) (26ee1fb)
• Update to protocol version 17 (#384) (ba271a5)
• vm: Move all vm versions to the one crate (#249) (e3fb489)
• witness-generator: add logs to leaf aggregation job (#542) (7e95a3a)

Bug Fixes

• Change no pending batches 404 error into a success response (#279) (e8fd805)
• ci: Use the same nightly rust (#530) (67ef133)
• crypto: update deps to include circuit fixes (#402) (4c82015)
• crypto: update shivini to switch to era-cuda (#469) (38bb482)
• crypto: update snark-vk to be used in server and update args for proof wrapping (#240) (4a5c54c)
• docs: Add links to setup-data keys (#360) (1d4fe69)
• path: update gpu prover setup data path to remove extra gpu suffix (#454) (2e145c1)
• prover-fri: Update setup loading for node agg circuit (#323) (d1034b0)
• prover-logging: tasks_allowed_to_finish set to true for 1 off jobs (#227) (0fac66f)
• Sync protocol version between consensus and server blocks (#568) (56776f9)
• Update prover to use the correct storage oracle (#446) (835dd82)

core: v18.6.0

18.6.0 (2023-12-05)

Features

• contract-verifier: Support verification for zksolc v1.3.17 (#606) (b65fedd)

Bug Fixes

• Fix database connections in house keeper (#610) (aeaaecb)

core: v18.5.0

18.5.0 (2023-12-05)

Features

• Add metric to CallTracer for calculating maximum depth of the calls (#535) (19c84ce)
• Add various metrics to the Prover subsystems (#541) (58a4e6c)

Bug Fixes

• Sync protocol version between consensus and server blocks (#568) (56776f9)

core: v18.4.0

18.4.0 (2023-12-01)

Features

• adds spellchecker workflow, and corrects misspelled words (#559) (beac0a8)
• en: Support arbitrary genesis block for external nodes (#537) (15d7eaf)
• merkle tree: Remove enumeration index assignment from Merkle tree (#551) (e2c1b20)
• Restore commitment test in Boojum integration (#539) (06f510d)

Bug Fixes

• Change no pending batches 404 error into a success response (#279) (e8fd805)
• vm: Expose additional types and traits (#563) (bd268ac)
• witness_generator: Disable BWIP dependency (#573) (e05d955)

core: v18.3.1

18.3.1 (2023-11-28)

Bug Fixes

• external-node: Check txs at insert time instead of read time (#555) (9ea02a1)
• Update comments post-hotfix (#556) (339e450)

core: v18.3.0

18.3.0 (2023-11-28)

Features

• contract-verifier: Add zkvyper 1.3.13 (#552) (198deda)

Bug Fixes

• house_keeper: Emit the correct circuit_id for aggregation round 2 (#547) (9cada1a)

core: v18.2.0

18.2.0 (2023-11-27)

Features

• en: Implement gossip fetcher (#371) (a49b61d)
• state-keeper: reapply computational gas limit (#544) (698dbc3)
• state-keeper: Remove computational gas limit from boojum protocol version (#536) (e59a7c6)

Bug Fixes

• core: differentiate l2 to l1 logs tree size for pre and post boojum batches (#538) (1e9e556)
• proof_data_handler: Feature flag state_diff_hash check (#545) (0cab378)
• prover: use a more performant query to get next job for FRI prover (#527) (2cddf3c)

core: v18.1.0

18.1.0 (2023-11-20)

Features

• added consensus types and consensus column to miniblocks table (#490) (f9ae0ad)
• Adds prover_group_id label into fri_prover_prover_job metric (#503) (851e800)
• core: adds a get proof endpoint in zks namespace to http endpoint on main node (#504) (0ac4a4d)
• merkle tree: Allow random-order tree recovery (#485) (146e4cf)

Bug Fixes

• core: add tree url to jsonrpsee server on main node (#512) (7c137b7)
• Fixes panic on unknown FRI prover group id (#522) (1c315f3)