def verifier_state4(self, input): (g, H, a, c, z) = Sigma.get(self, ['g','H','a','c','z']) if a == (pair(g,z) * (H ** c)): print("SUCCESS!!!!!!!"); result = 'OK' else: print("Failed!!!"); result = 'FAIL' Sigma.setState(self, 6) Sigma.setErrorCode(self, result) return result
def verifier_state4(self, input): (g, H, a, c, z) = Sigma.get(self, ['g', 'H', 'a', 'c', 'z']) if a == (pair(g, z) * (H**c)): print("SUCCESS!!!!!!!") result = 'OK' else: print("Failed!!!") result = 'FAIL' Sigma.setState(self, 6) Sigma.setErrorCode(self, result) return result
def verifier_state4(self, input): print("VERIFIER 4: ") (a1, a2, c, W, z, pk) = Sigma.get(self, ['a1','a2','c','W','z','pk']) g, V, H = pk['g'], pk['V'], pk['H'] if a1 == pair(g,z) * (H ** c) and a2 == pair(V,z) * (W ** c): print("SUCCESS!!!!!!!"); result = 'OK' else: print("Failed!!!"); result = 'FAIL' Sigma.setState(self, 6) Sigma.setErrorCode(self, result) return result
def verifier_state4(self, input): print("VERIFIER 4: ") (a, c, z1, z2, pk) = Sigma.get(self, ['a','c','z1','z2','pk']) g, y, V = pk['g'], pk['y'], pk['V'] print("get a =>", a) if a == (pair(V,y) ** c) * (pair(V,g) ** -z1) * (pair(g,g) ** z2): print("SUCCESS!!!!!!!"); result = 'OK' else: print("Failed!!!"); result = 'FAIL' Sigma.setState(self, 6) Sigma.setErrorCode(self, result) return result
def verifier_state4(self, input): print("VERIFIER 4: ") (a, c, z1, z2, pk) = Sigma.get(self, ['a', 'c', 'z1', 'z2', 'pk']) g, y, V = pk['g'], pk['y'], pk['V'] print("get a =>", a) if a == (pair(V, y)**c) * (pair(V, g)**-z1) * (pair(g, g)**z2): print("SUCCESS!!!!!!!") result = 'OK' else: print("Failed!!!") result = 'FAIL' Sigma.setState(self, 6) Sigma.setErrorCode(self, result) return result
def verifier_state4(self, input): print("VERIFIER 4: ") (a1, a2, c, W, z, pk) = Sigma.get(self, ['a1', 'a2', 'c', 'W', 'z', 'pk']) g, V, H = pk['g'], pk['V'], pk['H'] if a1 == pair(g, z) * (H**c) and a2 == pair(V, z) * (W**c): print("SUCCESS!!!!!!!") result = 'OK' else: print("Failed!!!") result = 'FAIL' Sigma.setState(self, 6) Sigma.setErrorCode(self, result) return result
def prover_state5(self, input): print("PROVER 5: result =>", input) Sigma.setState(self, None) Sigma.setErrorCode(self, input) return None
def prover_state5(self, input): Sigma.setState(self, None) Sigma.setErrorCode(self, input) return None