async def _verifyGEPredicate(self, schemaKey, cH,
proof: PrimaryPredicateGEProof):
pk = await self._wallet.getPublicKey(ID(schemaKey))
k, v = proof.predicate.attrName, proof.predicate.value
TauList = calcTge(pk, proof.u, proof.r, proof.mj, proof.alpha, proof.T)
for i in range(0, ITERATIONS):
TT = proof.T[str(i)]**(-1 * cH) % pk.N
TauList[i] = TauList[i] * TT % pk.N
TauList[ITERATIONS] = TauList[ITERATIONS] * (
(proof.T[DELTA] * (pk.Z**v))**(-1 * cH)) % pk.N
TauList[ITERATIONS + 1] = (TauList[ITERATIONS + 1] *
(proof.T[DELTA]**(-1 * cH))) % pk.N
return TauList
async def _initGeProof(self, schemaId, eqProof: PrimaryEqualInitProof,
c1: PrimaryClaim, predicate: Predicate, claimAttributes: Dict[str, ClaimAttributeValues]) \
-> PrimaryPrecicateGEInitProof:
# gen U for Delta
pk = await self._wallet.getPublicKey(ID(schemaId=schemaId))
k, value = predicate.attrName, predicate.value
delta = claimAttributes[k].encoded - value
if delta < 0:
raise ValueError("Predicate is not satisfied")
u = fourSquares(delta)
# prepare C list
r = {}
T = {}
CList = []
for i in range(0, ITERATIONS):
r[str(i)] = cmod.integer(cmod.randomBits(LARGE_VPRIME))
T[str(i)] = (pk.Z**u[str(i)]) * (pk.S**r[str(i)]) % pk.N
CList.append(T[str(i)])
r[DELTA] = cmod.integer(cmod.randomBits(LARGE_VPRIME))
T[DELTA] = (pk.Z**delta) * (pk.S**r[DELTA]) % pk.N
CList.append(T[DELTA])
# prepare Tau List
utilde = {}
rtilde = {}
for i in range(0, ITERATIONS):
utilde[str(i)] = cmod.integer(cmod.randomBits(LARGE_UTILDE))
rtilde[str(i)] = cmod.integer(cmod.randomBits(LARGE_RTILDE))
rtilde[DELTA] = cmod.integer(cmod.randomBits(LARGE_RTILDE))
alphatilde = cmod.integer(cmod.randomBits(LARGE_ALPHATILDE))
TauList = calcTge(pk, utilde, rtilde, eqProof.mTilde[k], alphatilde, T)
return PrimaryPrecicateGEInitProof(CList, TauList, u, utilde, r,
rtilde, alphatilde, predicate, T)