t3.Multiply(&y, &z) t2.Add(&t2, &t3) reprT1, reprT2 := t1.Bytes(), t2.Bytes() return t1 == t2 && isReduced(reprT1) && isReduced(reprT2) } if err := quick.Check(multiplyDistributesO, quickCheckConfig(1024)); err != nil { t.Error(err) } } func TestScalarAddLikeSub(t *testing.T) { addLikeSubNeg := func(x, y Scalar) bool { // Compute t1 = x - y var t1 Scalar t1.Subtract(&x, &y) // Compute t2 = -y + x var t2 Scalar t2.Negate(&y) t2.Add(&t2, &x) return t1 == t2 && isReduced(t1.Bytes()) } if err := quick...

t3.Multiply(&y, &z) t2.Add(&t2, &t3) reprT1, reprT2 := t1.Bytes(), t2.Bytes() return t1 == t2 && isReduced(reprT1) && isReduced(reprT2) } if err := quick.Check(multiplyDistributesO, quickCheckConfig(1024)); err != nil { t.Error(err) } } func TestScalarAddLikeSub(t *testing.T) { addLikeSubNeg := func(x, y Scalar) bool { // Compute t1 = x - y var t1 Scalar t1.Subtract(&x, &y) // Compute t2 = -y + x var t2 Scalar t2.Negate(&y) t2.Add(&t2, &x) return t1 == t2 && isReduced(t1.Bytes()) } if err := quick...