public static LinearRelation.Statement CreateStatement(CoordinatorParameters coordinatorParameters, GroupElement V, GroupElement Ma, Scalar t) => new LinearRelation.Statement( new GroupElementVector(coordinatorParameters.Cw, Generators.GV - coordinatorParameters.I, V) .Zip(ProofOfParametersGenerators(MAC.GenerateU(t), Ma, t), (publicPoint, groupElement) => new Equation(publicPoint, groupElement)));