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

Alpha/Accuser: ensure that double endorsements denunciations happens only when endorsement are not from the same branch

Browse Source
This commit is contained in:
Vincent Botbol 2018-07-31 16:47:44 +02:00 committed by Benjamin Canou
parent 99060e3e95
commit c1f36a5ad2
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/proto_alpha/lib_delegate/client_baking_denunciation.ml
View File

@ -94,7 +94,8 @@ let process_endorsements (cctxt : #Proto_alpha.full) state ~chain
begin match Delegate_Map.find_opt delegate map with begin match Delegate_Map.find_opt delegate map with
| None -> return @@ HLevel.add state.endorsements_table level | None -> return @@ HLevel.add state.endorsements_table level
(Delegate_Map.add delegate new_endorsement map) (Delegate_Map.add delegate new_endorsement map)
| Some existing_endorsement -> | Some existing_endorsement when
Block_hash.(existing_endorsement.shell.branch <> new_endorsement.shell.branch) ->
get_block_offset level >>= fun block -> get_block_offset level >>= fun block ->
(* TODO : verify that the chains are coherent *) (* TODO : verify that the chains are coherent *)
Alpha_block_services.hash cctxt ~chain:`Main ~block () >>=? fun block_hash -> Alpha_block_services.hash cctxt ~chain:`Main ~block () >>=? fun block_hash ->
@ -115,6 +116,10 @@ let process_endorsements (cctxt : #Proto_alpha.full) state ~chain
-% a Operation_hash.Logging.tag op_hash) >>= fun () -> -% a Operation_hash.Logging.tag op_hash) >>= fun () ->
return @@ HLevel.replace state.endorsements_table level return @@ HLevel.replace state.endorsements_table level
(Delegate_Map.add delegate new_endorsement map) (Delegate_Map.add delegate new_endorsement map)
| Some _ ->
(* This endorsement is already present in another
block but endorse the same predecessor *)
return_unit
end end
| _ -> | _ ->
lwt_log_error Tag.DSL.(fun f -> lwt_log_error Tag.DSL.(fun f ->