Merge branch 'dev040' into rav001

Add test to check that Sapling receivers are unique
Merge pull request 'Implement Sapling child key derivation' (#29 ) from rav001 into dev040
2024-03-11 16:09:11 -05:00 · 2024-03-11 15:48:27 -05:00 · 2024-03-11 20:25:54 +00:00
1 changed files with 7 additions and 0 deletions
--- a/test/Spec.hs
+++ b/test/Spec.hs
@ -476,6 +476,8 @@ main = do
          property $ prop_SaplingSpendingKey s
        it "Sapling receivers are valid" $ \s ->
          property $ prop_SaplingReceiver s
+        it "Sapling receivers are not the same" $ \s ->
+          property $ prop_SaplingRecRepeated s
        it "Orchard spending keys are valid" $ \s ->
          property $ prop_OrchardSpendingKey s
        it "Orchard receivers are valid" $ \s ->
@ -618,6 +620,11 @@ prop_SaplingReceiver s (NonNegative i) (NonNegative j) =
  genSaplingPaymentAddress (fromMaybe "" $ genSaplingSpendingKey s j) i =/=
  Nothing

+prop_SaplingRecRepeated :: Seed -> NonNegative Int -> Property
+prop_SaplingRecRepeated s (NonNegative i) =
+  genSaplingPaymentAddress (fromMaybe "" $ genSaplingSpendingKey s 1) i =/=
+  genSaplingPaymentAddress (fromMaybe "" $ genSaplingSpendingKey s 1) (i + 1)
+
 -- | Generators
 genOrcArgs :: Gen (CoinType, Int, Int)
 genOrcArgs = do
Author	SHA1	Message	Date
Rene Vergara	30c3827cab	Merge branch 'dev040' into rav001	2024-03-11 16:09:11 -05:00
Rene Vergara	ddaabcc5cd	Add test to check that Sapling receivers are unique	2024-03-11 15:48:27 -05:00
pitmutt	8baf27e988	Merge pull request 'Implement Sapling child key derivation' (#29 ) from rav001 into dev040 Reviewed-on: #29	2024-03-11 20:25:54 +00:00