*: use generic hashes implementation for DBFT

A part of #2. Use generics instead of util.Uint160 and util.Uint256
types for DBFT and related components. Keep util.Uint160 and util.Uint256
only for specific DBFT implementation in testing code.

The following regressions/behaviour changes were made to properly
apply generics:
1. `dbft.Option` alias is removed since type parameters can't be defined
   on aliases (generic type aliases are prohibited). Ref.
   golang/go#46477.
2. Default dBFT configuration is reduced: all payload-specific defaults
   are removed, as described in #91.
   It is done because default dBFT configuration should not depend on any
   implementation-specific hash type.
3. DBFT configuration validation check is extended wrt point 2.
4. The check if generic `dbft.DBFT` type implements generic `dbft.Service`
   interface is removed since such check should be performed on particular
   (non-generic) DBFT implementation.

Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>

block/block.go

@@ -23,23 +23,23 @@ type (
 	}
 
 	// Block is a generic interface for a block used by dbft.
-	Block interface {
+	Block[H crypto.Hash, A crypto.Address] interface {
 		// Hash returns block hash.
-		Hash() util.Uint256
+		Hash() H
 
 		Version() uint32
 		// PrevHash returns previous block hash.
-		PrevHash() util.Uint256
+		PrevHash() H
 		// MerkleRoot returns a merkle root of the transaction hashes.
-		MerkleRoot() util.Uint256
+		MerkleRoot() H
 		// Timestamp returns block's proposal timestamp.
 		Timestamp() uint64
 		// Index returns block index.
 		Index() uint32
 		// ConsensusData is a random nonce.
 		ConsensusData() uint64
 		// NextConsensus returns hash of the validators of the next block.
-		NextConsensus() util.Uint160
+		NextConsensus() A
 
 		// Signature returns block's signature.
 		Signature() []byte
@@ -49,16 +49,16 @@ type (
 		Verify(key crypto.PublicKey, sign []byte) error
 
 		// Transactions returns block's transaction list.
-		Transactions() []Transaction
+		Transactions() []Transaction[H]
 		// SetTransactions sets block's transaction list.
-		SetTransactions([]Transaction)
+		SetTransactions([]Transaction[H])
 	}
 
 	neoBlock struct {
 		base
 
 		consensusData uint64
-		transactions  []Transaction
+		transactions  []Transaction[util.Uint256]
 		signature     []byte
 		hash          *util.Uint256
 	}
@@ -100,17 +100,17 @@ func (b *neoBlock) ConsensusData() uint64 {
 }
 
 // Transactions implements Block interface.
-func (b *neoBlock) Transactions() []Transaction {
+func (b *neoBlock) Transactions() []Transaction[util.Uint256] {
 	return b.transactions
 }
 
 // SetTransactions implements Block interface.
-func (b *neoBlock) SetTransactions(txx []Transaction) {
+func (b *neoBlock) SetTransactions(txx []Transaction[util.Uint256]) {
 	b.transactions = txx
 }
 
 // NewBlock returns new block.
-func NewBlock(timestamp uint64, index uint32, nextConsensus util.Uint160, prevHash util.Uint256, version uint32, nonce uint64, txHashes []util.Uint256) Block {
+func NewBlock(timestamp uint64, index uint32, nextConsensus util.Uint160, prevHash util.Uint256, version uint32, nonce uint64, txHashes []util.Uint256) Block[util.Uint256, util.Uint160] {
 	block := new(neoBlock)
 	block.base.Timestamp = uint32(timestamp / 1000000000)
 	block.base.Index = index

block/block_test.go

@@ -19,7 +19,7 @@ func TestNeoBlock_Setters(t *testing.T) {
 
 	require.Equal(t, util.Uint256{}, b.Hash())
 
-	txs := []Transaction{testTx(1), testTx(2)}
+	txs := []Transaction[util.Uint256]{testTx(1), testTx(2)}
 	b.SetTransactions(txs)
 	assert.Equal(t, txs, b.Transactions())
 

block/transaction.go

@@ -1,12 +1,12 @@
 package block
 
 import (
-	"github.com/nspcc-dev/neo-go/pkg/util"
+	"github.com/nspcc-dev/dbft/crypto"
 )
 
 // Transaction is a generic transaction interface.
-type Transaction interface {
+type Transaction[H crypto.Hash] interface {
 	// Hash must return cryptographic hash of the transaction.
 	// Transactions which have equal hashes are considered equal.
-	Hash() util.Uint256
+	Hash() H
 }

check.go

@@ -5,7 +5,7 @@ import (
 	"go.uber.org/zap"
 )
 
-func (d *DBFT) checkPrepare() {
+func (d *DBFT[H, A]) checkPrepare() {
 	if !d.hasAllTransactions() {
 		d.Logger.Debug("check prepare: some transactions are missing", zap.Any("hashes", d.MissingTransactions))
 		return
@@ -37,7 +37,7 @@ func (d *DBFT) checkPrepare() {
 	}
 }
 
-func (d *DBFT) checkCommit() {
+func (d *DBFT[H, A]) checkCommit() {
 	if !d.hasAllTransactions() {
 		d.Logger.Debug("check commit: some transactions are missing", zap.Any("hashes", d.MissingTransactions))
 		return
@@ -78,7 +78,7 @@ func (d *DBFT) checkCommit() {
 	// new height.
 }
 
-func (d *DBFT) checkChangeView(view byte) {
+func (d *DBFT[H, A]) checkChangeView(view byte) {
 	if d.ViewNumber >= view {
 		return
 	}