balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Shell: fix Block_locator.Step.draw on 32bits platform

Browse Source
This commit is contained in:
Pierre Boutillier 2018-06-06 10:34:09 +02:00 committed by Benjamin Canou
parent 330b670d59
commit 761dbdd818
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/lib_base/block_locator.ml
View File

@ -65,7 +65,7 @@ module Step : sig
end = struct
type state = int * int * MBytes.t
type state = Int32.t * int * MBytes.t
let init seed head =
let open Hacl.Hash in
@ -74,24 +74,24 @@ end = struct
P2p_peer.Id.to_bytes seed.sender_id ;
P2p_peer.Id.to_bytes seed.receiver_id ;
Block_hash.to_bytes head ] ;
(1, 9, SHA256.finish st)
(1l, 9, SHA256.finish st)
let draw seed n =
Int32.to_int (MBytes.get_int32 seed 0) mod n,
Int32.rem (MBytes.get_int32 seed 0) n,
Hacl.Hash.SHA256.digest seed
let next (step, counter, seed) =
let random_gap, seed =
if step <= 1 then
0, seed
if step <= 1l then
0l, seed
else
draw seed (1 + step/2) in
draw seed (Int32.succ (Int32.div step 2l)) in
let new_state =
if counter = 0 then
(step * 2, 9, seed)
(Int32.mul step 2l, 9, seed)
else
(step, counter - 1, seed) in
step - random_gap, new_state
Int32.to_int (Int32.sub step random_gap), new_state
end