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

Alpha: fail on early revelations

Browse Source 
We now fail when a nonce is revealed before
the the expected revelation cycle.
This commit is contained in:
Grégoire Henry 2018-04-09 17:05:56 +02:00 committed by Benjamin Canou
parent 3cb1c3c5e2
commit 74ec514fd2
1 changed files with 11 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
src/proto_alpha/lib_protocol/src/nonce_storage.ml
View File

@ -59,18 +59,20 @@ let () =
(function Unexpected_nonce -> Some () | _ -> None) (function Unexpected_nonce -> Some () | _ -> None)
(fun () -> Unexpected_nonce) (fun () -> Unexpected_nonce)
let get_unrevealed ctxt level =
let revealed_cycle =
let cur_level = Level_storage.current ctxt in
match Cycle_repr.pred cur_level.cycle with match Cycle_repr.pred cur_level.cycle with
| None -> Cycle_repr.root | None -> Cycle_repr.root
| Some min_cycle -> min_cycle in | Some min_cycle -> min_cycle in
fail_unless if Cycle_repr.(revealed_cycle < level.Level_repr.cycle) then
Cycle_repr.(min_cycle <= level.Level_repr.cycle) fail Too_early_revelation
Too_late_revelation >>=? fun () -> else if Cycle_repr.(level.Level_repr.cycle < revealed_cycle) then
fail_unless fail Too_late_revelation
Raw_level_repr.(level.level < cur_level.level) else
Too_early_revelation >>=? fun () -> Storage.Seed.Nonce.get ctxt level >>=? function
Storage.Seed.Nonce.get c level >>=? function | Revealed _ -> fail Previously_revealed_nonce
| Revealed _ -> fail Previously_revealed_nonce | Unrevealed status -> return status
| Unrevealed status -> return status
let record_hash ctxt unrevealed = let record_hash ctxt unrevealed =
let level = Level_storage.current ctxt in let level = Level_storage.current ctxt in