Casper提案机制

Question

我不明白这里的提议机制是如何工作的。

提案机制是一种提议散列的机制，其馀的具有准备和提交消息的机制随后试图完成该机制。这一机制有时很可能是错误的；这是削减条件的工作，以确保即使提案机制有缺陷，也不会出现安全故障，一旦提案机制停止故障，协议就可以完成某件事情。

从上面的引号来看，提案机制似乎比验证器发送、准备和提交消息之前提出了一个散列。

在卡斯珀是如何提出阻止提案的？是我在stackexchange上找到的最好的答案，但我认为这与另一种算法有关。

在此，我有些怀疑：

1. 如何选择提议哈希的验证器？
2. 如果验证器处于脱机状态，会发生什么？
3. 验证器必须使用像PREPARE和COMMIT这样的消息来提议哈希吗？有点像[PROPOSE, epoch, HASH, epoch_source]
4. 对投标人有削减条件吗？
5. 验证器必须只为建议的哈希发送PREPARE消息吗？
6. 提议的消息包含在状态中吗？

Answer 1

部分答复：

来源：https://gitter.im/ethereum/research

Ben @Lisk115 115 mag 06 13:38您准备并提交了一个现有的块来完成它。验证器根据选择的algo生成新的块。每个验证器都可以准备并提交(并获得奖励)每个块。

菲利普·梅利@Fi3Mag 06 13:45 ty。如果验证器提出了一个尚未最终确定的bockhash，那么验证器就会被砍掉？

Ben @Lisk115 115 mag 06 13:45不，只有当你含糊其辞时才会被割伤(如发送冲突的准备和提交)。https://github.com/ethereum/wiki/wiki/Proof-of-Stake-FAQ#how-does-validator-selection-work-and-what-is-stake-grinding

菲利普·梅利@Fi3Mag 06 13:46 ok ty。最后一件事，如果一个验证器提出一个不能最终确定的散列，会发生什么？有什么后果吗？

Ben @Lisk115Mag 06 13:49不，无论如何不是作为一个大砍刀的条件，但我不知道块生成的当前细节。可能会有什么东西可以防止人们乱发垃圾信息，破坏秩序。可能会阻止其他节点甚至不接受它。您不会因为生成块(我相信)而得到奖励，只会发送有效的准备和提交。这是在链子上完成的。这附近有一份正在进行中的卡斯珀合同。让我看看能不能找到

Ben @Lisk115 115 mag 06 14:02 https://github.com/ethereum/casper