Merge pull request #7 from DelphinusLab/moore/on_prove_pairing

support on prove pairing

Cargo.toml

@@ -7,18 +7,20 @@ license = "Apache-2.0"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-halo2_proofs = { git = "https://github.com/DelphinusLab/halo2-gpu-specific.git", default-features = true }
+halo2_proofs = { git = "https://github.com/DelphinusLab/halo2-gpu-specific.git", default-features = true}
 num-integer = "0.1"
-num-bigint = { version = "0.4", features = ["rand"] }
+num-bigint = { version = "0.4.5", features = ["rand"] }
+num-traits = "0.2.18"
 rayon = "1.5.2"
 ark-std = { version = "0.4.0" }
 
 [dev-dependencies]
 chrono = "0.4.19"
 rand = "0.8"
+rand_core = { version = "0.6", default-features = false }
 rand_xorshift = "0.3"
 
 [features]
 default = []
 cuda = ["halo2_proofs/cuda"]
-profile = ["ark-std/print-trace", "halo2_proofs/profile"]
+profile = ["ark-std/print-trace", "halo2_proofs/profile"]

src/assign.rs

@@ -227,3 +227,20 @@ impl<C: CurveAffine, N: FieldExt> AssignedG2Prepared<C, N> {
         }
     }
 }
+
+pub struct AssignedG2OnProvePrepared<C: CurveAffine, N: FieldExt> {
+    pub coeffs: Vec<[AssignedFq2<C::Base, N>; 2]>,
+    pub init_q: AssignedG2Affine<C, N>,
+    // pub is_identity: AssignedCondition<N>, not support identity
+    _mark: PhantomData<C>,
+}
+
+impl<C: CurveAffine, N: FieldExt> AssignedG2OnProvePrepared<C, N> {
+    pub fn new(coeffs: Vec<[AssignedFq2<C::Base, N>; 2]>, init_q: AssignedG2Affine<C, N>) -> Self {
+        Self {
+            coeffs,
+            init_q,
+            _mark: PhantomData,
+        }
+    }
+}