Changeset View

Standalone View

	Show All 33 Lines
	*			*
	* On output, all of x's limbs will be in [0, 2^62).			* On output, all of x's limbs will be in [0, 2^62).
	*/			*/
	static void secp256k1_modinv64_var(secp256k1_modinv64_signed62 x, const secp256k1_modinv64_modinfo modinfo);			static void secp256k1_modinv64_var(secp256k1_modinv64_signed62 x, const secp256k1_modinv64_modinfo modinfo);

	/* Same as secp256k1_modinv64_var, but constant time in x (not in the modulus). */			/* Same as secp256k1_modinv64_var, but constant time in x (not in the modulus). */
	static void secp256k1_modinv64(secp256k1_modinv64_signed62 x, const secp256k1_modinv64_modinfo modinfo);			static void secp256k1_modinv64(secp256k1_modinv64_signed62 x, const secp256k1_modinv64_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_jacobi64_maybe_var(const secp256k1_modinv64_signed62 x, const secp256k1_modinv64_modinfo modinfo);

	#endif /* SECP256K1_MODINV64_H */			#endif /* SECP256K1_MODINV64_H */