Next Article in Journal
Determining Intermediary Closely Related Languages to Find a Mediator for Intertribal Conflict Resolution
Next Article in Special Issue
An Approach for Risk Traceability Using Blockchain Technology for Tracking, Tracing, and Authenticating Food Products
Previous Article in Journal
Improving the Adversarial Robustness of Neural ODE Image Classifiers by Tuning the Tolerance Parameter
Previous Article in Special Issue
Quadratic Voting in Blockchain Governance
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Liquid Proof-of-Stake in Tezos: An Economic Analysis

Department of Economics and Statistics, University of Siena, Piazza San Francesco 7, 53100 Siena, Italy
Information 2022, 13(12), 556; https://doi.org/10.3390/info13120556
Submission received: 14 August 2022 / Revised: 14 November 2022 / Accepted: 15 November 2022 / Published: 27 November 2022
(This article belongs to the Special Issue Models for Blockchain Systems: Analysis and Simulation)

Abstract

:
In this paper, we investigate some economic fundamentals related to the Tezos blockchain platform under the Emmy* consensus protocol. The protocol is based on a liquid version of Proof-of-Stake, in the sense that users can temporarily delegate some or all of their Tz units to full nodes. In addition to increasing the stake of the full node, and thus the probability of being selected as a block baker/endorser, such delegation induces the property of the super-additivity of users’ selection probability of baking/endorsing a block. That is, with delegation, the selection probability may be larger than the sum of the selection probabilities without delegation. In this paper, we study how monetary holdings and stakes can evolve with time, also discussing the individual user and the market implications of delegation.

1. Introduction

Tezos is an open-source, peer-to-peer blockchain platform founded in 2018. Since its inception, Tezos has attracted much attention [1,2,3,4,5,6,7,8,9,10] for a variety of reasons, the main one of which is its consensus protocol. In this paper, we consider the protocol version called Emmy*, recently replaced by Tenderbake. Emmy* is based on Delegated Proof-of-Stake (PoS) [2], in which the stake is represented by the number of so-called rolls, where a roll corresponds to   8000   units of the Tezos currency, named   T z . Users owning/managing rolls are called delegates, who can be selected by the platform either to bake (propose) or to endorse (validate) new blocks or to do both. Baking/endorsing is rewarding for a user but can only be accomplished by depositing, for a certain number of validated blocks, a sum of T z for security. In the case of double baking/endorsing, the security deposit will be slashed by the platform.
Those users who own less than 8000   T z , or do not want to run a costly full node to bake/endorse blocks, may delegate their T z units to a user operating a full node, who could then temporarily increase her/his number of rolls. Upon successful baking/endorsing, the rewards will be shared between the delegating and delegated nodes, typically according to a proportion based on their number of rolls. For this reason, delegation operates in a way that is akin, though not identical, to mining pools in Bitcoin. Indeed, the main difference is the following. While in Bitcoin, when miners join their computational power into mining pools, the total hashing power is basically the sum of the individual hashing powers, in Tezos with Emmy*, the success probability with delegation will typically be larger than the sum of the individual success probabilities without delegation. That is, since the probability of being selected for baking/endorsing blocks in Tezos is based on the number of rolls, joining individual stakes through delegation will typically induce a super-additivity property of the success probability. In fact, taking as given the total number of rolls for a user, the selection (success) probability is a step function of the stake, namely, a function that increases only for multiples of 8000   T z .
This paper aims to investigate some main economic issues related to Tezos under the Emmy* version of the protocol. To our knowledge, this is the first such contribution. In particular, we are interested in discussing how the optimal number of rolls is determined by the nodes, how baking/endorsing rewards can be shared with delegation, and whether the possibility of delegation would induce the emergence of a market for such services. The analysis will proceed gradually, with the paper being structured as follows. In Section 2, we discuss single-block baking priorities, while in Section 3, we discuss endorsement priorities, both without delegation. In Section 4 and Section 5, we define a user’s expected revenue for a single block and a cycle of blocks, respectively. In Section 6, we introduce a user’s preferences to investigate her/his optimal stake, that is, her/his optimal number of rolls. Delegation is analysed in Section 7, where the super-additivity property of the selection probability of being a baker/endorser is identified. Section 8 presents some economic fundamentals of the market for delegation services, while Section 9 concludes the paper.

2. Baking Priorities for a Single Block with No Delegation

