Unavailable Reference to the Foreign Field RFC

[huitseeker]

The following code :

mina/src/lib/crypto/kimchi_backend/gadgets/foreign_field.ml

Lines 274 to 317 in dfc3a21

	(* Compute non-zero intermediate products
	*
	* For more details see the "Intermediate products" Section of
	* the [Foreign Field Multiplication RFC](../rfcs/foreign_field_mul.md) *)
	let compute_intermediate_products (type f)
	(module Circuit : Snark_intf.Run with type field = f)
	(left_input : f Foreign_field_element.t)
	(right_input : f Foreign_field_element.t) (quotient : f standard_limbs)
	(neg_foreign_field_modulus : f standard_limbs) : f * f * f =
	let open Circuit in
	let left_input0, left_input1, left_input2 =
	Foreign_field_element.to_field_limbs (module Circuit) left_input
	in
	let right_input0, right_input1, right_input2 =
	Foreign_field_element.to_field_limbs (module Circuit) right_input
	in
	let quotient0, quotient1, quotient2 = quotient in
	let ( neg_foreign_field_modulus0
	, neg_foreign_field_modulus1
	, neg_foreign_field_modulus2 ) =
	neg_foreign_field_modulus
	in
	( (* p0 = a0 * b0 + q0 + f'0 *)
	Field.Constant.(
	(left_input0 * right_input0) + (quotient0 * neg_foreign_field_modulus0))
	, (* p1 = a0 * b1 + a1 * b0 + q0 * f'1 + q1 * f'0 *)
	Field.Constant.(
	(left_input0 * right_input1)
	+ (left_input1 * right_input0)
	+ (quotient0 * neg_foreign_field_modulus1)
	+ (quotient1 * neg_foreign_field_modulus0))
	, (* p2 = a0 * b2 + a2 * b0 + a1 * b1 - q0 * f'2 + q2 * f'0 + q1 * f'1 *)
	Field.Constant.(
	(left_input0 * right_input2)
	+ (left_input2 * right_input0)
	+ (left_input1 * right_input1)
	+ (quotient0 * neg_foreign_field_modulus2)
	+ (quotient2 * neg_foreign_field_modulus0)
	+ (quotient1 * neg_foreign_field_modulus1)) )
	(* Compute intermediate sums
	* For more details see the "Optimizations" Section of
	* the [Foreign Field Multiplication RFC](../rfcs/foreign_field_mul.md) *)
	let compute_intermediate_sums (type f)

contains comments that refer to the Foreign field multiplication RFC.
* the [Foreign Field Multiplication RFC](../rfcs/foreign_field_mul.md) *)
Is this available anywhere? I've looked in the RFC directory, but nothing seems to match.

Thanks to @jspada @querolita for the work!