- Sort Score
- Num 10 results
- Language All
Results 1 - 1 of 1 for fiatScalarToMontgome (0.1 seconds)
The search processing time has exceeded the limit. The displayed results may be partial.
-
lib/fips140/v1.0.0-c2097c7c.zip
uint64 fiatScalarCmovznzU64(&x98, fiatScalarUint1(x94), x91, x84) out1[0] = x95 out1[1] = x96 out1[2] = x97 out1[3] = x98 } // fiatScalarToMontgome 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 fiatScalarToMontgome(out1 *fiatScalarMontgomery, arg1 *fiatScalarNonMontgom) { x1 := arg1[1] x2 := arg1[2] x3 := arg1[3] x4 := arg1[0] var x5 uint64...
Created: Tue Apr 07 11:13:11 GMT 2026 - Last Modified: Thu Sep 25 19:53:19 GMT 2025 - 642.7K bytes - Click Count (0)