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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Prepare targets strings
1s
Call Reusable SyncWith Handler / Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs
2s
Get zkLLVM run to use artifacts from
8s
Build prover, generate proofs for circuits
3m 39s
Verify proof-producer proofs with EVM-placeholder
0s
3m 50s