In this section, we consider the fundamental elements of how priorities for baking blocks are established without delegation.
Suppose R > 1 is the number of rolls in the community at some date, with one roll corresponding to 8000   Tz, and 0 r R is the number of rolls owned by a generic user. We assume that rolls represent the user’s stake.
Rolls are randomly drawn according to a sampling-with-replacement scheme to establish the priority, p = 0 , , R , with which users owning the rolls bake (propose) the next block. Therefore, the same roll can be drawn more than once. Priority p = 0 is the highest priority, p = 1 is the second highest, and so on. The user owning the roll with priority p = 0 has the right to bake the next block. If, for some reason, she/he declines, then the right to bake shifts to the roll with the second highest priority and so on. The probability that a generic user will be selected in a single draw is r R , so ( R r ) R is the probability of not being selected in a single draw. Therefore, the user with the highest number of rolls, i.e., the largest stake, has the highest probability of being selected, which, of course, is the main incentive introduced by Tezos to induce users’ stakes.
The reward ρ b depends on the priority of the baker (roll) and on the number of endorsements ( e = 0 , 2 , , 256 ) received by the block. Double baking, as well as double endorsement, is punished by the platform.
The reward for baking ρ b   is defined as follows:
ρ b = { e × a   T z           i f   p = 0 e × b   T z           i f   p > 0
where a = 0.078125   T z and b = 0.011719   T z . Thus, the reward for baking a block is a linear function of the number of endorsements e received by the block, whose slope varies according to the roll’s priority. From (1), it follows that the only difference is between the highest priority and any other priority. Since the number of selected endorsers is 256 , the maximum reward for baking a block is 20   T z .
Considering a sampling-with-replacement scheme for the selection of baking priorities, the general expression for a user’s probability of baking the next block P ( B ) is given by
P ( B ) = r R + ( R r ) q r R 2 + [ ( R r ) q ] 2 r R 3 + + [ ( R r ) q ] ( R 1 ) r R R = r [ 1 ( ( R r ) q R ) R ] [ R ( 1 q ) + r q ]
where 0 q 1 is the probability that a user with higher priority will not bake, for whatever reason, the next block. Equation (2) assumes that users may not bake a block independently of each other. Admittedly, this may be a simplification, as well as assuming that q is the same for each user. However, as the first step in the analysis, we find this to be acceptable. It is worth noticing that as q tends to 0 , P ( B ) tends to r R . That is, when delegates tend to bake blocks, then basically, the only possibility for a user to bake a block is to have the highest priority, p = 0 . Likewise, as q tends to 1 , P ( B ) tends to   1 ( ( R r ) R ) R . That is, if users with higher priorities never bake a block, the probability that a generic user will bake the next block is maximised, and
P ( B ) ~ 1 e x p ( r )
as R becomes very large.
From an operational perspective, the value of q can be estimated from the data by observing the frequency with which users do not bake.
Some comments on the above expression are in order. First, observe that if, assuming users’ symmetry, q is the probability with which any user declines to bake the next block, then (2) should become
P ( B ) = ( 1 q ) r [ 1 ( ( R r ) q R ) R ] [ R ( 1 q ) + r q ]
which is corrected by a multiplyng factor ( 1 q ) , since the user behind Equation (2) may not bake with some probability. However, without much loss of generality, we decided to simplify the expression by assuming that q is the probability with which each user, except for the generic one, refuses to bake.
Additionally, notice that the only exogenous quantity in (2) is q , and it may be interesting to investigate how r should vary with q   to keep P ( B ) unaltered.
Clearly, for r > 0 , R > 1 , P ( B ) is increasing in q , that is,
P ( B ) q > 0
Moreover, P ( B ) = 0 for r = 0 , and P ( B ) = 1 for r = R . However, how P ( B ) would change with r is less immediate, since it depends on the behaviour of R as r varies. Indeed, when r   changes, there could be two main scenarios. In the first scenario, the total number of rolls R remains unaltered, which implies that, as r changes, some other user’s number of rolls also has to change. Alternatively, in the second scenario, R varies by the same amount of r .
(a)
R is given and independent of r
In this case,
P ( B ) r = [ 1 ( 1 r R ) R ] R ( 1 q ) + r ( 1 r R ) R 1 [ R ( 1 q ) + r q ] [ R ( 1 q ) + r q ] 2 > 0
independently of the value of q .
(b)
R is a function of r   and R r = 1
When R is positively related to r , then the first derivative of P ( B ) with respect to r is given by
P ( B ) r = [ 1 ( ( 1 r R ) q ) R ] ( R ( 1 q ) + r q ) r [ ( 1 r R ) q ] R [ log ( ( 1 r R ) q ) 1 ] [ R ( 1 q ) + r q ] [ R ( 1 q ) + r q ] 2 > 0
which is again positive. Hence, unsurprisingly, also in this case r = R would maximise the probability of baking the next block, regardless of the value of q .
Therefore, if d P ( B ) is the total differential of P ( B ) , we have d P ( B ) = P ( B ) q d q + P ( B ) r d r . Posing d P ( B ) = 0 , it follows that, consistent with intuition, it is d r d q < 0 ; that is, as q increases, r decreases for P ( B ) to remain constant.

3. Endorsement Priorities for a Single Block without Delegation

In addition to eligibility for baking blocks, a user in Tezos with Emmy* can be eligible for endorsing a block, again, as long as she/he has at least one roll. The reward ρ e   for a single-block endorsement is given by
ρ e = { s × a   T z             i f   p = 0 s × c   T z               i f   p > 0
where c = 0.052083   T z , and s = 0 , 1 , , 256 is the number of endorsing slots of the user.
As in the case of baking, endorsers are drawn according to a sampling-with-replacement scheme, so, in a single draw, the probability that a user will be selected is again r R . Therefore, since there are 256 slots available to assign an endorsement, the probability that a user will obtain s slots is binomial and given by ( 256 s ) ( r R ) s ( 1 r R ) 256 s , with s = 0 , 1 , , 256 .
Interestingly, notice that with priority p > 0 , it is b < c ; that is, the reward for a single endorsement is larger than the reward received for baking a block. Since b and c should be interpreted as economic incentives for baking and endorsing blocks, respectively, the above inequality means that Tezos decided to provide a stronger incentive for endorsing than for baking.
Finally, it is worth observing that although b and c share similarities, being per endorsement rewards, they also exhibit some differences, since b refers to endorsements received by a baker for proposing a block, while c refers to endorsements assigned by a user to a baked block. Hence, while b is an acknowledgement a user receives when acting as a baker, c is an acknowledgement that a user assigns to a baker.
In the Emmy* version of Tezos, a user can not only be a baker, as well as an endorser, but also endorse a block that she/he her-/himself baked. Indeed, with 256 endorsement slots, the potential conflict of interest is assumed to be diluted by the large number of endorsing slots, and the related probability is negligible. Indeed, as we shall see, bakers and endorsers may or may not overlap; likewise, a user may or may not appear as an endorser more than once for the same block.

Baking and Endorsing Joint Probability for a Single Block

The selection procedure for baking is independent of the selection procedure for endorsing. Hence, given the previous considerations, the joint probability of being selected with priority p = 0 , 1 , , R for baking a block and of being assigned s = 0 , 1 , , 256 slots for endorsements is
P ( p ,   s ) = [ ( R r ) q ] p r R ( p + 1 ) ( 256 s ) ( r R ) s ( 1 r R ) 256 s  

4. Expected Revenue for a Single Block

The analysis conducted so far allows us to define and compute the user’s expected revenue E ρ ( r ) related to the baking priority as well as to the number of endorsements. Before doing so notice that, from (2), it follows that the probability of the highest level of priority for baking in a single draw, p = 0 , is r R , while the probability of any other priority, p > 0 , is
P ( B ) r R = ( R r ) q r R [ 1 ( ( R r ) q R ) R 1 ]   [ R ( 1 q ) + r q ]
Therefore, a user’s expected revenue related to a single block, obtained from both baking and endorsing activities, is given by the following expression:
E ρ ( r ) = e = 0 256 e [ a r R + b ( R r ) q r R [ 1 ( ( R r ) q R ) R 1 ]   [ R ( 1 q ) + r q ] ]   π ( e ) + s = 0 256 s [ a ( 1 q ) + c q ] ( 256 s ) ( r R ) s ( 1 r R ) 256 s
which is equal to
E ρ ( r ) = [ a r R + b ( R r ) q r R [ 1 ( ( R r ) q R ) R 1 ]   [ R ( 1 q ) + r q ] ] e = 0 256 e   π ( e ) + [ a ( 1 q ) + c q ] 256 ( r R )
where π ( e ) is the probability that the next block will receive e endorsements.
The closed form of (7) requires the explicit expression of π ( e ) , which, in turn, is likely to depend upon the baking priority. From an operational point of view, π ( e ) can be estimated from the data by replacing π ( e ) with the observed frequencies for each number of endorsements, e = 0 , 1 , , 256 . Moreover, notice that [ a ( 1 q ) + c q ] 256 ( r R ) is a user’s expected reward when acting as an endorser under the simplifying assumption that the user will endorse the block with all of his/her slots. Indeed, more realistically, the model should contemplate the possibility that a block will not be endorsed because of unacceptable transactions, etc. However, as a first approximation, we deem our assumption to be acceptable, and, in any case, the value obtained can always be considered as an upper bound to the user’s revenues when all of his/her endorsement slots have been used.
Finally, we also observe that, from an analytical perspective, π ( e ) should be written more appropriately as π ( e ) = π ( e , p ) , where, for a given p , we assume that π ( e , p ) increases with e . Moreover, we should also assume that for a given e , the probability π ( e , p ) decreases with p . That is, the larger the block priority, that is the smaller the p , the larger the probability of obtaining a high number of endorsements.
Defining the expected number of endorsements received by a baked block as E ( e ) = e = 0 256 e   π ( e ) , E ρ ( r ) can finally be written as
E ρ ( r ) = [ a r R + b ( R r ) q r R [ 1 ( ( R r ) q R ) R 1 ]   [ R ( 1 q ) + r q ] ] E ( e ) + [ a ( 1 q ) + c q ] 256 ( r R )  
Consistent with intuition, as r gets close to R , Equation (8) tends to take its largest possible value, namely, E ρ ( r = R ) = [ a E ( e ) + ( a ( 1 q ) + c q ) 256 ] , while as r becomes close to 0 ,   E ρ ( r = 0 ) = 0 .

5. Expected Revenue for a Cycle of Blocks

In the Tezos Emmy* protocol, a cycle of blocks given by a sequence of Γ = 8192 blocks, validated in about 2 days, 20 h and 10 min, is the relevant operating unit over which the lists of baking priorities and endorsement slots are established. Therefore, considering r , R and q as being fixed over a single cycle, the user’s expected revenue from a cycle is given by E ρ ( r ) Γ , which is just Γ times the single block’s expected revenue.
Indeed, Equation (1) suggests that, for each block, the reward from baking is driven by a two-outcome Bernoulli variable related to the value of the priority, p = 0 or p > 0 . As a consequence, the expected revenue over the cycle is simply the sum, over the number of blocks in a cycle, of the expected revenue for a single block.
Because of the sampling-with-replacement scheme, this is the case regardless of whether or not the list of R priorities for each block is made block by block or if a long list of R ( 8192 ) drawings is composed, where after every sequence of R draws, the priorities of a new block are established. Indeed, for every R draws, concerning the priorities of a block, another list of R priorities will follow for the next block and so on.

6. Optimal Stake and Number of Rolls in a Cycle

Based on the previous analysis, in this section, we start modelling how a user may optimally determine her/his stake and number of rolls for baking and endorsing. To proceed gradually, we shall assume that every node is a full node, deferring the discussion on delegation until later.
To investigate the issue, we first introduce what we believe to be a fundamental economic trade-off characterizing users of Proof-of-Stake (PoS)-based blockchains. On the one hand, the stake increases the probability of being selected as a baker/endorser and thus obtaining future rewards in T z units. On the other hand, staking prevents the immediate usage of one’s currency units and the possibility of implementing monetary transactions, which may be beneficial for the user. For this reason, staking may produce a disutility to the user.
To simplify the exposition, with no major loss of generality, unless otherwise indicated in what follows, we assume the stake to coincide with the number of rolls, which, moreover, will be treated as a continuous variable. Additionally, to simplify, we still omit a budget constraint for the users.
An initial, very simple step to embody such trade-off into a preference specification for generic user i , with i = 1 , 2 , , N , where N is the number of platform users, is to introduce the user’s utility function U i ( r i ) , which we define below in Equation (9), where r i is the number of rolls chosen by agent i . Hence R = i = N r i , and we assume that user i , for all i = 1 , 2 , , N at the beginning of each cycle, solves the following problem:
m a x r i U i ( r i ) = m a x r i [ δ i E ρ ( r i ) Γ δ i 5 C ( r i ) f ]  
where 0 δ i 1 is user i ’s discount factor related to one cycle of blocks, which quantifies her/his intertemporal preferences. Moreover, C ( r i ) is the per single-cycle user’s cost due to security deposits, expressed as a function of r i , and f 0 is the cost of running a full node as a baker/endorser, which we assume to be constant and independent of r i . A few comments are in order.
The first term δ i E ρ ( r i ) Γ of (9) formalises the present value, before a cycle starts, of the utility-enhancing side in the above trade-off. The prospect of obtaining a reward in a cycle indeed represents an attractive incentive for a user to set up a stake and become a baker/endorser.
The second term, δ i 5 C ( r i ) , is a simple representation of the compounded disutility due to keeping r i rolls as a stake, which is hence unused for five cycles, as specified in Emmy*. Note that such disutility increases with the time duration of the security deposit, and this is why the exponent of the discount factor is negative. In particular, we interpret C ( r i ) as the single-cycle cost for the user induced by a stake of r i rolls.
Since 640   T z and 2.5   T z are the security deposits for each block baked and each endorsement assigned to a block, respectively, the simplest expression for C ( r i ) can be given by:
C ( r i ) = 640 b = 0 8192 b P ( B ) b ( 1 P ( B ) ) 8192 b + 2.5 s = 0 2097152 s P ( B ) s ( 1 P ( B ) ) 8192 s  
Therefore,
C ( r i ) = ( 640 ) ( 8192 ) P ( B ) + ( 2.5 ) ( 2097152 ) P ( B ) = 10485760 P ( B ) = w P ( B )
where w = 10485760 is a constant, and P ( B ) , defined as in (2), is a function of r i . Indeed, to emphasise this, we write P ( B , r i ) . It follows that (9) can now be rewritten as
U i ( r i ) = δ i E ρ ( r i ) Γ δ i 5 w P ( B , r i ) f  
Based on (12), we can proceed to user i s determination of the optimal r i in a game-theoretic framework. The reason that a setup based on strategic interaction can be suitable for modelling the optimal stake decision is due to the presence of Proof-of-Stake (PoS). Indeed, as we previously discussed, the probability of being drawn for baking/endorsing blocks typically depends on the ratio between one’s rolls and the total number of rolls r i R . Hence, the optimal number of rolls chosen by a user may also depend on the number of rolls chosen by the other users.

The Staking Game

In this section, we consider the strategic interaction among agents and derive user i s   best reply correspondence r i ( r i ) , where r i is the profile of rolls chosen by i s opponents. Following the above analysis and assuming, for simplicity, q = 0 , Equation (12) becomes
U i ( r i ) = δ i 5 [ δ i 6 Γ a ( E ( e ) + 256 ) w ] ( r i R ) f  
For any 0 E ( e ) 256 and 0 δ i 1 , the following benchmark result holds:
Proposition 1. 
If all users have preferences as in (13), then there is a unique Nash Equilibrium of the game in strictly dominating strategies, given by
r i ( r i ) = 0   ( 14 )   i = 1 , , N  
Proof. 
It is easy to verify since U i ( r i ) is a negatively sloped function with respect to r i . Indeed, recalling that R = i = N r i   and R r i = 1 , differentiating (13) with respect to r i leads to
d U i ( r i ) d r i = δ i 5 [ δ i 6 Γ a ( E ( e ) + 256 ) w ] ( R r i ) R 2  
and because [ δ i 6 Γ a ( E ( e ) + 256 ) w ] < 0 , the result follows. □
Therefore, if all users’ preferences are represented by (12), with q = 0 , the chain will not even start since none of them will stake any rolls. The main reason for this is due to the specification of preferences in (13), which are linear in r i   R , as well as to the definition of the cost.
However, it is easy to verify that if the cost is defined by C ( r i ) = c w ( r i R ) , with 0 < c < 1 , then the Nash Equilibrium number rolls will, in general, differ from zero.
The above finding is interesting, as a reference, and suggests that not all utility functions can be linear in r i   R for the chain to develop. A simple way to introduce alternative preferences is to consider the following modification of (12):
U i ( r i ) = δ i E ρ ( r i ) Γ δ i 5 w ( P ( B , r i ) ) 2 2 f  
that is, with convex (quadratic) costs, where we still consider q = 0 , R = i = N r i   and R r i = 1 .
Since user i s best reply maximises (14), the first step towards finding it is to differentiate (14) with respect to r i to obtain
d U i ( r i ) d r i = δ i Γ ( d E ρ ( r i ) d r i ) w δ i 5 P ( B , r i ) ( d P ( B , r i ) d r i )  
Based on the above considerations, the first-order condition associated with Equation (15) becomes
δ i Γ a ( R r i R 2 ) ( E ( e ) + 256 ) = w δ i 5 ( r i R ) ( R r i R 2 )  
Therefore, assuming the optimal stake solves (16), we obtain the following result:
Proposition 2. 
Suppose user i has preferences as in (14). Then, her/his best reply r i ( r i )   satisfies
r i ( r i ) R = Γ a δ i 6 ( E ( e ) + 256 ) w
Proof. 
Immediate. Rearranging (16) leads to (17). □
Some comments are in order. First, notice that (17) is a proper probability expression since 0 r i R 1 . Moreover, it is interesting to observe that the ratio r i R in (17) increases in both δ i and E ( e ) . That is, the more patient the user, the higher the expected number of endorsements for baked blocks, and the larger the proportion r i R . Furthermore, it is easy to determine that the maximum value that Equation (17) can take when Γ ( e ) = 256 and δ i = 1 is around 3 % , which means that if all users of the platform have preferences as in (14), then the money supply will be widely spread across them.
Furthermore, observe that the only element in (17) that differs across users is δ i . Therefore, users with a larger discount factor (more patient) will have more rolls than users with a lower δ i (less patient).
Finally, it is important to point out that (17) does not determine a unique value for r i but rather the proportion r i R . This means that if all users have preferences as described by (14), the level of R will not be uniquely determined, and moreover, summing both sides of (17) with respect to i , the following equalities will be satisfied.
1 = ( i = 1 N δ i 6 ) Γ a ( E ( e ) + 256 ) w   ;   r i R = δ i ( j = 1 N δ j 6 )  
That is, in our simplified model, a user’s proportion of rolls is fully determined by the proportion of individuals’ discount rates.

7. Delegated Proof-of-Stake for a Cycle of Blocks

As previously said, one of the distinguishing features of Tezos is that, rather than running a full node to bake/endorse blocks, generic user j may decide to delegate all or some of her/his T z units to another baking node, say i , who would also bake/endorse on j s behalf. Delegation typically has the following main features:
(i)
The costs f of running a full node are paid by the delegated node only, if the delegating node is not a full node.
(ii)
The probability of baking/endorsing exhibits a super-additivity property. That is, with delegation, the joint selection probability is at least as large as the sum of the selection probabilities without delegation.
(iii)
The rewards obtained by the delegated node are shared with the delegating user proportionally to the number of their rolls.
Based on the above three points, it is natural to ask whether there is a benefit for a user to run a full node. Indeed, the delegating user pays no operating cost for running a full node and, moreover, may enjoy the advantage of obtaining some reward, even if it does not even have a single roll to stake individually. Intuition certainly suggests that there must be benefits in operating a full node because, alternatively, a scenario where nobody wants to run a full node may be envisaged, and the platform would not even operate.
To gain some insights on the above point, below, we discuss some simple cases. Consider the following example with two users i and j , whose money holdings and stakes are equal to m i , m j and s i , s j , respectively. Moreover, assume that i runs a full node, while j does not.
(1)
Suppose m i = 7999   T z and m j = 500   T z . Therefore, neither user i nor user j can bake a single roll since none of them individually has at least 8000   T z . However, if j delegates i of at least 1   T z , then, jointly, the two nodes can reach at least 8000   T z and potentially bake/endorse blocks, which separately they could not. Given this initial symmetric situation, where neither of them can bake individually, the observed block/endorsing joint reward ρ ( r = 1 ) , which is a random variable, is likely to be shared exclusively according to the monetary sum at stake. Indeed, this may prevent one user from free riding on the other user, trying to convince him/her to stake as much money as possible. If s i   is the stake of user i and s j is the stake of user j , then the share
s i s i + s j
of the reward, jointly obtained by the two users, will go to user i , while the rest goes to user j .
Hence, for this particular example, assuming q = 0 , the joint success probability is given by
P i j ( B ) = I n t [ ( s i + s j ) / 8000 ] R = 1 R
where I n t [ ( s i + s j ) / 8000 ] stands for the integer number of [ ( s i + s j ) / 8000 ] , while the sum of the individual success probabilities with no delegation would be 0 . Though very simple, the example immediately shows how delegation may induce super-additivity on such probabilities. That is, the joint success probability P i j ( B ) = 1 R is larger than the sum of the individual success probabilities, which is P i ( B ) = 0 = P j ( B ) . Finally, notice that a similar argument could hold even if j were a full node; this is also true for the following considerations.
(2)
Suppose now that m i = 15999   T z and m j = 500   T z . In this case, the situation is slightly different, as compared to the previous point, since user i can stake one roll for baking/endorsing blocks, while user j alone still cannot. If j delegates at least 1   T z to i , then j can participate in the baking activity, which otherwise would be impossible. User i , even without the support of user j , in this case, can be selected with a success probability given by
P i ( B ) = 1 R
However, if user j delegates at least 1   T z , then the success probability will increase to
P i j ( B ) = 2 R
Since the increase in the success probability will affect the reward, in this case, an agreement on how to share the joint revenues may be a more involved decision. A reasonable way to take into account that, with delegation, the expected revenue will increase could be the following. If E ρ ( r = 1 ) < ρ ( r = 2 ) , then the amount E ρ ( r = 1 ) could go completely to user i , since even with no delegation, she/he could have been selected to bake/endorse blocks.
Then, the difference between the observed joint reward with two rolls ρ ( r = 2 ) and the expected revenue with one roll ρ ( r = 2 ) E ρ ( r = 1 ) can be divided according to the following criterion. The share
( s i 8000 ) ( s i 8000 ) + s j
may be assigned to user i , while the rest is assigned to user j . That is, revenues will be distributed according to the additional stake contribution of the users with respect to what they could obtain individually. Clearly, the application of this criterion presupposes an agreement on the value of E ρ ( r = 1 ) . In our model, considering (8) and assuming, for simplicity, q = 0 , we obtain
E ρ ( r = 1 ) = ( a R ) E ( e ) + 256 ( a R ) = ( a R ) [ E ( e ) + 256 ]  
which is easily computable by observing R and estimating E ( e ) from the data.
Finally, if E ρ ( r = 1 ) ρ ( r = 2 ) , then we can imagine more than one possibility. Either the entire observed revenue ρ ( r = 2 ) goes to user i , or, alternatively for example, ρ ( r = 2 ) is shared according to the above formula used to distribute ρ ( r = 2 ) E ρ ( r = 1 ) , or some other arrangement.
Therefore, if E ρ ( r = 1 ) < ρ ( r = 2 ) , the expected revenue of user i with delegation E d ρ ( r = 2 ) will be given by
E d ρ ( r = 2 ) = E ρ ( r = 1 ) + ( s i 8000 ) ( s i 8000 ) + s j [ ρ ( r = 2 ) E ρ ( r = 1 ) ] = ( s i 8000 ) ( s i 8000 ) + s j ρ ( r = 2 ) + s j ( s i 8000 ) + s j E ρ ( r = 1 )  
that is, a convex combination, an average, of ρ ( r = 2 ) and E ρ ( r = 1 ) , with weights given by ( s i 8000 ) ( s i 8000 ) + s j and s j ( s i 8000 ) + s j , respectively. In Paragraph (7.1), we discuss a similarity of (20) with some notable axiomatic bargaining solutions. Expression (20) is certainly larger than E ρ ( r = 1 ) , the expected revenue with no delegation. However, though an unlikely event, the possibility of ρ ( r = 1 ) > E d ρ ( r = 2 ) cannot be excluded if, with just one roll, user i was particularly lucky in being selected for several blocks and relatively unlucky with two rolls.
Finally, obviously, with delegation, user j would also, in general, be better off than with no delegation.
(c)
Suppose now that m i = 23999   T z and m j = 1500   T z ; that is, both users can be selected separately for baking with two rolls and one roll, respectively. Moreover, in this case, if user j   delegates user i with 1   T z , then two users, jointly, will obtain four rolls. Again, also in this case, delegation induces super-additivity in the success probabilities
P i j ( B ) = 4 > 2 + 1 = 3 = P i ( B ) + P j ( B )
and additional gains for both agents. However, as in the previous point, it is important to discuss how the revenues can be shared in this case. Following a reasoning analogous to the previous point, we can imagine that if
E ρ i ( r = 2 ) + E ρ j ( r = 1 ) < ρ i j ( r = 4 )
then they may agree on granting a reward of E ρ i ( r = 2 ) to user i and a reward equal to E ρ j ( r = 1 ) to user j . Additionally, user i   will obtain the share
( s i 16000 ) ( s i 16000 ) + ( s j 8000 )
of the reward ρ i j ( r = 4 ) [ E ρ i ( r = 2 ) + E ρ j ( r = 1 ) ] , while the remaining share of it will go to user j .
However, (21) may not necessarily be satisfied, and the following can take place:
E ρ i ( r = 1 ) < ρ i j ( r = 4 ) < E ρ i ( r = 2 )
Hence, if (22) is the case, what could be a criterion for sharing ρ i j ( r = 4 ) ?   User i could claim that since the observed reward ρ i j ( r = 4 ) is not enough to cover the expected reward E ρ i ( r = 2 ) that she/he could obtain with no delegation, then she/he should receive the entire reward ρ i j ( r = 4 ) . However, user j may claim that with no delegation, on average, she/he might have obtained E ρ j ( r = 1 ) and thus disagree with user i s claim.
In such circumstances, the observed ρ i j ( r = 4 ) could perhaps be divided between the two users, assigning the share
E ρ i ( r = 2 ) E ρ j ( r = 1 ) + E ρ i ( r = 2 )
to user i and the remaining share to user j . Alternatively, user i could obtain the share as in (22) or, perhaps, simply the share
s i s i + s j
Analogous reasoning could apply for
ρ i j ( r = 4 ) < E ρ j ( r = 1 )  
In the above example, we assume that user i , the one running a full node, receives no specific benefit for running such a node. That is, rewards are shared with reference only to some relative stake criterion, with no concern for the fact that without user i , user j may not enjoy additional benefits.
One possibility to account for this may be to introduce a multiplying factor, α > 1 , as an additional weight to the stake of user i . For example, (22) could now become
α ( s i 16000 ) α ( s i 16000 ) + ( s j 8000 )
and analogously, we would obtain, for example,
α s i α s i + s j
An additional possibility may be to introduce a weight, in this case, β < 1 , such as in (26) below:
( ( s i 16000 ) ( s i 16000 ) + ( s j 8000 ) ) β
A simple way to fix those two coefficients could be to define them, for instance, as
β = 1 α   and   α = ( s i 16000 ) + ( s j 8000 ) ( s i 16000 )
which would also be a possibility for the coefficients to account for the relative stakes.

Nash and Kalai–Smorodinsky Non-Cooperative Bargaining Solutions

Another approach to consider when discussing how users may share the rewards obtained with delegation is given by two main axiomatic bargaining models in economics. These are the Nash solution and the Kalai–Smorodinsky (KS) solution, where the status quo is given by the users’ expected reward obtained without delegation. To see what such solutions suggest, we start by taking the first example of the previous paragraph. In this case, the status quo is zero for both users, since neither of them can bake without delegation. Hence, if ρ i j ( r = 1 ) is the revenue obtained with delegation, which implies just one roll for the two of them, the Nash Bargaining solution can be obtained by solving the following problem:
m a x ρ i [ ρ i j ( r = 1 ) ρ i ] ρ i
and similarly for ρ j , where ρ i , ρ j with ρ i + ρ j = ρ i j ( r = 1 ) are the shares of the observed revenue ρ i j ( r = 1 ) going to users i and j . It immediately follows that (27) is solved by ρ i = ρ i j ( r = 1 ) 2 = ρ j   , which would also coincide with the KS solution. Indeed, differentiating [ ρ i j ( r = 1 ) ρ i ] ρ i with respect to ρ i leads to ρ i j ( r = 1 ) 2 ρ i , which, equalised to 0 , provides the result. This solution, however, by its very definition, does not take into consideration the different stakes between the two users.
Now, take the second example, assuming E ρ i ( r = 1 ) < ρ i j ( r = 2 ) . The status quo for user i in this case is E ρ i ( r = 1 ) , while for user j , it is again zero. Following a similar procedure to that above, the Nash Bargaining solution can solve the problem below:
m a x ρ j [ ρ i j ( r = 2 ) ρ j E ρ i ( r = 1 ) ] ρ j  
where ρ i + ρ j = ρ ( r = 2 ) , from which we find that the solutions are given by
ρ i = ρ i j ( r = 2 ) + E ρ i ( r = 1 ) 2   and   ρ j = ρ i j ( r = 2 ) E ρ i ( r = 1 ) 2
which, also in this case, coincide with the KS solutions. As mentioned above, it is easy to observe the similarity between (28) and (20), except that the former assigns a uniform weight to E ρ i ( r = 1 ) and ρ i j ( r = 2 ) , while the latter assigns a weight proportional to the users’ stakes.
To summarise, in the above discussion we considered just some possibilities to determine revenue shares and possible weights to account for the asymmetry in running a full node, but other criteria could certainly be considered.

8. Delegation Service Market

As a follow-up to the previous section, we now briefly discuss what a market for delegation services may look like. In what follows, we only provide a sketch of it. Indeed, such a competitive market may emerge quite naturally when non-full nodes are asking for delegation services, which a plurality of full nodes is willing to offer them to the other nodes. Although, in principle, they could receive delegated funds from any node, it is likely that most delegations would come from non-full nodes.
The very existence of a market and its configuration is crucially related to why and how delegating nodes may choose from among available full nodes. This is what we discuss below.
There may be several features making a full node attractive for delegation and consequently successful in the market. However, we believe that the following two features would play a major role in succeeding as delegation service providers.
The first is, broadly speaking, their trustworthiness, associated by any node j to generic full node i .   We assume it to be sufficiently well represented as a numerical indicator by some increasing function τ j ( d i )   associated by generic node j   to full node i , which depends on the total amount of delegated funds d i received by node i . Of course, this may raise a few questions including, for example, how to define τ j ( d i ) for the first cycle the node to which it is providing delegation services. One solution could be to assume that the initial reputation is an average of the existing nodes’ reputations or, alternatively, some other combination of them. A good reputation is certainly an attractive element, as much as a bad reputation may be a repulsive one, for those nodes that have decided to delegate their funds.
The second, as in the previous section, is the type of share agreements (fees) that full node i is paying to the delegating nodes in the case of positive rewards. More explicitly, suppose d i j is the funds of node j delegated to node i ; therefore, d i = j = 1 N d i j . In general, we can assume that f i j = f i ( d i j ) , where 0 f i j 1 is the share of node i s revenue ρ i , paid as a fee by node i to node j , as a function f i   of the delegated funds. How the sharing rules are chosen by full nodes requires some detailed analysis based on mechanism design, which will not be discussed here. Additionally, we also assume that j = 1 N f i j ρ i ρ i . In principle, the f i function could take a variety of different forms, which would then represent an element of competition across alternative full nodes to attract delegated funds. A possible form of the share function f i could be the following:
f i ( d i j ) = { α i + g i ( d i j )   i f   d i j > 0 0                                             i f   d i j = 0   w i t h   0 α i 1  
which is additive, with a fixed and a variable component g i ( d i j ) . The simplest example of (29) would be the constant (flat) function f i ( d i j ) = α i for all d i j > 0 . A slightly more detailed version of (29) could be linear, that is, f i ( d i j ) = α i + β i d i j   for   all   d i j > 0 and with β i > 0 .
However, once α i + g i ( d i j ) is announced by the node, there is no guarantee that α i + g i ( d i j ) 1 for all d i j . Therefore, in general, an operational version of (29) may be as follows:
f i ( d i j ) = { m i n ( σ i , α i + g i ( d i j ) )   i f   d i j > 0 0                                                                       i f   d i j = 0
where σ i 1 is the maximum revenue share paid by the delegated node to the delegating ones. For example, suppose σ i = 0.8 . Finally, α i = 0.4 and g i ( d i j ) ) = ( d i j ) 2 :   therefore, if d i j > 0 then
f i ( d i j ) = { α i + g i ( d i j ) = 0.4 + ( d i j ) 2   i f   d i j 0.4 2 = 0.6324 σ i = 0.8                                                                                             i f   d i j > 0.6324
Notice that for α i = 0 and g i ( d i j ) = σ i ( d i j d i ) , definition (30) becomes akin to the sharing rules discussed in the previous section.
At a high level, each delegating node must make two major decisions: which node(s) to delegate its funds to and the delegated amount of Tz. Therefore, if B j ( τ j ( d i ) ,   f i ( d i j ) ) denotes node j s benefit function provided by the level of trustworthiness, and the proposed sharing rule of node i , and c j ( d i j ) denotes the cost for node j of delegating d i j to node i , then node j would identify the optimal pair ( i , d i j , ) by solving the problem:
m a x i ,   d i j U j ( τ j ( d i ) ,   f i ( d i j ) ) = B j ( τ j ( d i ) ,   f i ( d i j ) ) c j ( d i j )  
For example, suppose τ j ( d i ) = d i , f i ( d i j ) = 0.4 + d i j ,   B j ( τ j ( d i ) d i ,   f i ( d i j ) ) = B j ( τ j ( d i ) ,   f i ( d i j ) ) = τ j ( d i ) f i ( d i j ) = d i ( 0.4 + d i j ) and c j ( d i j ) = λ ( d i j ) 2 , with   λ 0 , so that (31) becomes
m a x i ,   d i j U j ( τ j ( d i ) ,   f i ( d i j ) ) = d i ( 0.4 + d i j ) λ ( d i j ) 2  
Defining d i j = d i d i j and assuming, again, that m j is the amount of money in j s wallet, by differentiating (32) with respect to d i j , we obtain
0.4 + d i j + 2 ( 1 λ ) d i j
and thus, the best d i j is given by
d i j = { m j                                                                 i f   λ 1 m i n ( ( 0.4 + d i j ) 2 ( λ 1 ) ,   m j )   i f   λ > 1    
Equation (33) provides the best choice if node j delegates node i . Hence, to find the overall optimal d i j , node j will have to choose the full node that provides the highest utility.
Therefore, to summarise, depending upon the sharing rules proposed by full nodes, their reputation and the delegating nodes’ preferences, full nodes will be chosen, and the market for their services will emerge in the network. Finally, notice that since the optimal choice of d i j depends on d i , that is, on the amount of funds delegated to node i by all the nodes other than j , the value of the selected d i j may represent a Pure Strategy Nash Equilibrium of the model.

9. Conclusions

In this paper, we present what, to our knowledge, is the first economic analysis of the Tezos liquid (with delegation) Proof-of-Stake model under the Emmy* consensus protocol. Although recently replaced by the Tenderbake consensus protocol, the model may still provide some helpful indications to the platform and its users, also for the new protocol. The main findings of the paper are the following. To some extent, unsurprisingly, the users’ preferences, as well as the incentive schemes introduced by Tezos to induce users to participate in platform activities, are going to play a major role in the dynamics of the monetary stakes. This is likely to remain true also with Tenderbake. Additionally, as a less expected finding, in Emmy* the delegation of one’s funds to other nodes induces what we identified to be a super-additivity property of the success probability. That is, with delegation, the probability that a full node will be selected as a baker/endorser is typically larger than the sum of the individual success probabilities. Intuitively, this is because such a probability depends upon multiples of 8000   T z (one roll), which means that the success probabilities turn out to be a step function of the number of rolls. Finally, the possibility of delegation is likely to develop a market of full nodes of different reputations, providing such services under different economic conditions. We only outlined how the market could emerge and operate, and more work is needed to fill in a number of missing elements in the analysis. We conclude by observing that despite its simplicity and limitations, we believe this paper may offer some interesting insights on the economics of Tezos with Emmy* and possibly also with the Tenderbake consensus protocol.

Funding

This research was funded by the Tezos Foundation.

Acknowledgments

I would like to thank the Editor and the Referees for their constructive comments. I would also like to thank the Tezos Foundation for its financial support and constructive discussion on this paper. I’m grateful to the participants of a Nomadic Labs seminar, of a preliminary version of this paper, for their very useful comments.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Allombert, V.; Bourgoin, M.; Tesson, J. Introduction to the Tezos Blockchain. In Proceedings of the 2019 International Conference on High Performance Computing & Simulation (HPCS), Dublin, Ireland, 15–19 July 2019; IEEE: Piscataway, NJ, USA, 2019; pp. 1–10. [Google Scholar]
  2. Bamakan, S.; Motavali, A.; Bondarti, A. A Survey of Blockchain Consensus Algorithms Performance Evaluation criteria. Exp. Syst. Appl. 2020, 154, 113385. [Google Scholar]
  3. Bernardo, B.; Cauderlier, R.; Hu, Z.; Pesin, B.; Tesson, J. Mi-Cho-Coq, a framework for certifying Tezos smart contracts. In International Symposium on Formal Methods; Springer: Cham, Switzerland, 2019; pp. 368–379. [Google Scholar]
  4. Conchon, S. Some Insights on Open Problems in Blockchains: Explorative Tracks for Tezos (Invited Talk). In Proceedings of the 5th International Symposium on Foundations and Applications of Blockchain 2022 (FAB 2022), Berkeley, CA, USA, 3 June 2022; Schloss Dagstuhl-Leibniz-Zentrum für Informatik: Wadern, Germany, 2022. [Google Scholar]
  5. Fernandes, M.; Alexandre, L.A. Robotchain: Using tezos technology for robot event management. Ledger 2019, 3, 32–41. [Google Scholar] [CrossRef]
  6. Goodman, L.M. Tezos: A Self-Amending Crypto-Ledger Position Paper; 2014. Available online: https://tezos.com/position-paper.pdf (accessed on 1 November 2022).
  7. Neuder, M.; Moroz, D.J.; Rao, R.; Parkes, D.C. Selfish behavior in the tezos proof-of-stake protocol. arXiv 2019, arXiv:1912.02954. [Google Scholar] [CrossRef]
  8. Neuder, M.; Moroz, D.J.; Rao, R.; Parkes, D.C. Defending against malicious reorgs in Tezos Proof-of-Stake. In Proceedings of the 2nd ACM Conference on Advances in Financial Technologies, New York, NY, USA, 21–23 October 2020; pp. 46–58. [Google Scholar]
  9. Nishida, Y.; Saito, H.; Chen, R.; Kawata, A.; Furuse, J.; Suenaga, K.; Igarashi, A. Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. New Gener. Comput. 2022, 40, 507–540. [Google Scholar] [CrossRef]
  10. Sguerra, L.M.; Jouvelot, P.; Arias, E.J.G.; Memmi, G.; Coelho, F. Blockchain Performance Benchmarking: A VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper). In Proceedings of the FAB 2021—Fourth International Symposium on Foundations and Applications of Blockchain, online, 7 May 2021. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Dimitri, N. Liquid Proof-of-Stake in Tezos: An Economic Analysis. Information 2022, 13, 556. https://doi.org/10.3390/info13120556

AMA Style

Dimitri N. Liquid Proof-of-Stake in Tezos: An Economic Analysis. Information. 2022; 13(12):556. https://doi.org/10.3390/info13120556

Chicago/Turabian Style

Dimitri, Nicola. 2022. "Liquid Proof-of-Stake in Tezos: An Economic Analysis" Information 13, no. 12: 556. https://doi.org/10.3390/info13120556

APA Style

Dimitri, N. (2022). Liquid Proof-of-Stake in Tezos: An Economic Analysis. Information, 13(12), 556. https://doi.org/10.3390/info13120556

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop