def test_generate_e_generates_e_of_right_length(self): s, prover_id, k = 9, 1, 0 c = [1, 1, 0, 0, 1, 0, 1, 0, 1] zk = ZKProof(s, prover_id, k, RuntimeStub(), c) zk.d = [1, 0, 0, 1, 1, 0, 1, 1, 1] zk._generate_e() self.assertEquals(s, len(zk.e))
def test_generate_e_generates_e_of_right_length(self): s, prover_id, k = 9, 1, 0 c = [1, 1, 0, 0, 1, 0, 1, 0, 1] zk = ZKProof(s, prover_id, k, RuntimeStub(), c) zk.d = [1, 0, 0, 1, 1, 0, 1, 1, 1] zk._generate_e() self.assertEquals(s, len(zk.e))
def test_generate_e_is_deterministic(self): s, prover_id, k = 9, 1, 0 c = [1, 1, 0, 0, 1, 0, 1, 0, 1] zk = ZKProof(s, prover_id, k, RuntimeStub(), c) zk.d = [1, 0, 0, 1, 1, 0, 1, 1, 1] zk._generate_e() e1 = zk.e zk._generate_e() self.assertEquals(e1, zk.e)
def test_generate_e_is_deterministic(self): s, prover_id, k = 9, 1, 0 c = [1, 1, 0, 0, 1, 0, 1, 0, 1] zk = ZKProof(s, prover_id, k, RuntimeStub(), c) zk.d = [1, 0, 0, 1, 1, 0, 1, 1, 1] zk._generate_e() e1 = zk.e zk._generate_e() self.assertEquals(e1, zk.e)