Lines Matching defs:Fp
76 if (!ctx->epid2_params || !ctx->epid2_params->G1 || !ctx->epid2_params->Fp) {
81 FiniteField* Fp = ctx->epid2_params->Fp;
115 sts = NewFfElement(Fp, &c_el);
117 sts = NewFfElement(Fp, &nc_el);
119 sts = NewFfElement(Fp, &smu_el);
121 sts = NewFfElement(Fp, &snu_el);
123 sts = NewFfElement(Fp, &commit_hash);
142 sts = ReadFfElement(Fp, &proof->c, sizeof(proof->c), c_el);
144 sts = ReadFfElement(Fp, &proof->smu, sizeof(proof->smu), smu_el);
146 sts = ReadFfElement(Fp, &proof->snu, sizeof(proof->snu), snu_el);
150 sts = FfNeg(Fp, c_el, nc_el);
153 sts = WriteFfElement(Fp, nc_el, &nc_str, sizeof(nc_str));
194 // 7. The verifier verifies c = Fp.hash(p || g1 || B || K ||
220 sts = FfHash(Fp, commit_values, commit_len, ctx->hash_alg, commit_hash);
222 sts = FfIsEqual(Fp, c_el, commit_hash, &c_is_equal);
