c1 + l01 h10 := w10 >> 32 carry = x1*y1 + h10 + h01 *idx(z, i) = w10<<32 + l00 } return carry } func addMulVVW1024(z, x *uint, y uint) (c uint) { return addMulVVWWasm(z, x, y, 1024/_W) } func addMulVVW1536(z, x *uint, y uint) (c uint) { return addMulVVWWasm(z, x, y, 1536/_W) } func addMulVVW2048(z, x *uint, y uint) (c uint) { return addMulVVWWasm(z, x, y, 2048/_W) } golang.org/fips140@v1.0.0/fips140/v1.0.0/bigmod/testdata/mod_inv_tests.txt # ModInv tests. # # These test vectors satisfy ModInv * A...