x81, x74) var x90 uint64 p256CmovznzU64(&x90, p256Uint1(x86), x83, x76) out1[0] = x87 out1[1] = x88 out1[2] = x89 out1[3] = x90 } // p256ToMontgomery translates a field element into the Montgomery domain. // // Preconditions: // // 0 ≤ eval arg1 < m // // Postconditions: // // eval (from_montgomery out1) mod m = eval arg1 mod m // 0 ≤ eval out1 < m func p256ToMontgomery(out1 *p256MontgomeryDomain, arg1 *p256NonMontgomeryDom) { x1 := arg1[1] x2 := arg1[2] x3 := arg1[3] x4 := arg1[0] var x5 uint64 var...