Skip to content
CI

Fiat-Shamir for partial verification #25

Sign in to view logs

Fiat-Shamir for partial verification

Fiat-Shamir for partial verification #25

Triggered via pull request September 26, 2023 16:20
@xqftxqft
synchronize #15
fiat-shamir_circuit
Status Failure
Total duration 5m 58s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yaml

on: pull_request
KZG Prover  /  Check, fmt, clippy, test and run
1m 58s
KZG Prover / Check, fmt, clippy, test and run
Public input generation  /  Check, fmt, clippy, test and run
5m 48s
Public input generation / Check, fmt, clippy, test and run
Verifying circuit Rust tests  /  Check, fmt, clippy, test and run
3m 29s
Verifying circuit Rust tests / Check, fmt, clippy, test and run
Build and test EVM bridge
23s
Build and test EVM bridge
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Build and test EVM bridge
Type '{ srs: SRS; domain_size: number; public: number; }' is missing the following properties from type 'VerifierIndex': sigma_comm, coefficients_comm, generic_comm, psm_comm, and 5 more.
Build and test EVM bridge
Argument of type '{ evals: ProofEvaluations<PointEvals>; }' is not assignable to parameter of type 'ProverProof'.
Build and test EVM bridge
Process completed with exit code 2.