Boojum prover: Proved block without metadata!

[zk-CLEO]

🌟 Feature Request

Proved block without metadata!

📝 Description

When i run success prover network. I send a lot of transactions to L2 zkSync and i wait a 1 day. After, i check logs of zkSync and i saw message is: "Received proof for block number: 1" but it has error logs message is "Proved block without metadata". Please, explain to me.

[EmilLuta]

You're either using old versions or not running eth_sender.

[zk-CLEO]

You're either using old versions or not running eth_sender.

How i can check eth_sender is running ?

[EmilLuta]

I'd suggest you read the documentation. Alternatively, your zk server command should have --components=eth (alongside all other components) to include the eth sender. Hope this helps!

[zk-CLEO]

Contributo

Oh, Im running zk server command should have --components=eth ( and all other components). But, it has error is:

I don't know why it appeared. Is it a developer error or something that happened when I deployed ?

[EmilLuta]

I can't really tell. I don't see a lot of the logs, nor the command you ran before that. I don't know how to reproduce it either.

[zk-CLEO]

I can't really tell. I don't see a lot of the logs, nor the command you ran before that. I don't know how to reproduce it either.

I'm following all step run boojum prover for CPU option on link: https://github.com/matter-labs/zksync-era/tree/main/prover/prover_fri.

And my server is Ubuntu 20.04, 20 core, 132GB Ram and 490GB ssd disk

[obeliskgolem]

I temporarily fix this issue by running zk server twice. The first time run with zk server --components=api,eth,tree,state_keeper,housekeeper,proof_data_handler, second time zk server --components=api,eth,tree,state_keeper,housekeeper,proof_data_handler,commitment_generator. To me it looks like some metadata of the L1 Batch is not updated to database.

[EmilLuta]

@zk-CLEO Does the above help?

[nafasho]

yes agree

[powerhuman]

nice idea

[miladhatami1393]

You're either using old versions or not running