fix(coprocessor): Add retry logic for DB connections within zkproof computation tasks #429

[goshawk-3]

fixes https://github.com/zama-ai/fhevm-internal/issues/429

[Copilot]

Pull Request Overview

This PR adds retry logic for database connections within zkproof computation tasks to improve resilience against transient database connection failures.

• Replaces direct PgPool usage with PostgresPoolManager for automatic retry capabilities
• Updates the ZkProofService to use the new pool manager with proper cancellation handling
• Refactors worker spawning to leverage database retry mechanisms through the pool manager

Reviewed Changes

Copilot reviewed 5 out of 7 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
coprocessor/fhevm-engine/zkproof-worker/src/verifier.rs	Core implementation changes replacing PgPool with PostgresPoolManager and adding retry logic
coprocessor/fhevm-engine/zkproof-worker/src/tests/utils.rs	Updates test setup to use PostgresPoolManager instead of direct PgPool
coprocessor/fhevm-engine/zkproof-worker/src/tests/mod.rs	Updates test methods to extract PgPool from PostgresPoolManager
coprocessor/fhevm-engine/zkproof-worker/src/lib.rs	Adds configuration fields and error conversion for ServiceError
coprocessor/fhevm-engine/zkproof-worker/Cargo.toml	Adds humantime dependency

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}

[goshawk-3]

@Mergifyio queue

[mergify]

queue

🛑 The pull request has been removed from the queue main

Details

The draft pull request cannot be created.

You can take a look at Queue: Embarked in merge queue check runs for more details about the failure.

[goshawk-3]

@Mergifyio refresh

[mergify]

refresh

✅ Pull request refreshed

[goshawk-3]

@Mergifyio queue

[mergify]

queue

🛑 The pull request has been removed from the queue main

Details

The merge conditions cannot be satisfied due to failing checks.

You can take a look at Queue: Embarked in merge queue check runs for more details about the failure.

[mergify]

This pull request has been removed from the queue for the following reason: checks failed.

The merge conditions cannot be satisfied due to failing checks:

• ☑️ charts-helm-checks/test (bpr)
• ☑️ gateway-contracts-deployment-tests/sc-deploy (bpr)
• ☑️ test-suite-e2e-tests/fhevm-e2e-test (bpr)

You may have to fix your CI before adding the pull request to the queue again.
If you update this pull request, to fix the CI, it will automatically be requeued once the queue conditions match again.
If you think this was a flaky issue instead, you can requeue the pull request, without updating it, by posting a @mergifyio requeue comment.