Publish necessary properties for external use of KZG commitment

halo2_proofs/src/poly/query.rs

@@ -19,12 +19,26 @@ pub trait Query<F>: Sized + Clone + Send + Sync {
 /// A polynomial query at a point
 #[derive(Debug, Clone)]
 pub struct ProverQuery<'com, C: CurveAffine> {
-    /// point at which polynomial is queried
-    pub(crate) point: C::Scalar,
-    /// coefficients of polynomial
-    pub(crate) poly: &'com Polynomial<C::Scalar, Coeff>,
-    /// blinding factor of polynomial
-    pub(crate) blind: Blind<C::Scalar>,
+    /// Point at which polynomial is queried
+    pub point: C::Scalar,
+    /// Coefficients of polynomial
+    pub poly: &'com Polynomial<C::Scalar, Coeff>,
+    /// Blinding factor of polynomial
+    pub blind: Blind<C::Scalar>,
+}
+
+impl<'com, C> ProverQuery<'com, C>
+where
+    C: CurveAffine,
+{
+    /// Create a new prover query based on a polynomial
+    pub fn new(
+        point: C::Scalar,
+        poly: &'com Polynomial<C::Scalar, Coeff>,
+        blind: Blind<C::Scalar>,
+    ) -> Self {
+        ProverQuery { point, poly, blind }
+    }
 }
 
 #[doc(hidden)]
@@ -81,12 +95,31 @@ impl<'com, C: CurveAffine, M: MSM<C>> VerifierQuery<'com, C, M> {
 /// A polynomial query at a point
 #[derive(Debug)]
 pub struct VerifierQuery<'com, C: CurveAffine, M: MSM<C>> {
-    /// point at which polynomial is queried
-    pub(crate) point: C::Scalar,
-    /// commitment to polynomial
-    pub(crate) commitment: CommitmentReference<'com, C, M>,
-    /// evaluation of polynomial at query point
-    pub(crate) eval: C::Scalar,
+    /// Point at which polynomial is queried
+    pub point: C::Scalar,
+    /// Commitment to polynomial
+    pub commitment: CommitmentReference<'com, C, M>,
+    /// Evaluation of polynomial at query point
+    pub eval: C::Scalar,
+}
+
+impl<'com, C, M> VerifierQuery<'com, C, M>
+where
+    C: CurveAffine,
+    M: MSM<C>,
+{
+    /// Create a new verifier query based on a commitment
+    pub fn new(
+        point: C::Scalar,
+        commitment: CommitmentReference<'com, C, M>,
+        eval: C::Scalar,
+    ) -> Self {
+        VerifierQuery {
+            point,
+            commitment,
+            eval,
+        }
+    }
 }
 
 impl<'com, C: CurveAffine, M: MSM<C>> Clone for VerifierQuery<'com, C, M> {