private static LinearRelation.Knowledge ToKnowledge(this LinearRelation.Statement statement, CoordinatorSecretKey coordinatorSecretKey) => statement.ToKnowledge(new ScalarVector( coordinatorSecretKey.W, coordinatorSecretKey.Wp, coordinatorSecretKey.X0, coordinatorSecretKey.X1, coordinatorSecretKey.Ya));
public static NonInteractive.FiatShamirTransform.ProverCommitToNonces CreateProver(LinearRelation.Statement statement, CoordinatorSecretKey coordinatorSecretKey) => new NonInteractive.FiatShamirTransform.Prover(statement.ToKnowledge(coordinatorSecretKey)).CommitToStatements(Transcript);