IPA: add binary counting structure s computation

README.md

@@ -1,3 +1,3 @@
 # math
 
-Notes, scripts and documents done while reading.
+Notes, code and documents done while reading books and papers.

ipa.sage

@@ -99,9 +99,9 @@ class IPA_halo(object):
         self.h = E.random_element() # TMP
         self.gs = random_values(E, d)
         self.hs = random_values(E, d)
-        print("  h=", self.h)
+        #  print("  h=", self.h)
-        print("  G=", self.gs)
+        #  print("  G=", self.gs)
-        print("  H=", self.hs)
+        #  print("  H=", self.hs)
 
     def commit(self, a, r):
         P = inner_product_point(a, self.gs) + r * self.h
@@ -183,15 +183,12 @@ class IPA_halo(object):
         # L, R are the "cross-terms" of the inner product
         return a[0], b[0], G[0], l, r, L, R
 
-    def verify(self, P, a, v, x_powers, r, u, U, lj, rj, L, R, b_ipa, G_ipa):
+    def verify(self, P, a, v, x_powers, r, u, U, lj, rj, L, R):
         print("methid verify()")
-        #  b = x_powers
-        #  G = self.gs
-        b = b_ipa # TODO b_0 & G_0 will be computed by the client
-        G = G_ipa
 
-        #  k = int(math.log(self.d, 2))
+        s = build_s_from_us(u, self.d)
-        #  s = build_s_from_us(u, k)
+        b = inner_product_field(s, x_powers)
+        G = inner_product_point(s, self.gs)
 
         # synthetic blinding factor
         # r' = r + ∑ ( lⱼ uⱼ² + rⱼ uⱼ⁻²)
@@ -221,14 +218,31 @@ class IPA_halo(object):
         return Q_0 == Q_1
 
 
-#  def build_s_from_us(u, k):
+# s = (
-#      s = None*k
+#   u₁⁻¹ u₂⁻¹ … uₖ⁻¹,
-#      for i in range(k):
+#   u₁   u₂⁻¹ … uₖ⁻¹,
-#          e = 1
+#   u₁⁻¹ u₂   … uₖ⁻¹,
-#          for j in range(k):
+#   u₁   u₂   … uₖ⁻¹,
-#              e = e*u[j]
+#   ⋮    ⋮      ⋮
-#          #  s[i] = 
+#   u₁   u₂   … uₖ
-#      return s
+# )
+def build_s_from_us(u, d):
+    k = int(math.log(d, 2))
+    s = [1]*d
+    t = d
+    for j in reversed(range(k)):
+        t = t/2
+        c = 0
+        for i in range(d):
+            if c<t:
+                s[i] = s[i] * u[j]^(-1)
+            else:
+                s[i] = s[i] * u[j]
+            c = c+1
+            if c>=t*2:
+                c=0
+
+    return s
 
 
 

ipa_test.sage

@@ -153,7 +153,7 @@ class TestIPA_halo(unittest.TestCase):
             print("P", P)
             print("a_ipa", a_ipa)
             print("\n Verify:")
-            verif = ipa.verify(P, a_ipa, v, x_powers, r, u, U, lj, rj, L, R, b_ipa, G_ipa)
+            verif = ipa.verify(P, a_ipa, v, x_powers, r, u, U, lj, rj, L, R)
             assert verif == True