- Sort Score
- Num 10 results
- Language All
Results 1 - 2 of 2 for TestScalarAddLikeSub (0.14 seconds)
-
lib/fips140/v1.26.0.zip
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...
Created: Tue Apr 07 11:13:11 GMT 2026 - Last Modified: Thu Jan 08 17:58:32 GMT 2026 - 660.3K bytes - Click Count (0) -
lib/fips140/v1.0.0-c2097c7c.zip
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...
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)