Motivation

The documentation contained incorrect mathematical notation in the Fp12 multiplication verification formulas. The formulas incorrectly included .J terms where they shouldn't, which could mislead readers about the structure of Fq6 coefficients in normalized Fp12 representation.

Solution

Fixed three issues in the chunk_dense_dense_mul section:

• Removed incorrect .J from the formula e = (c+d)/(1+cd*V) (line 72)
• Removed incorrect .J from the verification equation e*(1+cd*V) == (c+d) (line 75)
• Clarified that the multiplication is of the denominator by result e, not by input c (line 78)

The formulas now correctly reflect that e is an Fq6 coefficient, not an Fp12 element.