Skip to content
Build and Test

Separate preprocessing from proving and verification by adding a parameter --stage to proof producer #355

Sign in to view logs

Separate preprocessing from proving and verification by adding a parameter --stage to proof producer

Separate preprocessing from proving and verification by adding a parameter --stage to proof producer #355

Triggered via pull request September 5, 2024 10:51
@martunmartun
synchronize #97
96-separate-preprocessing-from-proving-and-verification-by-adding-a-parameter-stage-to-proof-producer
Status Failure
Total duration 8m 0s
Artifacts –

pull_request.yml

on: pull_request
Call Reusable SyncWith Handler  /  Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs
2s
Call Reusable SyncWith Handler / Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs
Prepare targets strings
0s
Prepare targets strings
Get zkLLVM run to use artifacts from
5s
Get zkLLVM run to use artifacts from
Build prover, generate proofs for circuits
1m 33s
Build prover, generate proofs for circuits
Verify proof-producer proofs with EVM-placeholder  /  run-tests
Verify proof-producer proofs with EVM-placeholder / run-tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build prover, generate proofs for circuits
Process completed with exit code 1.