status-im/eth2.0-specs
2
0
Fork 0
mirror of https://github.com/status-im/eth2.0-specs.git synced 2025-01-16 13:45:08 +00:00
Code Issues Projects Releases Wiki Activity

Merge pull request #725 from ralexstokes/dev

Browse Source 
Fix calls of `signed_root`
This commit is contained in:
Danny Ryan 2019-03-06 15:03:20 -07:00 committed by GitHub
commit 28f2a723af
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1292,7 +1292,7 @@ def process_deposit(state: BeaconState, deposit: Deposit) -> None:
# Verify the proof of possession # Verify the proof of possession
proof_is_valid = bls_verify( proof_is_valid = bls_verify(
pubkey=deposit_input.pubkey, pubkey=deposit_input.pubkey,
message_hash=signed_root(deposit_input, "proof_of_possession"), message_hash=signed_root(deposit_input),
signature=deposit_input.proof_of_possession, signature=deposit_input.proof_of_possession,
domain=get_domain( domain=get_domain(
state.fork, state.fork,
@ -1664,8 +1664,8 @@ Below are the processing steps that happen at every `block`.
#### Block signature #### Block signature
* Let `proposer = state.validator_registry[get_beacon_proposer_index(state, state.slot)]`. * Let `proposer = state.validator_registry[get_beacon_proposer_index(state, state.slot)]`.
* Let `proposal = Proposal(block.slot, BEACON_CHAIN_SHARD_NUMBER, signed_root(block, "signature"), block.signature)`. * Let `proposal = Proposal(block.slot, BEACON_CHAIN_SHARD_NUMBER, signed_root(block), block.signature)`.
* Verify that `bls_verify(pubkey=proposer.pubkey, message_hash=signed_root(proposal, "signature"), signature=proposal.signature, domain=get_domain(state.fork, get_current_epoch(state), DOMAIN_PROPOSAL))`. * Verify that `bls_verify(pubkey=proposer.pubkey, message_hash=signed_root(proposal), signature=proposal.signature, domain=get_domain(state.fork, get_current_epoch(state), DOMAIN_PROPOSAL))`.
#### RANDAO #### RANDAO
@ -1705,7 +1705,7 @@ def process_proposer_slashing(state: BeaconState,
for proposal in (proposer_slashing.proposal_1, proposer_slashing.proposal_2): for proposal in (proposer_slashing.proposal_1, proposer_slashing.proposal_2):
assert bls_verify( assert bls_verify(
pubkey=proposer.pubkey, pubkey=proposer.pubkey,
message_hash=signed_root(proposal, "signature"), message_hash=signed_root(proposal),
signature=proposal.signature, signature=proposal.signature,
domain=get_domain(state.fork, slot_to_epoch(proposal.slot), DOMAIN_PROPOSAL) domain=get_domain(state.fork, slot_to_epoch(proposal.slot), DOMAIN_PROPOSAL)
) )
@ -1853,7 +1853,7 @@ def process_exit(state: BeaconState, exit: VoluntaryExit) -> None:
# Verify signature # Verify signature
assert bls_verify( assert bls_verify(
pubkey=validator.pubkey, pubkey=validator.pubkey,
message_hash=signed_root(exit, "signature"), message_hash=signed_root(exit),
signature=exit.signature, signature=exit.signature,
domain=get_domain(state.fork, exit.epoch, DOMAIN_EXIT) domain=get_domain(state.fork, exit.epoch, DOMAIN_EXIT)
) )
@ -1898,7 +1898,7 @@ def process_transfer(state: BeaconState, transfer: Transfer) -> None:
# Verify that the signature is valid # Verify that the signature is valid
assert bls_verify( assert bls_verify(
pubkey=transfer.pubkey, pubkey=transfer.pubkey,
message_hash=signed_root(transfer, "signature"), message_hash=signed_root(transfer),
signature=transfer.signature, signature=transfer.signature,
domain=get_domain(state.fork, slot_to_epoch(transfer.slot), DOMAIN_TRANSFER) domain=get_domain(state.fork, slot_to_epoch(transfer.slot), DOMAIN_TRANSFER)
) )