Sigma verifier batching

firoorg · Jun 2, 2021 · fcb8db9 · fcb8db9
1 parent 677b54c
commit fcb8db9
Show file tree

Hide file tree

Showing 5 changed files with 266 additions and 246 deletions.
diff --git a/src/sigma/sigma_primitives.h b/src/sigma/sigma_primitives.h
@@ -37,7 +37,7 @@ class SigmaPrimitives {
 
     static void convert_to_sigma(uint64_t num, uint64_t n, uint64_t m, std::vector<Exponent>& out);
 
-    static std::vector<uint64_t> convert_to_nal(uint64_t num, uint64_t n, uint64_t m);
+    static std::vector<std::size_t> convert_to_nal(std::size_t num, std::size_t n, std::size_t m);
 
     static void generate_challenge(const std::vector<GroupElement>& group_elements,
                                    Exponent& result_out);

diff --git a/src/sigma/sigma_primitives.hpp b/src/sigma/sigma_primitives.hpp
@@ -44,19 +44,16 @@ void SigmaPrimitives<Exponent, GroupElement>::convert_to_sigma(
 }
 
 template<class Exponent, class GroupElement>
-std::vector<uint64_t> SigmaPrimitives<Exponent, GroupElement>::convert_to_nal(
-        uint64_t num,
-        uint64_t n,
-        uint64_t m) {
-    std::vector<uint64_t> result;
-    uint64_t rem;
-    uint64_t j = 0;
+std::vector<std::size_t> SigmaPrimitives<Exponent, GroupElement>::convert_to_nal(
+        std::size_t num,
+        std::size_t n,
+        std::size_t m) {
+    std::vector<std::size_t> result;
+    result.reserve(m);
     while (num != 0)
     {
-        rem = num % n;
+        result.emplace_back(num % n);
         num /= n;
-        result.push_back(rem);
-        j++;
     }
     result.resize(m);
     return result;

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