Lines Matching +full:25 +full:v
20 * fe limbs are bounded by 1.125*2^26,1.125*2^25,1.125*2^26,1.125*2^25,etc.
23 typedef struct fe { u32 v[10]; } fe; member
25 /* fe_loose limbs are bounded by 3.375*2^26,3.375*2^25,3.375*2^26,3.375*2^25,etc
28 typedef struct fe_loose { u32 v[10]; } fe_loose; member
42 h[1] = (a0>>26) | ((a1&((1<<19)-1))<< 6); /* (32-26) + 19 = 6+19 = 25 */ in fe_frombytes_impl()
44 h[3] = (a2>>13) | ((a3&((1<< 6)-1))<<19); /* (32-13) + 6 = 19+ 6 = 25 */ in fe_frombytes_impl()
46 h[5] = a4&((1<<25)-1); /* 25 */ in fe_frombytes_impl()
47 h[6] = (a4>>25) | ((a5&((1<<19)-1))<< 7); /* (32-25) + 19 = 7+19 = 26 */ in fe_frombytes_impl()
48 h[7] = (a5>>19) | ((a6&((1<<12)-1))<<13); /* (32-19) + 12 = 13+12 = 25 */ in fe_frombytes_impl()
50 h[9] = (a7>> 6)&((1<<25)-1); /* 25 */ in fe_frombytes_impl()
55 fe_frombytes_impl(h->v, s); in fe_frombytes()
61 /* This function extracts 25 bits of result and 1 bit of carry in addcarryx_u25()
65 *low = x & ((1 << 25) - 1); in addcarryx_u25()
66 return (x >> 25) & 1; in addcarryx_u25()
83 /* This function extracts 25 bits of result and 1 bit of borrow in subborrow_u25()
87 *low = x & ((1 << 25) - 1); in subborrow_u25()
167 fe_freeze(h, f->v); in fe_tobytes()
193 s[25] = (h[7] >> 21) | (h[8] << 4); in fe_tobytes()
223 h->v[0] = 1; in fe_1()
266 fe_add_impl(h->v, f->v, g->v); in fe_add()
309 fe_sub_impl(h->v, f->v, g->v); in fe_sub()
430 fe_mul_impl(h->v, f->v, g->v); in fe_mul_ttt()
435 fe_mul_impl(h->v, f->v, g->v); in fe_mul_tlt()
441 fe_mul_impl(h->v, f->v, g->v); in fe_mul_tll()
552 fe_sqr_impl(h->v, f->v); in fe_sq_tl()
557 fe_sqr_impl(h->v, f->v); in fe_sq_tt()
627 u32 x = f->v[i] ^ g->v[i]; in fe_cswap()
629 f->v[i] ^= x; in fe_cswap()
630 g->v[i] ^= x; in fe_cswap()
753 fe_mul_121666_impl(h->v, f->v); in fe_mul121666()
781 …m/mit-plv/fiat-crypto/blob/2456d821825521f7e03e65882cc3521795b0320f/src/Spec/MontgomeryCurve.v#L27> in curve25519_generic()
785 …fiat-crypto/blob/2456d821825521f7e03e65882cc3521795b0320f/src/Curves/Montgomery/AffineProofs.v#L35> in curve25519_generic()
789 …/mit-plv/fiat-crypto/blob/2456d821825521f7e03e65882cc3521795b0320f/src/Curves/Montgomery/XZ.v#L118> in curve25519_generic()
790 …lv/fiat-crypto/blob/2456d821825521f7e03e65882cc3521795b0320f/src/Curves/Montgomery/XZProofs.v#L278> in curve25519_generic()
821 …m/mit-plv/fiat-crypto/blob/2456d821825521f7e03e65882cc3521795b0320f/src/Curves/Montgomery/XZ.v#L89> in curve25519_generic()
822 …lv/fiat-crypto/blob/2456d821825521f7e03e65882cc3521795b0320f/src/Curves/Montgomery/XZProofs.v#L131> in curve25519_generic()
823 …lv/fiat-crypto/blob/2456d821825521f7e03e65882cc3521795b0320f/src/Curves/Montgomery/XZProofs.v#L217> in curve25519_generic()
824 …lv/fiat-crypto/blob/2456d821825521f7e03e65882cc3521795b0320f/src/Curves/Montgomery/XZProofs.v#L147> in curve25519_generic()