Cannot find module '../verifier/Verifier' or its corresponding type declarations.

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.

Argument of type '{ evals: ProofEvaluations<PointEvals>; }' is not assignable to parameter of type 'ProverProof'.