Sigma verifier batching

firoorg · May 28, 2021 · 9cd2998 · 9cd2998
1 parent 677b54c
commit 9cd2998
Show file tree

Hide file tree

Showing 3 changed files with 258 additions and 235 deletions.
diff --git a/src/sigma/sigmaplus_verifier.h b/src/sigma/sigmaplus_verifier.h
@@ -11,12 +11,17 @@ class SigmaPlusVerifier{
 public:
     SigmaPlusVerifier(const GroupElement& g,
                       const std::vector<GroupElement>& h_gens,
-                      int n, int m_);
+                      std::size_t n, std::size_t m_);
 
     bool verify(const std::vector<GroupElement>& commits,
                 const SigmaPlusProof<Exponent, GroupElement>& proof,
                 bool fPadding) const;
 
+    bool verify(const std::vector<GroupElement>& commits,
+                const SigmaPlusProof<Exponent, GroupElement>& proof,
+                bool fPadding,
+                std::size_t setSize) const;
+
     bool batch_verify(const std::vector<GroupElement>& commits,
                       const std::vector<Exponent>& serials,
                       const vector<bool>& fPadding,
@@ -43,8 +48,8 @@ class SigmaPlusVerifier{
 private:
     GroupElement g_;
     std::vector<GroupElement> h_;
-    int n;
-    int m;
+    std::size_t n;
+    std::size_t m;
 };
 
 } // namespace sigma