Changeset View

Standalone View

	Show All 29 Lines
	*			*
	* On output, all of x's limbs will be in [0, 2^30).			* On output, all of x's limbs will be in [0, 2^30).
	*/			*/
	static void secp256k1_modinv32_var(secp256k1_modinv32_signed30 x, const secp256k1_modinv32_modinfo modinfo);			static void secp256k1_modinv32_var(secp256k1_modinv32_signed30 x, const secp256k1_modinv32_modinfo modinfo);

	/* Same as secp256k1_modinv32_var, but constant time in x (not in the modulus). */			/* Same as secp256k1_modinv32_var, but constant time in x (not in the modulus). */
	static void secp256k1_modinv32(secp256k1_modinv32_signed30 x, const secp256k1_modinv32_modinfo modinfo);			static void secp256k1_modinv32(secp256k1_modinv32_signed30 x, const secp256k1_modinv32_modinfo modinfo);

				/* Compute the Jacobi symbol for (x \| modinfo->modulus). x must be coprime with modulus (and thus
				* cannot be 0, as modulus >= 3). All limbs of x must be non-negative. Returns 0 if the result
				* cannot be computed. */
				static int secp256k1_jacobi32_maybe_var(const secp256k1_modinv32_signed30 x, const secp256k1_modinv32_modinfo modinfo);

	#endif /* SECP256K1_MODINV32_H */			#endif /* SECP256K1_MODINV32_H */