|
|
@@ -161,9 +161,9 @@ print(t_x_y.constant_coefficient())
|
|
|
# zkP1
|
|
|
# 4 blinding factors since we evaluate r(X, Y) 3 times
|
|
|
# Blind r(X, Y)
|
|
|
-for i in range(1, 4):
|
|
|
- blind_c_i = K.random_element()
|
|
|
- r_x_y += x**(-2*n - i) * y**(-2*n - i) * blind_c_i
|
|
|
+#for i in range(1, 4):
|
|
|
+# blind_c_i = K.random_element()
|
|
|
+# r_x_y += x**(-2*n - i) * y**(-2*n - i) * blind_c_i
|
|
|
# Commit to r(X, Y)
|
|
|
|
|
|
# zkV1
|
|
|
@@ -190,6 +190,7 @@ s = s_x_y(x=challenge_z, y=challenge_y)
|
|
|
# zkV3
|
|
|
# Recalculate t from a, b and s
|
|
|
k = k_y(y=challenge_y)
|
|
|
-t = a * (b + s) - k
|
|
|
+t_new = a * (b + s) - k
|
|
|
+assert t_new == t
|
|
|
# Verify polynomial commitments
|
|
|
|
narodnik