[ZK Stack] - prover compressor fails in custom testnet

[thecodingshrimp]

Team or Project

No response

Module Affected

• System contracts (era-system-contracts)
• Smart contracts (era-contracts)
• zkEVM (era-zk_evm)
• Server (zksync-era)
• Prover (era-boojum)
• Fee withdrawer (era-fee-withdrawer)
• Block Explorer (clock-explorer)
• Portal - Wallet + Bridge (dapp-portal)
• Other (please specify below)

Rust Version

1.87.0

Operating System

• Ubuntu
• MacOS
• Windows
• Other (Please specify below)

Issue Description

compressor fails with the following error message:

thread 'tokio-runtime-worker' panicked at crates/lib/keystore/src/compressor.rs:115:39 "No such file or directory"

Expected Behavior

executing the following set of commands in sequence should result in a compressed proof.

$ zkstack ecosystem create --l1-network localhost --link-to-code /path/to/zksync-era --ecosystem-name eco-zksync --chain-name testchain --chain-id 271 --wallet-creation localhost --prover-mode gpu --l1-batch-commit-data-generator-mode validium --evm-emulator false --update-submodules false --start-containers true

$ zkstack ecosystem init --update-submodules false --validium-type no-da --deploy-erc2 true --deploy-ecosystem true --ecosystem-contracts-path /path/to/era/contracts --l1-rpc-url http://localhost:8545 --deploy-paymaster true

$ zkstack server --components=api,tree,eth,state_keeper,housekeeper,commitment_generator,da_dispatcher,proof_data_handler,vm_runner_protective_reads,vm_runner_bwip

$ zksync-cli bridge deposit --rpc http://localhost:3050 --l1-rpc http://localhost:8545 (just to have a transaction to prove)

$ zkstack prover init --setup-keys true --mode generate --setup-database true --use-default true --dont-drop false --bellman-cuda true --setup-compressor-key true

$ zkstack prover run --component=gateway

$ zkstack prover run --component=witness-generator --round=all-rounds

$ zkstack prover run --component=circuit-prover -l 15 -h 1

$ zkstack prover run --component=prover-job-monitor

$ zkstack prover run --component=compressor

Current Behavior

after the circuit-prover successfully generated the proof, the compressor picks up the proof and then fails at the aforementioned line.

Repository Link (if applicable)

No response

Additional Details

No response

Prior Research

• Yes, I searched for similar issues and did not find any matching ones.

[itegulov]

It seems like you are missing PLONK setup data. Can you try running zkstack prover setup-keys? Downloading the keys should be enough but you can generate them from scratch if you want to.

[thecodingshrimp]

yeah I did that during zkstack prover init and chose to generate them locally. I updated my command sequence for better clarification.

I also tried executing zkstack prover setup-keys --mode generate but still, it has the same error.

[thecodingshrimp]

after downloading the keys the compressor command works, but not with the generate flag.

[itegulov]

I see, thanks for reporting. We're in the process of getting rid of PLONK so its setup data generation might've slipped through the cracks. We recommend running prover in FFLONK mode now (zkstack prover run --component compressor --mode fflonk). Also note that it will become the default mode in the near future.