Formalizing

Let's define:

• : number of validators assigned to service by account .

• : total number of validators in service .

• : obligation for account in service (i.e. the slashable capital from account available for service ).

• : total obligation (slashable capital) in service .

• : total obligation for account .

• : total slashable assets of account .

• : obligation ratio for account .

Note that we can have , which means that and the account has some slashable capital that is associated with more than one service.

The weight of an account k in a bApp is denoted by , defined as a value in [0,1] (or [0%,100%]). Usually, it would be defined by some participation ratio, such as (the fraction of slashable capital participation), or (the fraction of validators). For flexibility, the bApp can define the function that best suits its needs.

However, to take the account's risk into consideration, we can adjust the weight by combining the participation ratio , with the account's risk, , in the following way:

where is a hyperparameter that the bApp can adjust according to its security necessities, and is a normalization constant which can be computed by:

We take to avoid the issue in which , artificially increases the voting power of an account with almost no obligation and risk.

A numerical example of this model is provided in Appendix A1.