Skip to content
CI

Fiat-Shamir for partial verification #16

Sign in to view logs

Fiat-Shamir for partial verification

Fiat-Shamir for partial verification #16

Triggered via pull request September 22, 2023 21:54
@xqftxqft
opened #15
fiat-shamir_circuit
Status Failure
Total duration 5m 38s
Artifacts –

ci.yaml

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

Annotations

4 errors
Build and test EVM bridge
Cannot find module '../verifier/Verifier' or its corresponding type declarations.
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.