new(Element) t3 := new(Element) t2.Multiply(&x, &z) t3.Multiply(&y, &z) t2.Add(t2, t3) return t1.Equal(t2) == 1 && isInBounds(t1) && isInBounds(t2) } if err := quick.Check(multiplyDistributesO, quickCheckConfig(1024)); err != nil { t.Error(err) } } func TestMul64to128(t *testing.T) { a := uint64(5) b := uint64(5) r := mul64(a, b) if r.lo != 0x19 || r.hi != 0 { t.Errorf("lo-range wide mult failed, got %d + %d*(2**64)", r.lo, r.hi) } a = uint64(18014398509481983) // 2^54 - 1 b = uint64(18014398509481983) // 2^54...

new(Element) t3 := new(Element) t2.Multiply(&x, &z) t3.Multiply(&y, &z) t2.Add(t2, t3) return t1.Equal(t2) == 1 && isInBounds(t1) && isInBounds(t2) } if err := quick.Check(multiplyDistributesO, quickCheckConfig(1024)); err != nil { t.Error(err) } } func TestMul64to128(t *testing.T) { a := uint64(5) b := uint64(5) r := mul(a, b) if r.lo != 0x19 || r.hi != 0 { t.Errorf("lo-range wide mult failed, got %d + %d*(2**64)", r.lo, r.hi) } a = uint64(18014398509481983) // 2^54 - 1 b = uint64(18014398509481983) // 2^54...