def test_vec_pow_is_correct_2(self):
s, k, prover_id = 3, 0, 1
c = [None] * s
y = [mpz(i) for i in [1, 7, 2]]
zk = ZKProof(s, prover_id, k, RuntimeStub(), c)
zk.e = [0, 1, 1]
y_pow_E = zk._vec_pow_E(y, 117)
self.assertEquals([mpz(v) for v in [1, 1, 7, 14, 2]], y_pow_E)
def test_vec_pow_is_correct_2(self):
s, k, prover_id = 3, 0, 1
c = [None] * s
y = [mpz(i) for i in [1, 7, 2]]
zk = ZKProof(s, prover_id, k, RuntimeStub(), c)
zk.e = [0, 1, 1]
y_pow_E = zk._vec_pow_E(y, 117)
self.assertEquals([mpz(v) for v in [1, 1, 7, 14, 2]], y_pow_E)
def test_vec_pow_is_correct(self):
s, prover_id, k = 5, 1, 0
c = [None] * s
y = [mpz(i) for i in range(1, 6)]
zk = ZKProof(s, prover_id, k, RuntimeStub(), c)
zk.e = [1, 0, 1, 1, 0]
y_pow_E = zk._vec_pow_E(y, 117)
self.assertEquals([mpz(v) for v in [1, 2, 3, 8, 30, 12, 20, 5, 1]], y_pow_E)
def test_vec_pow_is_correct(self):
s, prover_id, k = 5, 1, 0
c = [None] * s
y = [mpz(i) for i in range(1, 6)]
zk = ZKProof(s, prover_id, k, RuntimeStub(), c)
zk.e = [1, 0, 1, 1, 0]
y_pow_E = zk._vec_pow_E(y, 117)
self.assertEquals([mpz(v) for v in [1, 2, 3, 8, 30, 12, 20, 5, 1]],
y_pow_E)
