Skip to content
This repository has been archived by the owner on Feb 17, 2025. It is now read-only.
Build and Test

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

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

Triggered via pull request August 30, 2024 11:42
@martunmartun
opened #97
96-separate-preprocessing-from-proving-and-verification-by-adding-a-parameter-stage-to-proof-producer
Status Failure
Total duration 3m 50s
Artifacts –

pull_request.yml

on: pull_request
Call Reusable SyncWith Handler  /  Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs
3s
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
6s
Get zkLLVM run to use artifacts from
Build prover, generate proofs for circuits
1m 32s
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.