0xffffffff00000001 out1[1] = 0xffffffff out1[2] = uint64(0x1) out1[3] = uint64(0x0) out1[4] = uint64(0x0) out1[5] = uint64(0x0) } // p384FromMontgomery 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)^6) mod m // 0 ≤ eval out1 < m func p384FromMontgomery(out1 *p384NonMontgomeryDom, arg1 *p384MontgomeryDomain) { x1 := arg1[0] var x2 uint64 _, x2 = bits.Mul64(x1, 0x100000001) var...