*p224MontgomeryDomain) { out1[0] = 0xffffffff00000000 out1[1] = 0xffffffffffffffff out1[2] = uint64(0x0) out1[3] = uint64(0x0) } // p224FromMontgomery 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)^4) mod m // 0 ≤ eval out1 < m func p224FromMontgomery(out1 *p224NonMontgomeryDom, arg1 *p224MontgomeryDomain) { x1 := arg1[0] var x2 uint64 _, x2 = bits.Mul64(x1, 0xffffffffffffffff)...