Incentives: Suspend "absentee" accounts that don't propose.

agreement/abstractions.go

@@ -54,12 +54,14 @@ type BlockValidator interface {
 // and can now be recorded in the ledger.  This is an optimized version of
 // calling EnsureBlock() on the Ledger.
 type ValidatedBlock interface {
-	// WithSeed creates a copy of this ValidatedBlock with its
-	// cryptographically random seed set to the given value.
+	// WithProposal creates a copy of this ValidatedBlock with its
+	// cryptographically random seed and proposer set. Abstractly, it is how the
+	// agreement code "finishes" a block and makes it a proposal for a specific
+	// account.
 	//
 	// Calls to Seed() or to Digest() on the copy's Block must
 	// reflect the value of the new seed.
-	WithSeed(committee.Seed) ValidatedBlock
+	WithProposal(committee.Seed, basics.Address) ValidatedBlock
 
 	// Block returns the underlying block that has been validated.
 	Block() bookkeeping.Block

agreement/agreementtest/simulate_test.go

@@ -79,8 +79,9 @@ func (b testValidatedBlock) Block() bookkeeping.Block {
 	return b.Inside
 }
 
-func (b testValidatedBlock) WithSeed(s committee.Seed) agreement.ValidatedBlock {
+func (b testValidatedBlock) WithProposal(s committee.Seed, proposer basics.Address) agreement.ValidatedBlock {
 	b.Inside.BlockHeader.Seed = s
+	b.Inside.BlockHeader.Proposer = proposer
 	return b
 }
 

agreement/common_test.go

@@ -165,8 +165,9 @@ func (b testValidatedBlock) Block() bookkeeping.Block {
 	return b.Inside
 }
 
-func (b testValidatedBlock) WithSeed(s committee.Seed) ValidatedBlock {
+func (b testValidatedBlock) WithProposal(s committee.Seed, proposer basics.Address) ValidatedBlock {
 	b.Inside.BlockHeader.Seed = s
+	b.Inside.BlockHeader.Proposer = proposer
 	return b
 }
 

agreement/fuzzer/ledger_test.go

@@ -93,8 +93,9 @@ func (b testValidatedBlock) Block() bookkeeping.Block {
 	return b.Inside
 }
 
-func (b testValidatedBlock) WithSeed(s committee.Seed) agreement.ValidatedBlock {
+func (b testValidatedBlock) WithProposal(s committee.Seed, proposer basics.Address) agreement.ValidatedBlock {
 	b.Inside.BlockHeader.Seed = s
+	b.Inside.BlockHeader.Proposer = proposer
 	return b
 }