[ZK Stack] - Failed to generate proof.

[SuccinctPaul]

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.74.0-nightly

Operating System

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

Issue Description

See more on matter-labs/zksync-era#1084

• previous one:
  error(prover_fri): Error occurred while processing FriCpuProver job: "unsatisfied" matter-labs/zksync-era#1008

Expected Behavior

Generate proof successfully

Current Behavior

Meet error.

See more on
matter-labs/zksync-era#1084

• previous one:
  error(prover_fri): Error occurred while processing FriCpuProver job: "unsatisfied" matter-labs/zksync-era#1008

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.

[SuccinctPaul]

Reason to see: matter-labs/zksync-era#1084 (comment)