20 minutes | Enforcing the structure of the DAG | From Casper | - There exists a contract that has an idea of an ideal DAG, and if the validator set collectively generates a DAG close to that ideal, everyone gets more money. The contract can see all the history (justifications), and the contract controls the payout. Maximum payout is achieved when all the rules are followed by all the validators. Coming up with a DAG based on coming up with intuitions really isn't better. If we are doing a correct by construction is to start with a piece of data to use as a synchrony assumption and then derive the optimum DAG structure. These are all mathematical proofs, that probably can't be done in the time allotted.
|
| Finding Validators |
| - The validators will find ways to publish their endpoints as a means to find the network.
|
30 minutes | Incentive for Block Production |
| - Need to have at least 2 validators proposing blocks in any given shard, otherwise a single validator is proposing all the blocks.
- Validators proposing blocks do a bit more work to collect transactions, process them and propose blocks.
- Everyone has to at least produce blocks. It's done by producing a block that builds on top of the proposed block.
- Proposing blocks is what allows for finalization.
|