Fiat-Shamir for partial verification #23
xqft
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 59s
Public input generation
/
Check, fmt, clippy, test and run
5m 54s
Verifying circuit Rust tests
/
Check, fmt, clippy, test and run
1m 14s
Build and test EVM bridge
32s
Annotations
4 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.
|
|
Verifying circuit Rust tests / Check, fmt, clippy, test and run
Process completed with exit code 1.
|