Actually switch to salt to uint32

Author: CarlBeek

EIPS/eip-2333.md

@@ -43,7 +43,7 @@ Keys are defined in terms of a tree structure where a key is determined by the t
 
 ### The Tree Structure
 
-The key tree is defined purely through the relationship between a child-node and its ancestors. Starting with the root of the tree, the *master key*, a child node can be derived by knowing the parent's private key and the index of the child. The tree is broken up into depths which are indicated by `/` and the master node is described as `m`. The first child of the master node is therefore described as `m / 0` and `m / 0`'s siblings are `m / i` for all `0 < i < 2**64`.
+The key tree is defined purely through the relationship between a child-node and its ancestors. Starting with the root of the tree, the *master key*, a child node can be derived by knowing the parent's private key and the index of the child. The tree is broken up into depths which are indicated by `/` and the master node is described as `m`. The first child of the master node is therefore described as `m / 0` and `m / 0`'s siblings are `m / i` for all `0 <= i < 2**32`.
 
 ```text
       [m / 0] - [m / 0 / 0]
@@ -93,7 +93,7 @@ Every key generated via the key derivation process derives a child key via a set
 ##### Inputs
 
 * `parent_SK`, the BLS Secret Key of the parent node
-* `index`, the index of the desired child node, an integer `0 <= index < 2^64`
+* `index`, the index of the desired child node, an integer `0 <= index < 2^32`
 
 ##### Outputs
 
@@ -109,7 +109,7 @@ Every key generated via the key derivation process derives a child key via a set
 ##### Procedure
 
 ```text
-0. salt = I2OSP(index, 8)
+0. salt = I2OSP(index, 4)
 1. IKM = I2OSP(parent_SK, 32)
 2. lamport_0 = IKM_to_lamport_SK(IKM, salt)
 3. not_IKM = flip_bits(IKM)
@@ -161,7 +161,7 @@ The child key derivation function takes in the parent's private key and the inde
 ##### Inputs
 
 * `parent_SK`, the secret key of the parent node, a big endian encoded integer
-* `index`, the index of the desired child node, an integer `0 <= index < 2^64`
+* `index`, the index of the desired child node, an integer `0 <= index < 2^32`
 
 ##### Outputs
 
@@ -237,7 +237,7 @@ child_SK = 741954310531627918393743084244935870132797316553040716629495647309530
 seed = 0x3141592653589793238462643383279502884197169399375105820974944592
 master_SK = 46029459550803682895343812821003080589696405386150182061394330539196052371668
 child_index = 3141592653
-child_SK = 30667786033276881210367384538096772483440183970836047419095979671118554914117
+child_SK = 43469287647733616183478983885105537266268532274998688773496918571876759327260
 ```
 
 ### Test Case 2
@@ -246,7 +246,7 @@ child_SK = 306677860332768812103673845380967724834401839708360474190959796711185
 seed = 0x0099FF991111002299DD7744EE3355BBDD8844115566CC55663355668888CC00
 master_SK = 45379166311535261329029945990467475187325618028073620882733843918126031931161
 child_index = 4294967295
-child_SK = 36044605362649761791396268191192607877285952793465624067722603125750379903239
+child_SK = 46475244006136701976831062271444482037125148379128114617927607151318277762946
 ```
 
 ### Test Case 3
@@ -255,7 +255,7 @@ child_SK = 360446053626497617913962681911926078772859527934656240677226031257503
 seed = 0xd4e56740f876aef8c010b86a40d5f56745a118d0906a34e69aec8c0db1cb8fa3
 master_SK = 31740500954810567003972734830331791822878290325762596213711963944729383643688
 child_index = 42
-child_SK = 51484659165124373969863225260480386033754289575388594267256301580213728801629
+child_SK = 51041472511529980987749393477251359993058329222191894694692317000136653813011
 ```
 
 ### Test Vector with Intermediate values