Skip to content
Build and Test

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

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 #353

Triggered via pull request September 2, 2024 13:11
@martunmartun
synchronize #97
96-separate-preprocessing-from-proving-and-verification-by-adding-a-parameter-stage-to-proof-producer
Status Failure
Total duration 3m 1s
Artifacts –

pull_request.yml

on: pull_request
Call Reusable SyncWith Handler  /  Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs
8s
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 31s
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.