remove obsolete docs (this is covered in honest validator guide)
This commit is contained in:
parent
8af2e03677
commit
363f918f7b
|
@ -238,148 +238,3 @@ proc state_transition*(
|
|||
# Block processing failed, roll back changes
|
||||
state = old_state
|
||||
false
|
||||
|
||||
# TODO document this:
|
||||
|
||||
# Jacek Sieka
|
||||
# @arnetheduck
|
||||
# Dec 21 11:32
|
||||
# question about making attestations: in the attestation we carry slot and a justified_slot - just to make sure, this justified_slot is the slot that was justified when the state was at slot, not whatever the client may be seeing now? effectively, because we're attesting to MIN_ATTESTATION_INCLUSION_DELAYold states, it might be that we know about a newer justified slot, but don't include it - correct?
|
||||
# Danny Ryan
|
||||
# @djrtwo
|
||||
# Dec 21 11:34
|
||||
# You are attesting to what you see as the head of the chain at that slot
|
||||
# The MIN_ATTESTATION_INCLUSION_DELAY is just how many slots must past before this message can be included on chain
|
||||
# so whatever the justified_slot was inside the state that was associate with the head you are attesting to
|
||||
# Jacek Sieka
|
||||
# @arnetheduck
|
||||
# Dec 21 11:37
|
||||
# can I revise an attestation, once I get new information (about the shard or state)?
|
||||
# Danny Ryan
|
||||
# @djrtwo
|
||||
# Dec 21 11:37
|
||||
# We are attesting to the exact current state at that slot. The MIN_ATTESTATION_INCLUSION_DELAY is to attempt to reduce centralization risk in light of fast block times (ensure attestations have time to fully propagate so fair playing field on including them on chain)
|
||||
# No, if you create two attestations for the same slot, you can be slashed
|
||||
# https://github.com/ethereum/eth2.0-specs/blob/master/specs/core/0_beacon-chain.md#is_double_vote
|
||||
# Jacek Sieka
|
||||
# @arnetheduck
|
||||
# Dec 21 11:39
|
||||
# is there any interest for me to publish my attestation before MIN_ATTESTATION_INCLUSION_DELAY-1 time has passed?
|
||||
# (apart from the risk of it not being picked up on time)
|
||||
# Danny Ryan
|
||||
# @djrtwo
|
||||
# Dec 21 11:40
|
||||
|
||||
# that’s the main risk.
|
||||
|
||||
# Note, we’re a bit unsure about MIN_ATTESTATION_INCLUSION_DELAY because it might open up an attestors timing strategy too much. In the case where MIN_ATTESTATION_INCLUSION_DELAY is removed, we just set it to 1
|
||||
# part of validator honesty assumption is to attest during your slot. That said, a rational actor might act in any number of interesting ways..
|
||||
# Jacek Sieka
|
||||
# @arnetheduck
|
||||
# Dec 21 11:59
|
||||
# I can probably google this somehow, but bls signatures, anyone knows off the top of their head if they have to be combined one by one, or can two group signatures be combined? what happens to overlap then?
|
||||
# Danny Ryan
|
||||
# @djrtwo
|
||||
# Dec 21 12:00
|
||||
# Yeah, you can do any linear combination of signatures. but you have to remember the linear combination of pubkeys that constructed
|
||||
# if you have two instances of a signature from pubkey p, then you need 2*p in the group pubkey
|
||||
# because the attestation bitfield is only 1 bit per pubkey right now, attestations do not support this
|
||||
# it could be extended to support N overlaps up to N times per pubkey if we had N bits per validator instead of 1
|
||||
# We are shying away from this for the time being. If there end up being substantial difficulties in network layer aggregation, then adding bits to aid in supporting overlaps is one potential solution
|
||||
# Jacek Sieka
|
||||
# @arnetheduck
|
||||
# Dec 21 12:02
|
||||
# ah nice, you anticipated my followup question there :) so it's not a straight-off set union operation
|
||||
# Danny Ryan
|
||||
# @djrtwo
|
||||
# Dec 21 12:02
|
||||
# depending on the particular network level troubles we run into
|
||||
# right
|
||||
# aggregatng sigs and pubkeys are both just ec adds https://github.com/ethereum/py-evm/blob/d82b10ae361cde6abbac62f171fcea7809c4e3cf/eth/_utils/bls.py#L191-L202
|
||||
# subtractions work too (i suppose this is obvious). You can linearly combine sigs or pubs in any way
|
||||
# Jacek Sieka
|
||||
# @arnetheduck
|
||||
# Dec 21 12:05
|
||||
# hm.. well, because one thing I'm thinking of is the scenario where someone attests to some shard head and I receive that attestation.. now, let's say that's an honest attestation, but within that same slot, I have more fresh information about a shard for example.. now, I can either sign the data in the old attestation or churn out a new one, risking that neither of these get enough votes to be useful - does that sound.. accurate?
|
||||
# Danny Ryan
|
||||
# @djrtwo
|
||||
# Dec 21 12:08
|
||||
|
||||
# So you won’t just be signing the head of the shard. This isn’t specified yet, but it would be targeting some recent epoch boundary to ensure higher chance of consensus.
|
||||
|
||||
# If your recent info is about a better fork in the shard than the one you see the other attester signed, then you are better off signing that fork because if it is winning in your few of the shard chain fork choice, then you would assume it is winning in the view of most attesters shard fork choice
|
||||
# If some strange circumstance arose in which you saw a majority of attestations that signed something you think is unexpected before you signed, a rational actor might defect to this majority. An honest actor would sign what they believe to be true
|
||||
# in practice, the actor would have to wait some amount of time past when they should have attested to gather this info.
|
||||
# also, at the end of the day the validator has to compute the non-outsourcable proof of custody bit, so if the other validators are signing off on some shard chain fork they don’t know about, then they can’t attest to that data anyway
|
||||
# (for fear of signing a bad custody bit)
|
||||
# so their rational move is to just attest to the data they acutally know about and can accurately compute their proof of custody bit on
|
||||
# Jacek Sieka
|
||||
# @arnetheduck
|
||||
# Dec 21 12:58
|
||||
# what's justified_block_root doing in attestation_data? isn't that available already as get_block_root(state, attestation.data.justified_slot)?
|
||||
# also, when we sign hash_tree_root(attestation.data) + bytes1(0) - what's the purpose of the 0 byte, given we have domain already?
|
||||
# Danny Ryan
|
||||
# @djrtwo
|
||||
# Dec 21 13:03
|
||||
# 0 byte is a stub for the proof of custody bit in phase 0
|
||||
# If the attestation is included in a short range fork but still votes for the chain it is added to’s justified_block_root/slot, then we want to count the casper vote
|
||||
# likely if I see the head of the chain as different from what ends up being the canonical chain, my view of the latest justified block might still be in accordance with the canonical chain
|
||||
# if my attesation is included in a fork, the head i voted on doesn’t necessarily lead back to the justified block in the fork. Without including justified_block_root, my vote could be used in any fork for the same epoch even if the block at that justified_slot height was different
|
||||
# Danny Ryan
|
||||
# @djrtwo
|
||||
# Dec 21 13:14
|
||||
# Long story short, because attestations can be included in forks of the head they are actually attesting to, we can’t be sure of the justified_block that was being voted on by just usng the justified_slot. The security of properties of Casper FFG require that the voter makes a firm commitment to the actual source block, not just the height of the source block
|
||||
# Jacek Sieka
|
||||
# @arnetheduck
|
||||
# Dec 21 13:23
|
||||
# ok. that's quite a piece. I'm gonna have to draw some diagrams I think :)
|
||||
# ah. ok. actually makes sense.. I think :)
|
||||
# Jacek Sieka
|
||||
# @arnetheduck
|
||||
# Dec 21 13:31
|
||||
# how does that interact then with the following check:
|
||||
|
||||
# Verify that attestation.data.justified_block_root is equal to get_block_root_at_slot(state, attestation.data.justified_slot).
|
||||
|
||||
# Danny Ryan
|
||||
# @djrtwo
|
||||
# Dec 21 13:32
|
||||
# ah, my bad above. We only include an attestation on chain if it is for the correct source
|
||||
# That’s one of the bare minimum requirements to get it included on chain. Without the justified_block_root, we can’t do that check
|
||||
# essentially that checks if this attestation is relevant at all to the current fork’s consensus.
|
||||
# if the justified_block is wrong, then we know the target of the vote and the head of the attestation are wrong too
|
||||
# sorry for the slight mix up there
|
||||
# logic still holds — the justified_slot alone is not actually a firm commitment to a particular chain history. You need the associated hash
|
||||
# Jacek Sieka
|
||||
# @arnetheduck
|
||||
# Dec 21 13:35
|
||||
# can't you just follow Block.parent_root?
|
||||
# well, that, and ultimately.. Block.state_root
|
||||
# Danny Ryan
|
||||
# @djrtwo
|
||||
# Dec 21 13:37
|
||||
# The block the attestation is included in might not be for the same fork the attestation was made
|
||||
# we first make sure that the attestation and the block that it’s included in match at the justified_slot. if not, throw it out
|
||||
# then in the incentives, we give some extra reward if the epoch_boundary_root and the chain match
|
||||
# and some extra reward if the beacon_block_root match
|
||||
# if all three match, then the attestation is fully agreeing with the canonical chain. +1 casper vote and strengthening the head of the fork choice
|
||||
# if just justified_block_root and epoch_boundary_root match then the attestation agrees enough to successfully cast an ffg vote
|
||||
# if just justified_block_root match, then at least the attestation agrees on the base of the fork choice, but this isn’t enough to cast an FFG vote
|
||||
# Jacek Sieka
|
||||
# @arnetheduck
|
||||
# Dec 21 13:41
|
||||
|
||||
# if not, throw it out
|
||||
|
||||
# it = block or attestation?
|
||||
# Danny Ryan
|
||||
# @djrtwo
|
||||
# Dec 21 13:42
|
||||
# well, if you are buildling the block ,you shouldn’t include it (thus throw it out of current consideration). If you are validating a block you just received and that conditon fails for an attestation, throw the block out because it included a bad attestation and is thus invalid
|
||||
# The block producer knows when producing the block if they are including bad attestations or other data that will fail state transition
|
||||
# and should not do that
|
||||
# Jacek Sieka
|
||||
# @arnetheduck
|
||||
# Dec 21 13:43
|
||||
# yeah, that makes sense, just checking
|
||||
# ok, I think I'm gonna let that sink in a bit before asking more questions.. thanks :)
|
||||
|
|
Loading…
Reference in New Issue