[ad_1]
Hello all,
I’ve some technical questions on danksharding and validation committees.
From this publish on two-slot proposer-builder separation: https://ethresear.ch/t/two-slot-proposer-builder-separation/10980, danksharding is supposed to be a two-slot course of, which means (if I’ve understood it appropriately) it’ll take two 8-second slots for the entire build-propose-verify-append course of to be accomplished.
With PBS, after the intermediate block deadline, we see the remaining ‘N-1 committees’ attest to the block physique. My first questions:
-
Is the committee dimension right here nonetheless the identical as that supposed instantly post-Merge, i.e. 128 validators, or one thing else?
-
What’s N right here? The entire validator set obtainable divided by 128?
-
These N-1 committees attest to the block physique tying as much as the block header. However do additionally they confirm for information availability and transaction validity (i.e. examine for validity proofs within the case of ZKRs, or increase fraud proofs within the case of ORs)?
My subsequent questions relate to this report: https://members.delphidigital.io/stories/the-hitchhikers-guide-to-ethereum, and particularly, this picture from it:
(Picture taken from part titled ‘Danksharding – Trustworthy Majority Validation’.)
My extra questions from the picture:
4. 1/32 of the entire validator set is assigned to attest to the information availability of the block in every slot, as there are 32 slots in an epoch. However with PBS, the block cycle now ought to take two slots! So is that this incorrect? Or ought to it’s one thing like 1/16 testifying each two slots?
5. Is ‘1/32 of the validator set’ meant to be the identical because the ‘N-1 committees’, and these information availability checks occurs concurrently that course of? Or is that this information availability verification a separate course of with completely different teams of validators that occurs after the ‘N-1 committee’ attestation?
6. Does the ‘1/32 of the validator set’ additionally attest to the transaction validity of every block?
7. Later in the identical report it is acknowledged that it is supposed for the opposite full nodes (i.e. these not within the validation set) to do their very own non-public information availability sampling. If that’s the case, will they **additionally** be doing their very own transaction validity verifications? This can be trivial for validity proofs, however I anticipate it might be fairly onerous for fraud proofs. How would this work in apply?
[ad_2]
Source link