uint64(0x0) out1[4] = uint64(0x0) out1[5] = uint64(0x0) out1[6] = uint64(0x0) out1[7] = uint64(0x0) out1[8] = uint64(0x0) } // p521FromMontgomery translates a field element out of the Montgomery domain. // // Preconditions: // // 0 ≤ eval arg1 < m // // Postconditions: // // eval out1 mod m = (eval arg1 * ((2^64)⁻¹ mod m)^9) mod m // 0 ≤ eval out1 < m func p521FromMontgomery(out1 *p521NonMontgomeryDom, arg1 *p521MontgomeryDomain) { x1 := arg1[0] var x2 uint64 var x3 uint64 x3, x2 = bits.Mul64(x1, 0x1ff)...