status-im
/
eth2.0-specs
mirror of https://github.com/status-im/eth2.0-specs.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

block proposer sig to uint384

This commit is contained in:
Danny Ryan 2018-11-25 10:12:48 -06:00 committed by GitHub
parent a880f00885
commit c0aa43804b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -129,7 +129,7 @@ A `BeaconBlock` has the following fields:
# Specials (e.g. logouts, penalties) # Specials (e.g. logouts, penalties)
'specials': [SpecialRecord], 'specials': [SpecialRecord],
# Proposer signature # Proposer signature
'proposer_signature': ['uint256'], 'proposer_signature': ['uint384'],
} }
``` ```
@ -900,9 +900,9 @@ For each validator index `v` in `intersection`, if `state.validators[v].status`
{ {
'proposer_index': 'uint24', 'proposer_index': 'uint24',
'proposal1_data': ProposalSignedData, 'proposal1_data': ProposalSignedData,
'proposal1_signature': '[uint256]', 'proposal1_signature': '[uint384]',
'proposal2_data': ProposalSignedData, 'proposal2_data': ProposalSignedData,
'proposal1_signature': '[uint256]', 'proposal1_signature': '[uint384]',
} }
``` ```
For each `proposal_signature`, verify that `BLSVerify(pubkey=validators[proposer_index].pubkey, msg=hash(proposal_data), sig=proposal_signature, domain=get_domain(state, proposal_data.slot, DOMAIN_PROPOSAL))` passes. Verify that `proposal1_data.slot == proposal2_data.slot` but `proposal1 != proposal2`. If `state.validators[proposer_index].status` does not equal `PENALIZED`, then run `exit_validator(proposer_index, state, penalize=True, current_slot=block.slot)` For each `proposal_signature`, verify that `BLSVerify(pubkey=validators[proposer_index].pubkey, msg=hash(proposal_data), sig=proposal_signature, domain=get_domain(state, proposal_data.slot, DOMAIN_PROPOSAL))` passes. Verify that `proposal1_data.slot == proposal2_data.slot` but `proposal1 != proposal2`. If `state.validators[proposer_index].status` does not equal `PENALIZED`, then run `exit_validator(proposer_index, state, penalize=True, current_slot=block.slot)`