quick.Check(asmLikeGeneric, quickCheckConfig(1024)); err != nil { t.Error(err) } } func TestFeMul(t *testing.T) { asmLikeGeneric := func(a, b Element) bool { a1 := a a2 := a b1 := b b2 := b feMulGeneric(&a1, &a1, &b1) feMul(&a2, &a2, &b2) if a1 != a2 || b1 != b2 { t.Logf("got: %#v,\nexpected: %#v", a1, a2) t.Logf("got: %#v,\nexpected: %#v", b1, b2) } return a1 == a2 && isInBounds(&a2) && b1 == b2 && isInBounds(&b2) } if err := quick.Check(asmLikeGeneric, quickCheckConfig(1024)); err != nil { t.Error(err) }...

a4_19, b2) // r2 = a0×b2 + a1×b1 + a2×b0 + 19×(a3×b4 + a4×b3) r2 := mul64(a0, b2) r2 = addMul64(r2, a1, b1) r2 = addMul64(r2, a2, b0) r2 = addMul64(r2, a3_19, b4) r2 = addMul64(r2, a4_19, b3) // r3 = a0×b3 + a1×b2 + a2×b1 + a3×b0 + 19×a4×b4 r3 := mul64(a0, b3) r3 = addMul64(r3, a1, b2) r3 = addMul64(r3, a2, b1) r3 = addMul64(r3, a3, b0) r3 = addMul64(r3, a4_19, b4) // r4 = a0×b4 + a1×b3 + a2×b2 + a3×b1 + a4×b0 r4 := mul64(a0, b4) r4 = addMul64(r4, a1, b3) r4 = addMul64(r4, a2, b2) r4 = addMul64(r4,...