status-im/eth2.0-specs
2
0
Fork 0
mirror of https://github.com/status-im/eth2.0-specs.git synced 2025-02-19 14:04:25 +00:00
Code Issues Projects Releases Wiki Activity

Add explicit assert to get_permutated_index

Browse Source 
There is an implicit assert in `int_to_bytes4`, however I think it's rather hidden.
This commit is contained in:
Paul Hauner 2019-02-15 11:57:23 +11:00 committed by GitHub
parent 2be42ebbbf
commit 267f840570
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
specs/core/0_beacon-chain.md
View File

@ -745,6 +745,7 @@ def get_permuted_index(index: int, list_size: int, seed: Bytes32) -> int:
See the 'generalized domain' algorithm on page 3. See the 'generalized domain' algorithm on page 3.
""" """
assert index < list_size assert index < list_size
assert list_size < 2**24
for round in range(SHUFFLE_ROUND_COUNT): for round in range(SHUFFLE_ROUND_COUNT):
pivot = bytes_to_int(hash(seed + int_to_bytes1(round))[0:8]) % list_size pivot = bytes_to_int(hash(seed + int_to_bytes1(round))[0:8]) % list_size