Competitive equilibria between staking and on-chain lending

  title={Competitive equilibria between staking and on-chain lending},
  author={T. Chitra},
  • T. Chitra
  • Published 28 November 2019
  • Computer Science
  • ArXiv
Proof of Stake (PoS) is a burgeoning Sybil resistance mechanism that aims to have a digital asset ("token") serve as security collateral in crypto networks. However, PoS has so far eluded a comprehensive threat model that encompasses both Byzantine attacks from distributed systems and financial attacks that arise from the dual usage of the token as a means of payment and a Sybil resistance mechanism. In particular, the existence of derivatives markets makes malicious coordination among… 

Figures from this paper

Why Stake When You Can Borrow?
This model combines birth-death Polya processes and risk models adapted from the credit derivatives literature to assess token inequality and return profiles and finds that there is a sharp transition between 'safe' and 'unsafe' derivative usage.
An Analysis of the Market Risk to Participants in the Compound Protocol
The results showed that the Compound protocol is able to scale to a large market size while having a low probability of default under volatile market conditions and that the current protocol parameters for specifying the minimum collateral requirements and liquidation incentives are sufficient for liquid collateral assets.
SoK: Lending Pools in Decentralized Finance
This work systematize the existing knowledge about lending pools, leveraging a new formal model of interactions with users, which reflects the archetypal features of mainstream implementations, which enables it to prove some general properties of lendingpools, such as the correct handling of funds, and to precisely describe vulnerabilities and attacks.
Financial intermediation and risk in decentralized lending protocols
We provide an overview of decentralized protocols like Compound and Aave that provide collateralized loans for cryptoasset investors. Compound and Aave are two of the most important application in
While Stability Lasts: A Stochastic Model of Stablecoins
A stochastic model of over-collateralized stablecoins that helps explain crises in cryptocurrency markets and formally characterize a deflationary deleveraging spiral as a submartingale that can cause such liquidity problems in a crisis.
DeFi Liquidity Management via Optimal Control: Ohm as a Case Study
This note formalizes the notions used by Ohm smart contracts in probabilistic and control theoretic terms and generalizes the Ohm controller model to a generic mechanism for opti-mizing risk and incentives in decentralized protocols, which includes other mechanisms like Tokemak and ve.
Empirical Analysis of EIP-1559: Transaction Fees, Waiting Time, and Consensus Security
The results show that EIP-1559 improves the user experience by making fee estimation easier, mitigating intra-block difference of gas price paid, and reducing users’ waiting times, but has only a small effect on gas fee levels and consensus security.
An Introduction to Decentralized Finance (DeFi)
This article sitsuate the DeFi concept in the theoretical context of permissionless blockchain technology and provides a taxonomical overview of agents, incentives and risks, and examines the key market categories and use-cases.
Improved Price Oracles: Constant Function Market Makers
This paper focuses on the analysis of a very large class of automated market makers, called constant function market makers (or CFMMs), which includes existing popular market makers such as Uniswap, Balancer, and Curve, whose yearly transaction volume totals to billions of dollars.
Overview of Polkadot and its Design Considerations
Polkadot aims to provide a scalable and interoperable framework for multiple chains with pooled security that is achieved by the collection of components described in this paper.


Compounding of Wealth in Proof-of-Stake Cryptocurrencies
The notion of equitability is introduced, which quantifies how much a proposer can amplify her stake compared to her initial investment, and is identified as a \emph{geometric} reward function, which is maximally equitable over all choices of reward functions under honest behavior.
Stake-Bleeding Attacks on Proof-of-Stake Blockchains
A general attack on proof-of-stake (PoS) blockchains without checkpointing is described, which demonstrates how closely transaction fees and rewards are coupled with the security properties of PoS protocols.
Formal Barriers to Longest-Chain Proof-of-Stake Protocols
The main results of this paper are several formal barriers to designing incentive-compatible proof-of-stake cryptocurrencies (that don't apply to proof- of-work).
Agent-Based Simulations of Blockchain protocols illustrated via Kadena’s Chainweb
An outlook on how simulation can guide and optimize protocol development in a variety of contexts, including Proof-of-Stake parameter optimization and peer-to-peer networking design is concluded.
(In)Stability for the Blockchain: Deleveraging Spirals and Stablecoin Attacks
A model of stable assets, including noncustodial stablecoins backed by cryptocurrencies, is developed, which suggests design improvements that can improve long-term stability and suggest methods for solving pricing problems that arise in existing stablecoins.
Selfish Behavior in the Tezos Proof-of-Stake Protocol
This work proposes and analyzes a simple change to the Tezos protocol which significantly reduces the profitability of this dishonest behavior, and introduces a new delay and reward scheme that is provably secure against length-1 and length-2 selfish endorsing attacks.
Do the Rich Get Richer? An Empirical Analysis of the Bitcoin Transaction Network
Investigating the microscopic statistics of money movement, it is found that sublinear preferential attachment governs the evolution of the wealth distribution and a scaling law between the degree and wealth associated to individual nodes is reported.
Committee Selection is More Similar Than You Think: Evidence from Avalanche and Stellar
This paper proves that the committee selection of the Avalanche consensus protocol can be used to choose committees in the Stellar Consensus Protocol that satisfy the necessary and sufficient conditions for Byzantine agreement and suggests the existence of a "statistical taxonomy" of committee selection mechanisms in distributed consensus algorithms.
Blockchain Without Waste: Proof-of-Stake
This paper provides the first formal economic model of the most famous alternative, Proof-of-Stake (PoS), and establishes conditions under which PoS generates consensus.
Deconstructing the Blockchain to Approach Physical Limits
Transaction throughput, confirmation latency and confirmation reliability are fundamental performance measures of any blockchain system in addition to its security. In a decentralized setting, these