SlideShare a Scribd company logo
1 of 118
Download to read offline
Motivation Model Structural Implications Conclusion
The Cost of Lightning Network Channels
and Implications for Network Structure
Paolo Guasoni1
Gur Huberman2
Clara Shikhelman3
Dublin City University1
Columbia Business School2
Chaincode Labs3
SIAM Activity Group on Financial Mathematics and Engineering
Virtual Seminar, August 20th
, 2020
Motivation Model Structural Implications Conclusion
Outline
• Motivation:
Bitcoin’s Limitations. Scale and Immediacy.
• Model:
Stationary Payment Flows.
• Results:
Channel Costs and Structural Implications
Motivation Model Structural Implications Conclusion
Outline
• Motivation:
Bitcoin’s Limitations. Scale and Immediacy.
• Model:
Stationary Payment Flows.
• Results:
Channel Costs and Structural Implications
Motivation Model Structural Implications Conclusion
Outline
• Motivation:
Bitcoin’s Limitations. Scale and Immediacy.
• Model:
Stationary Payment Flows.
• Results:
Channel Costs and Structural Implications
Motivation Model Structural Implications Conclusion
Bitcoin
• Bitcoin: anonymous decentralized payment system.
• Public ledger (“blockchain”). No trusted parties.
• Any user can help processing payments (“mining”).
• New block of transactions added to blockchain about every 10 minutes.
• Each block contains about 2000 transactions.
• Lottery among miners decides who will add the next block.
• Winning miner rewarded with Bitcoin.
Motivation Model Structural Implications Conclusion
Bitcoin
• Bitcoin: anonymous decentralized payment system.
• Public ledger (“blockchain”). No trusted parties.
• Any user can help processing payments (“mining”).
• New block of transactions added to blockchain about every 10 minutes.
• Each block contains about 2000 transactions.
• Lottery among miners decides who will add the next block.
• Winning miner rewarded with Bitcoin.
Motivation Model Structural Implications Conclusion
Bitcoin
• Bitcoin: anonymous decentralized payment system.
• Public ledger (“blockchain”). No trusted parties.
• Any user can help processing payments (“mining”).
• New block of transactions added to blockchain about every 10 minutes.
• Each block contains about 2000 transactions.
• Lottery among miners decides who will add the next block.
• Winning miner rewarded with Bitcoin.
Motivation Model Structural Implications Conclusion
Bitcoin
• Bitcoin: anonymous decentralized payment system.
• Public ledger (“blockchain”). No trusted parties.
• Any user can help processing payments (“mining”).
• New block of transactions added to blockchain about every 10 minutes.
• Each block contains about 2000 transactions.
• Lottery among miners decides who will add the next block.
• Winning miner rewarded with Bitcoin.
Motivation Model Structural Implications Conclusion
Bitcoin
• Bitcoin: anonymous decentralized payment system.
• Public ledger (“blockchain”). No trusted parties.
• Any user can help processing payments (“mining”).
• New block of transactions added to blockchain about every 10 minutes.
• Each block contains about 2000 transactions.
• Lottery among miners decides who will add the next block.
• Winning miner rewarded with Bitcoin.
Motivation Model Structural Implications Conclusion
Bitcoin
• Bitcoin: anonymous decentralized payment system.
• Public ledger (“blockchain”). No trusted parties.
• Any user can help processing payments (“mining”).
• New block of transactions added to blockchain about every 10 minutes.
• Each block contains about 2000 transactions.
• Lottery among miners decides who will add the next block.
• Winning miner rewarded with Bitcoin.
Motivation Model Structural Implications Conclusion
Bitcoin
• Bitcoin: anonymous decentralized payment system.
• Public ledger (“blockchain”). No trusted parties.
• Any user can help processing payments (“mining”).
• New block of transactions added to blockchain about every 10 minutes.
• Each block contains about 2000 transactions.
• Lottery among miners decides who will add the next block.
• Winning miner rewarded with Bitcoin.
Motivation Model Structural Implications Conclusion
Limits of Bitcoin
• Scale:
No more than 3 to 4 transactions per second, regardless of size.
Limit imposed by design.
• Immediacy:
At least ten minutes required to confirm transaction.
Transaction secure typically in an hour (to rule out potential forks).
Motivation Model Structural Implications Conclusion
Limits of Bitcoin
• Scale:
No more than 3 to 4 transactions per second, regardless of size.
Limit imposed by design.
• Immediacy:
At least ten minutes required to confirm transaction.
Transaction secure typically in an hour (to rule out potential forks).
Motivation Model Structural Implications Conclusion
Lightning Network: Channels
• Main Idea: Not all transactions need to happen on the blockchain.
• If Alice and Bob transact often, they establish a private ledger (channel).
• Each of them deposits some Bitcoin as escrow in the channel.
• Alice pays Bob by signing a message agreeing to an updated balance.
• When the deposit of either party is depleted,
the balance is transferred to the other party – in the blockchain.
• Either party can retrieve its balance early, unilaterally closing the channel.
• These features are implemented through a cryptographic protocol.
Motivation Model Structural Implications Conclusion
Lightning Network: Channels
• Main Idea: Not all transactions need to happen on the blockchain.
• If Alice and Bob transact often, they establish a private ledger (channel).
• Each of them deposits some Bitcoin as escrow in the channel.
• Alice pays Bob by signing a message agreeing to an updated balance.
• When the deposit of either party is depleted,
the balance is transferred to the other party – in the blockchain.
• Either party can retrieve its balance early, unilaterally closing the channel.
• These features are implemented through a cryptographic protocol.
Motivation Model Structural Implications Conclusion
Lightning Network: Channels
• Main Idea: Not all transactions need to happen on the blockchain.
• If Alice and Bob transact often, they establish a private ledger (channel).
• Each of them deposits some Bitcoin as escrow in the channel.
• Alice pays Bob by signing a message agreeing to an updated balance.
• When the deposit of either party is depleted,
the balance is transferred to the other party – in the blockchain.
• Either party can retrieve its balance early, unilaterally closing the channel.
• These features are implemented through a cryptographic protocol.
Motivation Model Structural Implications Conclusion
Lightning Network: Channels
• Main Idea: Not all transactions need to happen on the blockchain.
• If Alice and Bob transact often, they establish a private ledger (channel).
• Each of them deposits some Bitcoin as escrow in the channel.
• Alice pays Bob by signing a message agreeing to an updated balance.
• When the deposit of either party is depleted,
the balance is transferred to the other party – in the blockchain.
• Either party can retrieve its balance early, unilaterally closing the channel.
• These features are implemented through a cryptographic protocol.
Motivation Model Structural Implications Conclusion
Lightning Network: Channels
• Main Idea: Not all transactions need to happen on the blockchain.
• If Alice and Bob transact often, they establish a private ledger (channel).
• Each of them deposits some Bitcoin as escrow in the channel.
• Alice pays Bob by signing a message agreeing to an updated balance.
• When the deposit of either party is depleted,
the balance is transferred to the other party – in the blockchain.
• Either party can retrieve its balance early, unilaterally closing the channel.
• These features are implemented through a cryptographic protocol.
Motivation Model Structural Implications Conclusion
Lightning Network: Channels
• Main Idea: Not all transactions need to happen on the blockchain.
• If Alice and Bob transact often, they establish a private ledger (channel).
• Each of them deposits some Bitcoin as escrow in the channel.
• Alice pays Bob by signing a message agreeing to an updated balance.
• When the deposit of either party is depleted,
the balance is transferred to the other party – in the blockchain.
• Either party can retrieve its balance early, unilaterally closing the channel.
• These features are implemented through a cryptographic protocol.
Motivation Model Structural Implications Conclusion
Lightning Network: Channels
• Main Idea: Not all transactions need to happen on the blockchain.
• If Alice and Bob transact often, they establish a private ledger (channel).
• Each of them deposits some Bitcoin as escrow in the channel.
• Alice pays Bob by signing a message agreeing to an updated balance.
• When the deposit of either party is depleted,
the balance is transferred to the other party – in the blockchain.
• Either party can retrieve its balance early, unilaterally closing the channel.
• These features are implemented through a cryptographic protocol.
Motivation Model Structural Implications Conclusion
Lightning Network: Links
• Alice has a channel with Bob. Bob has a channel with Charlie.
• Alice can pay Charlie through Bob.
• Cryptographic protocol. Can handle longer paths.
• Bob may be better or worse off after transaction.
• Bob could charge a fee for facilitating the transaction.
Motivation Model Structural Implications Conclusion
Lightning Network: Links
• Alice has a channel with Bob. Bob has a channel with Charlie.
• Alice can pay Charlie through Bob.
• Cryptographic protocol. Can handle longer paths.
• Bob may be better or worse off after transaction.
• Bob could charge a fee for facilitating the transaction.
Motivation Model Structural Implications Conclusion
Lightning Network: Links
• Alice has a channel with Bob. Bob has a channel with Charlie.
• Alice can pay Charlie through Bob.
• Cryptographic protocol. Can handle longer paths.
• Bob may be better or worse off after transaction.
• Bob could charge a fee for facilitating the transaction.
Motivation Model Structural Implications Conclusion
Lightning Network: Links
• Alice has a channel with Bob. Bob has a channel with Charlie.
• Alice can pay Charlie through Bob.
• Cryptographic protocol. Can handle longer paths.
• Bob may be better or worse off after transaction.
• Bob could charge a fee for facilitating the transaction.
Motivation Model Structural Implications Conclusion
Lightning Network: Links
• Alice has a channel with Bob. Bob has a channel with Charlie.
• Alice can pay Charlie through Bob.
• Cryptographic protocol. Can handle longer paths.
• Bob may be better or worse off after transaction.
• Bob could charge a fee for facilitating the transaction.
Motivation Model Structural Implications Conclusion
Questions
• Which channels should be opened?
• How much should each party deposit?
• What is the minimal cost of a channel?
• What are the implications for network structure?
Motivation Model Structural Implications Conclusion
Questions
• Which channels should be opened?
• How much should each party deposit?
• What is the minimal cost of a channel?
• What are the implications for network structure?
Motivation Model Structural Implications Conclusion
Questions
• Which channels should be opened?
• How much should each party deposit?
• What is the minimal cost of a channel?
• What are the implications for network structure?
Motivation Model Structural Implications Conclusion
Questions
• Which channels should be opened?
• How much should each party deposit?
• What is the minimal cost of a channel?
• What are the implications for network structure?
Motivation Model Structural Implications Conclusion
Channel Model
(i) Two users, 1 and 2.
(ii) User 1 pays user 2 at Poisson arrival times with rate λ1.
User 2 pays user 1 at Poisson arrival times with rate λ2.
(iii) The two Poisson processes are independent.
All payments are of one unit. (Inessential but simplifying assumption.)
(iv) User 1 commits l1 to the channel. User 2 commits l2.
(v) Stationary: when one channel is depleted, an identical one replaces it.
• Transaction cost:
An on-chain transaction entails a cost of B, regardless of size.
• Opportunity cost:
Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest.
• unidirectional channel if λ1 = 0 or λ2 = 0.
Motivation Model Structural Implications Conclusion
Channel Model
(i) Two users, 1 and 2.
(ii) User 1 pays user 2 at Poisson arrival times with rate λ1.
User 2 pays user 1 at Poisson arrival times with rate λ2.
(iii) The two Poisson processes are independent.
All payments are of one unit. (Inessential but simplifying assumption.)
(iv) User 1 commits l1 to the channel. User 2 commits l2.
(v) Stationary: when one channel is depleted, an identical one replaces it.
• Transaction cost:
An on-chain transaction entails a cost of B, regardless of size.
• Opportunity cost:
Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest.
• unidirectional channel if λ1 = 0 or λ2 = 0.
Motivation Model Structural Implications Conclusion
Channel Model
(i) Two users, 1 and 2.
(ii) User 1 pays user 2 at Poisson arrival times with rate λ1.
User 2 pays user 1 at Poisson arrival times with rate λ2.
(iii) The two Poisson processes are independent.
All payments are of one unit. (Inessential but simplifying assumption.)
(iv) User 1 commits l1 to the channel. User 2 commits l2.
(v) Stationary: when one channel is depleted, an identical one replaces it.
• Transaction cost:
An on-chain transaction entails a cost of B, regardless of size.
• Opportunity cost:
Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest.
• unidirectional channel if λ1 = 0 or λ2 = 0.
Motivation Model Structural Implications Conclusion
Channel Model
(i) Two users, 1 and 2.
(ii) User 1 pays user 2 at Poisson arrival times with rate λ1.
User 2 pays user 1 at Poisson arrival times with rate λ2.
(iii) The two Poisson processes are independent.
All payments are of one unit. (Inessential but simplifying assumption.)
(iv) User 1 commits l1 to the channel. User 2 commits l2.
(v) Stationary: when one channel is depleted, an identical one replaces it.
• Transaction cost:
An on-chain transaction entails a cost of B, regardless of size.
• Opportunity cost:
Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest.
• unidirectional channel if λ1 = 0 or λ2 = 0.
Motivation Model Structural Implications Conclusion
Channel Model
(i) Two users, 1 and 2.
(ii) User 1 pays user 2 at Poisson arrival times with rate λ1.
User 2 pays user 1 at Poisson arrival times with rate λ2.
(iii) The two Poisson processes are independent.
All payments are of one unit. (Inessential but simplifying assumption.)
(iv) User 1 commits l1 to the channel. User 2 commits l2.
(v) Stationary: when one channel is depleted, an identical one replaces it.
• Transaction cost:
An on-chain transaction entails a cost of B, regardless of size.
• Opportunity cost:
Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest.
• unidirectional channel if λ1 = 0 or λ2 = 0.
Motivation Model Structural Implications Conclusion
Channel Model
(i) Two users, 1 and 2.
(ii) User 1 pays user 2 at Poisson arrival times with rate λ1.
User 2 pays user 1 at Poisson arrival times with rate λ2.
(iii) The two Poisson processes are independent.
All payments are of one unit. (Inessential but simplifying assumption.)
(iv) User 1 commits l1 to the channel. User 2 commits l2.
(v) Stationary: when one channel is depleted, an identical one replaces it.
• Transaction cost:
An on-chain transaction entails a cost of B, regardless of size.
• Opportunity cost:
Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest.
• unidirectional channel if λ1 = 0 or λ2 = 0.
Motivation Model Structural Implications Conclusion
Channel Model
(i) Two users, 1 and 2.
(ii) User 1 pays user 2 at Poisson arrival times with rate λ1.
User 2 pays user 1 at Poisson arrival times with rate λ2.
(iii) The two Poisson processes are independent.
All payments are of one unit. (Inessential but simplifying assumption.)
(iv) User 1 commits l1 to the channel. User 2 commits l2.
(v) Stationary: when one channel is depleted, an identical one replaces it.
• Transaction cost:
An on-chain transaction entails a cost of B, regardless of size.
• Opportunity cost:
Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest.
• unidirectional channel if λ1 = 0 or λ2 = 0.
Motivation Model Structural Implications Conclusion
Channel Model
(i) Two users, 1 and 2.
(ii) User 1 pays user 2 at Poisson arrival times with rate λ1.
User 2 pays user 1 at Poisson arrival times with rate λ2.
(iii) The two Poisson processes are independent.
All payments are of one unit. (Inessential but simplifying assumption.)
(iv) User 1 commits l1 to the channel. User 2 commits l2.
(v) Stationary: when one channel is depleted, an identical one replaces it.
• Transaction cost:
An on-chain transaction entails a cost of B, regardless of size.
• Opportunity cost:
Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest.
• unidirectional channel if λ1 = 0 or λ2 = 0.
Motivation Model Structural Implications Conclusion
Tradeoff
• Higher deposit implies lower costs from on-chain transactions.
Lower deposit implies lower opportunity costs (lost interest rate).
• Demand for cash models:
Baumol (1952), Tobin (1956): deterministic spending (unidirectional).
Miller and Orr (1966): random balance fluctuations (bidirectional).
• Portfolio choice with transaction costs:
Constantinides (1986), Davis and Norman (1990), and many others.
Costs of transactions vs. displacement from Merton proportion.
• Fixed cost of on-chain transaction. Impulse control problem.
• Related work in computer science:
Brânzei, Segal-Halevi, Zohar (2017) on economics of LN, Avarikioti et al.
(2018, 2019, 2020) on the game-theory of fees. Seres et al. (2019) and
Schmid (2017) on simulations. Jianhong et al. (2020), and Seres et al.
(2020) on state of the network.
Motivation Model Structural Implications Conclusion
Tradeoff
• Higher deposit implies lower costs from on-chain transactions.
Lower deposit implies lower opportunity costs (lost interest rate).
• Demand for cash models:
Baumol (1952), Tobin (1956): deterministic spending (unidirectional).
Miller and Orr (1966): random balance fluctuations (bidirectional).
• Portfolio choice with transaction costs:
Constantinides (1986), Davis and Norman (1990), and many others.
Costs of transactions vs. displacement from Merton proportion.
• Fixed cost of on-chain transaction. Impulse control problem.
• Related work in computer science:
Brânzei, Segal-Halevi, Zohar (2017) on economics of LN, Avarikioti et al.
(2018, 2019, 2020) on the game-theory of fees. Seres et al. (2019) and
Schmid (2017) on simulations. Jianhong et al. (2020), and Seres et al.
(2020) on state of the network.
Motivation Model Structural Implications Conclusion
Tradeoff
• Higher deposit implies lower costs from on-chain transactions.
Lower deposit implies lower opportunity costs (lost interest rate).
• Demand for cash models:
Baumol (1952), Tobin (1956): deterministic spending (unidirectional).
Miller and Orr (1966): random balance fluctuations (bidirectional).
• Portfolio choice with transaction costs:
Constantinides (1986), Davis and Norman (1990), and many others.
Costs of transactions vs. displacement from Merton proportion.
• Fixed cost of on-chain transaction. Impulse control problem.
• Related work in computer science:
Brânzei, Segal-Halevi, Zohar (2017) on economics of LN, Avarikioti et al.
(2018, 2019, 2020) on the game-theory of fees. Seres et al. (2019) and
Schmid (2017) on simulations. Jianhong et al. (2020), and Seres et al.
(2020) on state of the network.
Motivation Model Structural Implications Conclusion
Tradeoff
• Higher deposit implies lower costs from on-chain transactions.
Lower deposit implies lower opportunity costs (lost interest rate).
• Demand for cash models:
Baumol (1952), Tobin (1956): deterministic spending (unidirectional).
Miller and Orr (1966): random balance fluctuations (bidirectional).
• Portfolio choice with transaction costs:
Constantinides (1986), Davis and Norman (1990), and many others.
Costs of transactions vs. displacement from Merton proportion.
• Fixed cost of on-chain transaction. Impulse control problem.
• Related work in computer science:
Brânzei, Segal-Halevi, Zohar (2017) on economics of LN, Avarikioti et al.
(2018, 2019, 2020) on the game-theory of fees. Seres et al. (2019) and
Schmid (2017) on simulations. Jianhong et al. (2020), and Seres et al.
(2020) on state of the network.
Motivation Model Structural Implications Conclusion
Tradeoff
• Higher deposit implies lower costs from on-chain transactions.
Lower deposit implies lower opportunity costs (lost interest rate).
• Demand for cash models:
Baumol (1952), Tobin (1956): deterministic spending (unidirectional).
Miller and Orr (1966): random balance fluctuations (bidirectional).
• Portfolio choice with transaction costs:
Constantinides (1986), Davis and Norman (1990), and many others.
Costs of transactions vs. displacement from Merton proportion.
• Fixed cost of on-chain transaction. Impulse control problem.
• Related work in computer science:
Brânzei, Segal-Halevi, Zohar (2017) on economics of LN, Avarikioti et al.
(2018, 2019, 2020) on the game-theory of fees. Seres et al. (2019) and
Schmid (2017) on simulations. Jianhong et al. (2020), and Seres et al.
(2020) on state of the network.
Motivation Model Structural Implications Conclusion
Worth it?
• In contrast to cash demand models, Lightning channel are optional.
• All transactions could be settled on-chain instead.
Lemma
The on-chain settlement cost for a transaction stream with rate λ is µ = λB/r.
• Intuitive formula. Price of annuity paying λB per unit of time.
• Denote by µ = λB/r the weight of the channel.
• When should you open a channel?
• Find alternative cost Ll1,l2 (λ1, λ2) with Lightning.
Motivation Model Structural Implications Conclusion
Worth it?
• In contrast to cash demand models, Lightning channel are optional.
• All transactions could be settled on-chain instead.
Lemma
The on-chain settlement cost for a transaction stream with rate λ is µ = λB/r.
• Intuitive formula. Price of annuity paying λB per unit of time.
• Denote by µ = λB/r the weight of the channel.
• When should you open a channel?
• Find alternative cost Ll1,l2 (λ1, λ2) with Lightning.
Motivation Model Structural Implications Conclusion
Worth it?
• In contrast to cash demand models, Lightning channel are optional.
• All transactions could be settled on-chain instead.
Lemma
The on-chain settlement cost for a transaction stream with rate λ is µ = λB/r.
• Intuitive formula. Price of annuity paying λB per unit of time.
• Denote by µ = λB/r the weight of the channel.
• When should you open a channel?
• Find alternative cost Ll1,l2 (λ1, λ2) with Lightning.
Motivation Model Structural Implications Conclusion
Worth it?
• In contrast to cash demand models, Lightning channel are optional.
• All transactions could be settled on-chain instead.
Lemma
The on-chain settlement cost for a transaction stream with rate λ is µ = λB/r.
• Intuitive formula. Price of annuity paying λB per unit of time.
• Denote by µ = λB/r the weight of the channel.
• When should you open a channel?
• Find alternative cost Ll1,l2 (λ1, λ2) with Lightning.
Motivation Model Structural Implications Conclusion
Worth it?
• In contrast to cash demand models, Lightning channel are optional.
• All transactions could be settled on-chain instead.
Lemma
The on-chain settlement cost for a transaction stream with rate λ is µ = λB/r.
• Intuitive formula. Price of annuity paying λB per unit of time.
• Denote by µ = λB/r the weight of the channel.
• When should you open a channel?
• Find alternative cost Ll1,l2 (λ1, λ2) with Lightning.
Motivation Model Structural Implications Conclusion
Worth it?
• In contrast to cash demand models, Lightning channel are optional.
• All transactions could be settled on-chain instead.
Lemma
The on-chain settlement cost for a transaction stream with rate λ is µ = λB/r.
• Intuitive formula. Price of annuity paying λB per unit of time.
• Denote by µ = λB/r the weight of the channel.
• When should you open a channel?
• Find alternative cost Ll1,l2 (λ1, λ2) with Lightning.
Motivation Model Structural Implications Conclusion
Worth it?
• In contrast to cash demand models, Lightning channel are optional.
• All transactions could be settled on-chain instead.
Lemma
The on-chain settlement cost for a transaction stream with rate λ is µ = λB/r.
• Intuitive formula. Price of annuity paying λB per unit of time.
• Denote by µ = λB/r the weight of the channel.
• When should you open a channel?
• Find alternative cost Ll1,l2 (λ1, λ2) with Lightning.
Motivation Model Structural Implications Conclusion
Lightning Cost
Theorem
(i) A unidirectional channel costs
L0,l2
(λ2, 0) = l2 + B

r + λ2
λ2
l2
− 1
!−1
.
(ii) A bidirectional channel costs
Ll1,l2
(λ2, λ1) = l1 + l2 − B
αl1
−(1 − αl1+l2
+ ) − αl1
+(1 − αl1+l2
− )
αl1
−(1 − αl1+l2
+ ) − αl1
+(1 − αl1+l2
− ) + αl1+l2
+ − αl1+l2
−
,
where
α± =
λ2 + λ1 + r ±
p
(λ2 − λ1)2 + r2 + 2r(λ2 + λ1)
2λ2
.
• Explicit formulas for given choice of deposits l1 and l2.
• Optimal choice l1 and l2 not explicit in general.
Motivation Model Structural Implications Conclusion
Lightning Cost
Theorem
(i) A unidirectional channel costs
L0,l2
(λ2, 0) = l2 + B

r + λ2
λ2
l2
− 1
!−1
.
(ii) A bidirectional channel costs
Ll1,l2
(λ2, λ1) = l1 + l2 − B
αl1
−(1 − αl1+l2
+ ) − αl1
+(1 − αl1+l2
− )
αl1
−(1 − αl1+l2
+ ) − αl1
+(1 − αl1+l2
− ) + αl1+l2
+ − αl1+l2
−
,
where
α± =
λ2 + λ1 + r ±
p
(λ2 − λ1)2 + r2 + 2r(λ2 + λ1)
2λ2
.
• Explicit formulas for given choice of deposits l1 and l2.
• Optimal choice l1 and l2 not explicit in general.
Motivation Model Structural Implications Conclusion
Lightning Cost
Theorem
(i) A unidirectional channel costs
L0,l2
(λ2, 0) = l2 + B

r + λ2
λ2
l2
− 1
!−1
.
(ii) A bidirectional channel costs
Ll1,l2
(λ2, λ1) = l1 + l2 − B
αl1
−(1 − αl1+l2
+ ) − αl1
+(1 − αl1+l2
− )
αl1
−(1 − αl1+l2
+ ) − αl1
+(1 − αl1+l2
− ) + αl1+l2
+ − αl1+l2
−
,
where
α± =
λ2 + λ1 + r ±
p
(λ2 − λ1)2 + r2 + 2r(λ2 + λ1)
2λ2
.
• Explicit formulas for given choice of deposits l1 and l2.
• Optimal choice l1 and l2 not explicit in general.
Motivation Model Structural Implications Conclusion
Lightning Cost
Theorem
(i) A unidirectional channel costs
L0,l2
(λ2, 0) = l2 + B

r + λ2
λ2
l2
− 1
!−1
.
(ii) A bidirectional channel costs
Ll1,l2
(λ2, λ1) = l1 + l2 − B
αl1
−(1 − αl1+l2
+ ) − αl1
+(1 − αl1+l2
− )
αl1
−(1 − αl1+l2
+ ) − αl1
+(1 − αl1+l2
− ) + αl1+l2
+ − αl1+l2
−
,
where
α± =
λ2 + λ1 + r ±
p
(λ2 − λ1)2 + r2 + 2r(λ2 + λ1)
2λ2
.
• Explicit formulas for given choice of deposits l1 and l2.
• Optimal choice l1 and l2 not explicit in general.
Motivation Model Structural Implications Conclusion
Lightning Cost
Theorem
(i) A unidirectional channel costs
L0,l2
(λ2, 0) = l2 + B

r + λ2
λ2
l2
− 1
!−1
.
(ii) A bidirectional channel costs
Ll1,l2
(λ2, λ1) = l1 + l2 − B
αl1
−(1 − αl1+l2
+ ) − αl1
+(1 − αl1+l2
− )
αl1
−(1 − αl1+l2
+ ) − αl1
+(1 − αl1+l2
− ) + αl1+l2
+ − αl1+l2
−
,
where
α± =
λ2 + λ1 + r ±
p
(λ2 − λ1)2 + r2 + 2r(λ2 + λ1)
2λ2
.
• Explicit formulas for given choice of deposits l1 and l2.
• Optimal choice l1 and l2 not explicit in general.
Motivation Model Structural Implications Conclusion
No Lightning for Turtles
Theorem
(i) If a unidirectional channel with rate λ costs less than on-chain
transactions, then λ  r/B.
(ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain
transactions, then
√
λ1λ2  r/(2B).
• Necessary conditions. Not sufficient.
• unidirectional intuition: a slow trickle of transactions should stay on-chain.
• Bidirectional trickier: geometric average of payment rates should be
higher than threshold. Needs both rates to be large enough.
• Justifies use of asymptotics for r near zero.
• Conditions depend only on weights: µ  1 and µ1µ2  1/4 respectively.
(A bidirectional channel has two weights.)
Motivation Model Structural Implications Conclusion
No Lightning for Turtles
Theorem
(i) If a unidirectional channel with rate λ costs less than on-chain
transactions, then λ  r/B.
(ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain
transactions, then
√
λ1λ2  r/(2B).
• Necessary conditions. Not sufficient.
• unidirectional intuition: a slow trickle of transactions should stay on-chain.
• Bidirectional trickier: geometric average of payment rates should be
higher than threshold. Needs both rates to be large enough.
• Justifies use of asymptotics for r near zero.
• Conditions depend only on weights: µ  1 and µ1µ2  1/4 respectively.
(A bidirectional channel has two weights.)
Motivation Model Structural Implications Conclusion
No Lightning for Turtles
Theorem
(i) If a unidirectional channel with rate λ costs less than on-chain
transactions, then λ  r/B.
(ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain
transactions, then
√
λ1λ2  r/(2B).
• Necessary conditions. Not sufficient.
• unidirectional intuition: a slow trickle of transactions should stay on-chain.
• Bidirectional trickier: geometric average of payment rates should be
higher than threshold. Needs both rates to be large enough.
• Justifies use of asymptotics for r near zero.
• Conditions depend only on weights: µ  1 and µ1µ2  1/4 respectively.
(A bidirectional channel has two weights.)
Motivation Model Structural Implications Conclusion
No Lightning for Turtles
Theorem
(i) If a unidirectional channel with rate λ costs less than on-chain
transactions, then λ  r/B.
(ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain
transactions, then
√
λ1λ2  r/(2B).
• Necessary conditions. Not sufficient.
• unidirectional intuition: a slow trickle of transactions should stay on-chain.
• Bidirectional trickier: geometric average of payment rates should be
higher than threshold. Needs both rates to be large enough.
• Justifies use of asymptotics for r near zero.
• Conditions depend only on weights: µ  1 and µ1µ2  1/4 respectively.
(A bidirectional channel has two weights.)
Motivation Model Structural Implications Conclusion
No Lightning for Turtles
Theorem
(i) If a unidirectional channel with rate λ costs less than on-chain
transactions, then λ  r/B.
(ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain
transactions, then
√
λ1λ2  r/(2B).
• Necessary conditions. Not sufficient.
• unidirectional intuition: a slow trickle of transactions should stay on-chain.
• Bidirectional trickier: geometric average of payment rates should be
higher than threshold. Needs both rates to be large enough.
• Justifies use of asymptotics for r near zero.
• Conditions depend only on weights: µ  1 and µ1µ2  1/4 respectively.
(A bidirectional channel has two weights.)
Motivation Model Structural Implications Conclusion
No Lightning for Turtles
Theorem
(i) If a unidirectional channel with rate λ costs less than on-chain
transactions, then λ  r/B.
(ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain
transactions, then
√
λ1λ2  r/(2B).
• Necessary conditions. Not sufficient.
• unidirectional intuition: a slow trickle of transactions should stay on-chain.
• Bidirectional trickier: geometric average of payment rates should be
higher than threshold. Needs both rates to be large enough.
• Justifies use of asymptotics for r near zero.
• Conditions depend only on weights: µ  1 and µ1µ2  1/4 respectively.
(A bidirectional channel has two weights.)
Motivation Model Structural Implications Conclusion
No Lightning for Turtles
Theorem
(i) If a unidirectional channel with rate λ costs less than on-chain
transactions, then λ  r/B.
(ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain
transactions, then
√
λ1λ2  r/(2B).
• Necessary conditions. Not sufficient.
• unidirectional intuition: a slow trickle of transactions should stay on-chain.
• Bidirectional trickier: geometric average of payment rates should be
higher than threshold. Needs both rates to be large enough.
• Justifies use of asymptotics for r near zero.
• Conditions depend only on weights: µ  1 and µ1µ2  1/4 respectively.
(A bidirectional channel has two weights.)
Motivation Model Structural Implications Conclusion
No Lightning for Turtles
Theorem
(i) If a unidirectional channel with rate λ costs less than on-chain
transactions, then λ  r/B.
(ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain
transactions, then
√
λ1λ2  r/(2B).
• Necessary conditions. Not sufficient.
• unidirectional intuition: a slow trickle of transactions should stay on-chain.
• Bidirectional trickier: geometric average of payment rates should be
higher than threshold. Needs both rates to be large enough.
• Justifies use of asymptotics for r near zero.
• Conditions depend only on weights: µ  1 and µ1µ2  1/4 respectively.
(A bidirectional channel has two weights.)
Motivation Model Structural Implications Conclusion
Asymptotics
Proposition
For r near zero:
(i) The minimal cost of a unidirectional channel with rate λ is
Lopt
(λ, 0) = 2

Bλ
r
1/2
−
B
2
+ O(r1/2
)
and is achieved for the channel size l = Bλ
r
1/2
+ O(r1/2
).
(ii) The minimal cost of a symmetric, bidirectional channel with both rates λ is
Lopt
(λ, λ) = 3

2Bλ
r
1/3
−
B
6
+ O(r1/3
)
and is achieved for channel sizes l1 = l2 = 2Bλ
r
1/3
+ O(r1/3
).
• Baumol-Tobin rate 1/2 for unidirectional. Miller-Orr 1/3 for symmetric.
• No explicit solution for bidirectional asymmetric.
Motivation Model Structural Implications Conclusion
Asymptotics
Proposition
For r near zero:
(i) The minimal cost of a unidirectional channel with rate λ is
Lopt
(λ, 0) = 2

Bλ
r
1/2
−
B
2
+ O(r1/2
)
and is achieved for the channel size l = Bλ
r
1/2
+ O(r1/2
).
(ii) The minimal cost of a symmetric, bidirectional channel with both rates λ is
Lopt
(λ, λ) = 3

2Bλ
r
1/3
−
B
6
+ O(r1/3
)
and is achieved for channel sizes l1 = l2 = 2Bλ
r
1/3
+ O(r1/3
).
• Baumol-Tobin rate 1/2 for unidirectional. Miller-Orr 1/3 for symmetric.
• No explicit solution for bidirectional asymmetric.
Motivation Model Structural Implications Conclusion
Asymptotics
Proposition
For r near zero:
(i) The minimal cost of a unidirectional channel with rate λ is
Lopt
(λ, 0) = 2

Bλ
r
1/2
−
B
2
+ O(r1/2
)
and is achieved for the channel size l = Bλ
r
1/2
+ O(r1/2
).
(ii) The minimal cost of a symmetric, bidirectional channel with both rates λ is
Lopt
(λ, λ) = 3

2Bλ
r
1/3
−
B
6
+ O(r1/3
)
and is achieved for channel sizes l1 = l2 = 2Bλ
r
1/3
+ O(r1/3
).
• Baumol-Tobin rate 1/2 for unidirectional. Miller-Orr 1/3 for symmetric.
• No explicit solution for bidirectional asymmetric.
Motivation Model Structural Implications Conclusion
Asymptotics
Proposition
For r near zero:
(i) The minimal cost of a unidirectional channel with rate λ is
Lopt
(λ, 0) = 2

Bλ
r
1/2
−
B
2
+ O(r1/2
)
and is achieved for the channel size l = Bλ
r
1/2
+ O(r1/2
).
(ii) The minimal cost of a symmetric, bidirectional channel with both rates λ is
Lopt
(λ, λ) = 3

2Bλ
r
1/3
−
B
6
+ O(r1/3
)
and is achieved for channel sizes l1 = l2 = 2Bλ
r
1/3
+ O(r1/3
).
• Baumol-Tobin rate 1/2 for unidirectional. Miller-Orr 1/3 for symmetric.
• No explicit solution for bidirectional asymmetric.
Motivation Model Structural Implications Conclusion
Asymptotics
Proposition
For r near zero:
(i) The minimal cost of a unidirectional channel with rate λ is
Lopt
(λ, 0) = 2

Bλ
r
1/2
−
B
2
+ O(r1/2
)
and is achieved for the channel size l = Bλ
r
1/2
+ O(r1/2
).
(ii) The minimal cost of a symmetric, bidirectional channel with both rates λ is
Lopt
(λ, λ) = 3

2Bλ
r
1/3
−
B
6
+ O(r1/3
)
and is achieved for channel sizes l1 = l2 = 2Bλ
r
1/3
+ O(r1/3
).
• Baumol-Tobin rate 1/2 for unidirectional. Miller-Orr 1/3 for symmetric.
• No explicit solution for bidirectional asymmetric.
Motivation Model Structural Implications Conclusion
Traffic Reduction
Proposition
In a bidirectional channel with sizes l1, l2 and rates λ1, λ2, the long-term ratio
between channel transactions and on-chain transactions equals
(q + 1) l2 ql1 − 1

− l1

ql2 + l1

(q − 1) (ql1+l2 − 1)
where q = λ2/λ1. In particular:
(i) In a unidirectional channel (q ↓ 0) the ratio simplifies to l1.
(ii) In a symmetric bidirectional channel (q → 1) the ratio simplifies to l1l2.
• Traffic reduction is linear for unidirectional channels.
• Quadratic for symmetric. Somewhere in between for bidirectional.
• Netting effect largest with symmetry.
Motivation Model Structural Implications Conclusion
Traffic Reduction
Proposition
In a bidirectional channel with sizes l1, l2 and rates λ1, λ2, the long-term ratio
between channel transactions and on-chain transactions equals
(q + 1) l2 ql1 − 1

− l1

ql2 + l1

(q − 1) (ql1+l2 − 1)
where q = λ2/λ1. In particular:
(i) In a unidirectional channel (q ↓ 0) the ratio simplifies to l1.
(ii) In a symmetric bidirectional channel (q → 1) the ratio simplifies to l1l2.
• Traffic reduction is linear for unidirectional channels.
• Quadratic for symmetric. Somewhere in between for bidirectional.
• Netting effect largest with symmetry.
Motivation Model Structural Implications Conclusion
Traffic Reduction
Proposition
In a bidirectional channel with sizes l1, l2 and rates λ1, λ2, the long-term ratio
between channel transactions and on-chain transactions equals
(q + 1) l2 ql1 − 1

− l1

ql2 + l1

(q − 1) (ql1+l2 − 1)
where q = λ2/λ1. In particular:
(i) In a unidirectional channel (q ↓ 0) the ratio simplifies to l1.
(ii) In a symmetric bidirectional channel (q → 1) the ratio simplifies to l1l2.
• Traffic reduction is linear for unidirectional channels.
• Quadratic for symmetric. Somewhere in between for bidirectional.
• Netting effect largest with symmetry.
Motivation Model Structural Implications Conclusion
Traffic Reduction
Proposition
In a bidirectional channel with sizes l1, l2 and rates λ1, λ2, the long-term ratio
between channel transactions and on-chain transactions equals
(q + 1) l2 ql1 − 1

− l1

ql2 + l1

(q − 1) (ql1+l2 − 1)
where q = λ2/λ1. In particular:
(i) In a unidirectional channel (q ↓ 0) the ratio simplifies to l1.
(ii) In a symmetric bidirectional channel (q → 1) the ratio simplifies to l1l2.
• Traffic reduction is linear for unidirectional channels.
• Quadratic for symmetric. Somewhere in between for bidirectional.
• Netting effect largest with symmetry.
Motivation Model Structural Implications Conclusion
Traffic Reduction
Proposition
In a bidirectional channel with sizes l1, l2 and rates λ1, λ2, the long-term ratio
between channel transactions and on-chain transactions equals
(q + 1) l2 ql1 − 1

− l1

ql2 + l1

(q − 1) (ql1+l2 − 1)
where q = λ2/λ1. In particular:
(i) In a unidirectional channel (q ↓ 0) the ratio simplifies to l1.
(ii) In a symmetric bidirectional channel (q → 1) the ratio simplifies to l1l2.
• Traffic reduction is linear for unidirectional channels.
• Quadratic for symmetric. Somewhere in between for bidirectional.
• Netting effect largest with symmetry.
Motivation Model Structural Implications Conclusion
Traffic Reduction
Proposition
In a bidirectional channel with sizes l1, l2 and rates λ1, λ2, the long-term ratio
between channel transactions and on-chain transactions equals
(q + 1) l2 ql1 − 1

− l1

ql2 + l1

(q − 1) (ql1+l2 − 1)
where q = λ2/λ1. In particular:
(i) In a unidirectional channel (q ↓ 0) the ratio simplifies to l1.
(ii) In a symmetric bidirectional channel (q → 1) the ratio simplifies to l1l2.
• Traffic reduction is linear for unidirectional channels.
• Quadratic for symmetric. Somewhere in between for bidirectional.
• Netting effect largest with symmetry.
Motivation Model Structural Implications Conclusion
Channel Graph
• Several users (vertices) v1, . . . , vn.
• Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij .
• A directed graph G with weighted edges is a valid LN with respect to F if:
(i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj .
(ii) The (directed) weight of each edge equals the sum of the weights of the
paths passing through that edge (in that direction).
• Intuitively, a valid LN is a graph and a set of paths that allow all necessary
payments to be carried out.
• Denote the cost of a graph G as f(G).
• Small groups of users can change the network to reduce their costs.
• What is the resulting structure of the payment network?
Motivation Model Structural Implications Conclusion
Channel Graph
• Several users (vertices) v1, . . . , vn.
• Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij .
• A directed graph G with weighted edges is a valid LN with respect to F if:
(i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj .
(ii) The (directed) weight of each edge equals the sum of the weights of the
paths passing through that edge (in that direction).
• Intuitively, a valid LN is a graph and a set of paths that allow all necessary
payments to be carried out.
• Denote the cost of a graph G as f(G).
• Small groups of users can change the network to reduce their costs.
• What is the resulting structure of the payment network?
Motivation Model Structural Implications Conclusion
Channel Graph
• Several users (vertices) v1, . . . , vn.
• Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij .
• A directed graph G with weighted edges is a valid LN with respect to F if:
(i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj .
(ii) The (directed) weight of each edge equals the sum of the weights of the
paths passing through that edge (in that direction).
• Intuitively, a valid LN is a graph and a set of paths that allow all necessary
payments to be carried out.
• Denote the cost of a graph G as f(G).
• Small groups of users can change the network to reduce their costs.
• What is the resulting structure of the payment network?
Motivation Model Structural Implications Conclusion
Channel Graph
• Several users (vertices) v1, . . . , vn.
• Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij .
• A directed graph G with weighted edges is a valid LN with respect to F if:
(i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj .
(ii) The (directed) weight of each edge equals the sum of the weights of the
paths passing through that edge (in that direction).
• Intuitively, a valid LN is a graph and a set of paths that allow all necessary
payments to be carried out.
• Denote the cost of a graph G as f(G).
• Small groups of users can change the network to reduce their costs.
• What is the resulting structure of the payment network?
Motivation Model Structural Implications Conclusion
Channel Graph
• Several users (vertices) v1, . . . , vn.
• Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij .
• A directed graph G with weighted edges is a valid LN with respect to F if:
(i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj .
(ii) The (directed) weight of each edge equals the sum of the weights of the
paths passing through that edge (in that direction).
• Intuitively, a valid LN is a graph and a set of paths that allow all necessary
payments to be carried out.
• Denote the cost of a graph G as f(G).
• Small groups of users can change the network to reduce their costs.
• What is the resulting structure of the payment network?
Motivation Model Structural Implications Conclusion
Channel Graph
• Several users (vertices) v1, . . . , vn.
• Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij .
• A directed graph G with weighted edges is a valid LN with respect to F if:
(i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj .
(ii) The (directed) weight of each edge equals the sum of the weights of the
paths passing through that edge (in that direction).
• Intuitively, a valid LN is a graph and a set of paths that allow all necessary
payments to be carried out.
• Denote the cost of a graph G as f(G).
• Small groups of users can change the network to reduce their costs.
• What is the resulting structure of the payment network?
Motivation Model Structural Implications Conclusion
Channel Graph
• Several users (vertices) v1, . . . , vn.
• Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij .
• A directed graph G with weighted edges is a valid LN with respect to F if:
(i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj .
(ii) The (directed) weight of each edge equals the sum of the weights of the
paths passing through that edge (in that direction).
• Intuitively, a valid LN is a graph and a set of paths that allow all necessary
payments to be carried out.
• Denote the cost of a graph G as f(G).
• Small groups of users can change the network to reduce their costs.
• What is the resulting structure of the payment network?
Motivation Model Structural Implications Conclusion
Channel Graph
• Several users (vertices) v1, . . . , vn.
• Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij .
• A directed graph G with weighted edges is a valid LN with respect to F if:
(i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj .
(ii) The (directed) weight of each edge equals the sum of the weights of the
paths passing through that edge (in that direction).
• Intuitively, a valid LN is a graph and a set of paths that allow all necessary
payments to be carried out.
• Denote the cost of a graph G as f(G).
• Small groups of users can change the network to reduce their costs.
• What is the resulting structure of the payment network?
Motivation Model Structural Implications Conclusion
Channel Graph
• Several users (vertices) v1, . . . , vn.
• Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij .
• A directed graph G with weighted edges is a valid LN with respect to F if:
(i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj .
(ii) The (directed) weight of each edge equals the sum of the weights of the
paths passing through that edge (in that direction).
• Intuitively, a valid LN is a graph and a set of paths that allow all necessary
payments to be carried out.
• Denote the cost of a graph G as f(G).
• Small groups of users can change the network to reduce their costs.
• What is the resulting structure of the payment network?
Motivation Model Structural Implications Conclusion
Mutations and Immutable
Definition
For k ≥ 1 a valid LN G is a k-immutable if There is no valid LN graph G0
and a
set U ⊂ V, |U| = k such that G[V  U] = G0
[V  U] and f(G0
)  f(G).
(G[V  U] is the subgraph of G spanned by the vertices in V  U.)
k users cannot improve it by changing their channels.
v1
v2
v3
v4
v5
(a) Before
v1
v2
v3
v4
v5
(b) After
Motivation Model Structural Implications Conclusion
Hermetization
Definition
A valid LN G is hermetic if no valid LN graph G0
with at most |V(G)| + 1
vertices has f(G0
)  f(G).
Adding an intermediary to route payments does not reduce costs.
v1 v2 v3 v4
(a) Before
v1 v2 v3 v4
v5
(b) After
Motivation Model Structural Implications Conclusion
Do not Pay a Payer
Theorem
A 3-immutable graph does not have a directed path with more than one edge.
v1 v2 v3
µ1 µ2
(a) Before
v1 v2 v3
µ1
µ1
µ2
(b) After
• Paying a payer is bad because it is better to pay the final payee.
The two payees can exchange payments through a bidirectional channel.
• If one removes all bidirectional channels, the result is a family of stars.
• Hub-and-spoke structure.
Motivation Model Structural Implications Conclusion
Do not Pay a Payer
Theorem
A 3-immutable graph does not have a directed path with more than one edge.
v1 v2 v3
µ1 µ2
(a) Before
v1 v2 v3
µ1
µ1
µ2
(b) After
• Paying a payer is bad because it is better to pay the final payee.
The two payees can exchange payments through a bidirectional channel.
• If one removes all bidirectional channels, the result is a family of stars.
• Hub-and-spoke structure.
Motivation Model Structural Implications Conclusion
Do not Pay a Payer
Theorem
A 3-immutable graph does not have a directed path with more than one edge.
v1 v2 v3
µ1 µ2
(a) Before
v1 v2 v3
µ1
µ1
µ2
(b) After
• Paying a payer is bad because it is better to pay the final payee.
The two payees can exchange payments through a bidirectional channel.
• If one removes all bidirectional channels, the result is a family of stars.
• Hub-and-spoke structure.
Motivation Model Structural Implications Conclusion
Do not Pay a Payer
Theorem
A 3-immutable graph does not have a directed path with more than one edge.
v1 v2 v3
µ1 µ2
(a) Before
v1 v2 v3
µ1
µ1
µ2
(b) After
• Paying a payer is bad because it is better to pay the final payee.
The two payees can exchange payments through a bidirectional channel.
• If one removes all bidirectional channels, the result is a family of stars.
• Hub-and-spoke structure.
Motivation Model Structural Implications Conclusion
No Bidirectional Clustering
Theorem
A valid LN satisfies the following:
(i) A 3-immutable graph has no 3-cycle with bidirectional edges.
(ii) A 4-immutable graph has no 4-cycle with bidirectional edges.
• Bidirectional clustering is exactly zero.
• If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will
not waste capital on another channel.
• Incompatible with several models of random networks, such as
Erdös-Renyi, small-world, and others.
• To be considered when simulating Lightning Networks.
• Statement not true replacing 3 or 4 with 5. Counterexample.
Motivation Model Structural Implications Conclusion
No Bidirectional Clustering
Theorem
A valid LN satisfies the following:
(i) A 3-immutable graph has no 3-cycle with bidirectional edges.
(ii) A 4-immutable graph has no 4-cycle with bidirectional edges.
• Bidirectional clustering is exactly zero.
• If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will
not waste capital on another channel.
• Incompatible with several models of random networks, such as
Erdös-Renyi, small-world, and others.
• To be considered when simulating Lightning Networks.
• Statement not true replacing 3 or 4 with 5. Counterexample.
Motivation Model Structural Implications Conclusion
No Bidirectional Clustering
Theorem
A valid LN satisfies the following:
(i) A 3-immutable graph has no 3-cycle with bidirectional edges.
(ii) A 4-immutable graph has no 4-cycle with bidirectional edges.
• Bidirectional clustering is exactly zero.
• If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will
not waste capital on another channel.
• Incompatible with several models of random networks, such as
Erdös-Renyi, small-world, and others.
• To be considered when simulating Lightning Networks.
• Statement not true replacing 3 or 4 with 5. Counterexample.
Motivation Model Structural Implications Conclusion
No Bidirectional Clustering
Theorem
A valid LN satisfies the following:
(i) A 3-immutable graph has no 3-cycle with bidirectional edges.
(ii) A 4-immutable graph has no 4-cycle with bidirectional edges.
• Bidirectional clustering is exactly zero.
• If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will
not waste capital on another channel.
• Incompatible with several models of random networks, such as
Erdös-Renyi, small-world, and others.
• To be considered when simulating Lightning Networks.
• Statement not true replacing 3 or 4 with 5. Counterexample.
Motivation Model Structural Implications Conclusion
No Bidirectional Clustering
Theorem
A valid LN satisfies the following:
(i) A 3-immutable graph has no 3-cycle with bidirectional edges.
(ii) A 4-immutable graph has no 4-cycle with bidirectional edges.
• Bidirectional clustering is exactly zero.
• If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will
not waste capital on another channel.
• Incompatible with several models of random networks, such as
Erdös-Renyi, small-world, and others.
• To be considered when simulating Lightning Networks.
• Statement not true replacing 3 or 4 with 5. Counterexample.
Motivation Model Structural Implications Conclusion
No Bidirectional Clustering
Theorem
A valid LN satisfies the following:
(i) A 3-immutable graph has no 3-cycle with bidirectional edges.
(ii) A 4-immutable graph has no 4-cycle with bidirectional edges.
• Bidirectional clustering is exactly zero.
• If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will
not waste capital on another channel.
• Incompatible with several models of random networks, such as
Erdös-Renyi, small-world, and others.
• To be considered when simulating Lightning Networks.
• Statement not true replacing 3 or 4 with 5. Counterexample.
Motivation Model Structural Implications Conclusion
No Bidirectional Clustering
Theorem
A valid LN satisfies the following:
(i) A 3-immutable graph has no 3-cycle with bidirectional edges.
(ii) A 4-immutable graph has no 4-cycle with bidirectional edges.
• Bidirectional clustering is exactly zero.
• If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will
not waste capital on another channel.
• Incompatible with several models of random networks, such as
Erdös-Renyi, small-world, and others.
• To be considered when simulating Lightning Networks.
• Statement not true replacing 3 or 4 with 5. Counterexample.
Motivation Model Structural Implications Conclusion
No Bidirectional Clustering
Theorem
A valid LN satisfies the following:
(i) A 3-immutable graph has no 3-cycle with bidirectional edges.
(ii) A 4-immutable graph has no 4-cycle with bidirectional edges.
• Bidirectional clustering is exactly zero.
• If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will
not waste capital on another channel.
• Incompatible with several models of random networks, such as
Erdös-Renyi, small-world, and others.
• To be considered when simulating Lightning Networks.
• Statement not true replacing 3 or 4 with 5. Counterexample.
Motivation Model Structural Implications Conclusion
Intermediation
• Recall that the degree of a user is the number of adjacent edges.
• s(v) and S(v) smallest and largest weights of edges adjacent to v.
• Define R(G) = maxv
S(v)
s(v) as the discrepancy of the network.
Theorem
A graph G with average degree greater than 4
p
2R(G) is not hermetic.
• In principle, an enterprising user could offer to act as a counterparty to
any such set of users, charging part of their savings as fees.
• If all edges have the same weight (R(G) = 1), the condition boils down to
average degree greater than 6.
Motivation Model Structural Implications Conclusion
Intermediation
• Recall that the degree of a user is the number of adjacent edges.
• s(v) and S(v) smallest and largest weights of edges adjacent to v.
• Define R(G) = maxv
S(v)
s(v) as the discrepancy of the network.
Theorem
A graph G with average degree greater than 4
p
2R(G) is not hermetic.
• In principle, an enterprising user could offer to act as a counterparty to
any such set of users, charging part of their savings as fees.
• If all edges have the same weight (R(G) = 1), the condition boils down to
average degree greater than 6.
Motivation Model Structural Implications Conclusion
Intermediation
• Recall that the degree of a user is the number of adjacent edges.
• s(v) and S(v) smallest and largest weights of edges adjacent to v.
• Define R(G) = maxv
S(v)
s(v) as the discrepancy of the network.
Theorem
A graph G with average degree greater than 4
p
2R(G) is not hermetic.
• In principle, an enterprising user could offer to act as a counterparty to
any such set of users, charging part of their savings as fees.
• If all edges have the same weight (R(G) = 1), the condition boils down to
average degree greater than 6.
Motivation Model Structural Implications Conclusion
Intermediation
• Recall that the degree of a user is the number of adjacent edges.
• s(v) and S(v) smallest and largest weights of edges adjacent to v.
• Define R(G) = maxv
S(v)
s(v) as the discrepancy of the network.
Theorem
A graph G with average degree greater than 4
p
2R(G) is not hermetic.
• In principle, an enterprising user could offer to act as a counterparty to
any such set of users, charging part of their savings as fees.
• If all edges have the same weight (R(G) = 1), the condition boils down to
average degree greater than 6.
Motivation Model Structural Implications Conclusion
Intermediation
• Recall that the degree of a user is the number of adjacent edges.
• s(v) and S(v) smallest and largest weights of edges adjacent to v.
• Define R(G) = maxv
S(v)
s(v) as the discrepancy of the network.
Theorem
A graph G with average degree greater than 4
p
2R(G) is not hermetic.
• In principle, an enterprising user could offer to act as a counterparty to
any such set of users, charging part of their savings as fees.
• If all edges have the same weight (R(G) = 1), the condition boils down to
average degree greater than 6.
Motivation Model Structural Implications Conclusion
Intermediation
• Recall that the degree of a user is the number of adjacent edges.
• s(v) and S(v) smallest and largest weights of edges adjacent to v.
• Define R(G) = maxv
S(v)
s(v) as the discrepancy of the network.
Theorem
A graph G with average degree greater than 4
p
2R(G) is not hermetic.
• In principle, an enterprising user could offer to act as a counterparty to
any such set of users, charging part of their savings as fees.
• If all edges have the same weight (R(G) = 1), the condition boils down to
average degree greater than 6.
Motivation Model Structural Implications Conclusion
Shooting for the Star?
Theorem
Assume that, for each user vi , the size of each channel (µk
i )1≤k≤|N(i)| is
distributed according to a law such that
(i) there exist a  1, b  0 such that P(µk
i  x)  bx−a
for all 1 ≤ i ≤ |V|,
1 ≤ k ≤ |N(i)|, and x  0.
(ii) there exists ε, such that P(µk
i  ε) = 1 for all 1 ≤ i ≤ |V|, 1 ≤ k ≤ |N(i)|.
Then the graph is not hermetic with probability greater or equal than
1 − c
X
1≤i≤|V|
|N(i)|1−2a
where c is a positive constant.
• If payment flows follow a power law, then a star is more likely to emerge if
the tail is thinner (less dispersion) and if the number of neighbors is higher.
Motivation Model Structural Implications Conclusion
Shooting for the Star?
Theorem
Assume that, for each user vi , the size of each channel (µk
i )1≤k≤|N(i)| is
distributed according to a law such that
(i) there exist a  1, b  0 such that P(µk
i  x)  bx−a
for all 1 ≤ i ≤ |V|,
1 ≤ k ≤ |N(i)|, and x  0.
(ii) there exists ε, such that P(µk
i  ε) = 1 for all 1 ≤ i ≤ |V|, 1 ≤ k ≤ |N(i)|.
Then the graph is not hermetic with probability greater or equal than
1 − c
X
1≤i≤|V|
|N(i)|1−2a
where c is a positive constant.
• If payment flows follow a power law, then a star is more likely to emerge if
the tail is thinner (less dispersion) and if the number of neighbors is higher.
Motivation Model Structural Implications Conclusion
Shooting for the Star?
Theorem
Assume that, for each user vi , the size of each channel (µk
i )1≤k≤|N(i)| is
distributed according to a law such that
(i) there exist a  1, b  0 such that P(µk
i  x)  bx−a
for all 1 ≤ i ≤ |V|,
1 ≤ k ≤ |N(i)|, and x  0.
(ii) there exists ε, such that P(µk
i  ε) = 1 for all 1 ≤ i ≤ |V|, 1 ≤ k ≤ |N(i)|.
Then the graph is not hermetic with probability greater or equal than
1 − c
X
1≤i≤|V|
|N(i)|1−2a
where c is a positive constant.
• If payment flows follow a power law, then a star is more likely to emerge if
the tail is thinner (less dispersion) and if the number of neighbors is higher.
Motivation Model Structural Implications Conclusion
Shooting for the Star?
Theorem
Assume that, for each user vi , the size of each channel (µk
i )1≤k≤|N(i)| is
distributed according to a law such that
(i) there exist a  1, b  0 such that P(µk
i  x)  bx−a
for all 1 ≤ i ≤ |V|,
1 ≤ k ≤ |N(i)|, and x  0.
(ii) there exists ε, such that P(µk
i  ε) = 1 for all 1 ≤ i ≤ |V|, 1 ≤ k ≤ |N(i)|.
Then the graph is not hermetic with probability greater or equal than
1 − c
X
1≤i≤|V|
|N(i)|1−2a
where c is a positive constant.
• If payment flows follow a power law, then a star is more likely to emerge if
the tail is thinner (less dispersion) and if the number of neighbors is higher.
Motivation Model Structural Implications Conclusion
Open Questions
• Tractability of asymmetric bidirectional channel.
• Alternative cost objectives. Game-theoretical issues?
• Fees for links in equilibrium?
• Effect of fees on network structure?
Motivation Model Structural Implications Conclusion
Open Questions
• Tractability of asymmetric bidirectional channel.
• Alternative cost objectives. Game-theoretical issues?
• Fees for links in equilibrium?
• Effect of fees on network structure?
Motivation Model Structural Implications Conclusion
Open Questions
• Tractability of asymmetric bidirectional channel.
• Alternative cost objectives. Game-theoretical issues?
• Fees for links in equilibrium?
• Effect of fees on network structure?
Motivation Model Structural Implications Conclusion
Open Questions
• Tractability of asymmetric bidirectional channel.
• Alternative cost objectives. Game-theoretical issues?
• Fees for links in equilibrium?
• Effect of fees on network structure?
Motivation Model Structural Implications Conclusion
Conclusion
• Lightning Network. Second layer on blockchain. Channels and links.
• Use channels only above frequency threshold.
• Channel costs: different orders for unidirectional and bidirectional.
• Structural implications from channel costs.
• No clustering. Hubs-and-spokes.
• Potential for intermediaries in well-connected, homogenous groups.
• Tradeoff between security and efficiency.
Motivation Model Structural Implications Conclusion
Conclusion
• Lightning Network. Second layer on blockchain. Channels and links.
• Use channels only above frequency threshold.
• Channel costs: different orders for unidirectional and bidirectional.
• Structural implications from channel costs.
• No clustering. Hubs-and-spokes.
• Potential for intermediaries in well-connected, homogenous groups.
• Tradeoff between security and efficiency.
Motivation Model Structural Implications Conclusion
Conclusion
• Lightning Network. Second layer on blockchain. Channels and links.
• Use channels only above frequency threshold.
• Channel costs: different orders for unidirectional and bidirectional.
• Structural implications from channel costs.
• No clustering. Hubs-and-spokes.
• Potential for intermediaries in well-connected, homogenous groups.
• Tradeoff between security and efficiency.
Motivation Model Structural Implications Conclusion
Conclusion
• Lightning Network. Second layer on blockchain. Channels and links.
• Use channels only above frequency threshold.
• Channel costs: different orders for unidirectional and bidirectional.
• Structural implications from channel costs.
• No clustering. Hubs-and-spokes.
• Potential for intermediaries in well-connected, homogenous groups.
• Tradeoff between security and efficiency.
Motivation Model Structural Implications Conclusion
Conclusion
• Lightning Network. Second layer on blockchain. Channels and links.
• Use channels only above frequency threshold.
• Channel costs: different orders for unidirectional and bidirectional.
• Structural implications from channel costs.
• No clustering. Hubs-and-spokes.
• Potential for intermediaries in well-connected, homogenous groups.
• Tradeoff between security and efficiency.
Motivation Model Structural Implications Conclusion
Conclusion
• Lightning Network. Second layer on blockchain. Channels and links.
• Use channels only above frequency threshold.
• Channel costs: different orders for unidirectional and bidirectional.
• Structural implications from channel costs.
• No clustering. Hubs-and-spokes.
• Potential for intermediaries in well-connected, homogenous groups.
• Tradeoff between security and efficiency.
Motivation Model Structural Implications Conclusion
Conclusion
• Lightning Network. Second layer on blockchain. Channels and links.
• Use channels only above frequency threshold.
• Channel costs: different orders for unidirectional and bidirectional.
• Structural implications from channel costs.
• No clustering. Hubs-and-spokes.
• Potential for intermediaries in well-connected, homogenous groups.
• Tradeoff between security and efficiency.
Motivation Model Structural Implications Conclusion
Thank You!
Questions?

More Related Content

What's hot

Sidechain talk
Sidechain talkSidechain talk
Sidechain talkjojva
 
Final presentation (1)
Final presentation (1)Final presentation (1)
Final presentation (1)BidisaBiswas1
 
Structured approach to blockchain and consensus techniques
Structured approach to blockchain and consensus techniquesStructured approach to blockchain and consensus techniques
Structured approach to blockchain and consensus techniquesVasiliy Suvorov
 
Blockchain And Cryptocurrency : How Blockchain And Cryptocurrency Relate To E...
Blockchain And Cryptocurrency : How Blockchain And Cryptocurrency Relate To E...Blockchain And Cryptocurrency : How Blockchain And Cryptocurrency Relate To E...
Blockchain And Cryptocurrency : How Blockchain And Cryptocurrency Relate To E...Blockchain Council
 
Bitcoin, Banking and the Blockchain
Bitcoin, Banking and the BlockchainBitcoin, Banking and the Blockchain
Bitcoin, Banking and the Blockchainseancarmody
 
Introduction to blockchain and cryptocurrency technologies
Introduction to blockchain and cryptocurrency technologiesIntroduction to blockchain and cryptocurrency technologies
Introduction to blockchain and cryptocurrency technologiesPaweł Wacławczyk
 
Architecture of the Hyperledger Blockchain Fabric - Christian Cachin - IBM Re...
Architecture of the Hyperledger Blockchain Fabric - Christian Cachin - IBM Re...Architecture of the Hyperledger Blockchain Fabric - Christian Cachin - IBM Re...
Architecture of the Hyperledger Blockchain Fabric - Christian Cachin - IBM Re...Romeo Kienzler
 
Ethereum wallet Intro 以太坊錢包介紹
Ethereum wallet Intro 以太坊錢包介紹Ethereum wallet Intro 以太坊錢包介紹
Ethereum wallet Intro 以太坊錢包介紹Nicholas Lin
 
Vilnius blockchain club 20170413 consensus
Vilnius blockchain club 20170413 consensusVilnius blockchain club 20170413 consensus
Vilnius blockchain club 20170413 consensusAudrius Ramoska
 
Introduction to blockchain
Introduction to blockchainIntroduction to blockchain
Introduction to blockchainPriyab Satoshi
 
Introduction to Consensus techniques
Introduction to Consensus techniques Introduction to Consensus techniques
Introduction to Consensus techniques Vasiliy Suvorov
 
BITCOIN presentation by SAINATH
BITCOIN presentation by SAINATHBITCOIN presentation by SAINATH
BITCOIN presentation by SAINATHSainathkalakonda1
 
Blockchain 101
Blockchain 101Blockchain 101
Blockchain 101Oded Noam
 
Metadata in the Blockchain: The OP_RETURN Explosion
Metadata in the Blockchain: The OP_RETURN ExplosionMetadata in the Blockchain: The OP_RETURN Explosion
Metadata in the Blockchain: The OP_RETURN ExplosionCoin Sciences Ltd
 

What's hot (20)

Sidechain talk
Sidechain talkSidechain talk
Sidechain talk
 
Final presentation (1)
Final presentation (1)Final presentation (1)
Final presentation (1)
 
Structured approach to blockchain and consensus techniques
Structured approach to blockchain and consensus techniquesStructured approach to blockchain and consensus techniques
Structured approach to blockchain and consensus techniques
 
Blockchain And Cryptocurrency : How Blockchain And Cryptocurrency Relate To E...
Blockchain And Cryptocurrency : How Blockchain And Cryptocurrency Relate To E...Blockchain And Cryptocurrency : How Blockchain And Cryptocurrency Relate To E...
Blockchain And Cryptocurrency : How Blockchain And Cryptocurrency Relate To E...
 
Bitcoin, Banking and the Blockchain
Bitcoin, Banking and the BlockchainBitcoin, Banking and the Blockchain
Bitcoin, Banking and the Blockchain
 
Intro into blockchain
Intro into blockchainIntro into blockchain
Intro into blockchain
 
Introduction to blockchain and cryptocurrency technologies
Introduction to blockchain and cryptocurrency technologiesIntroduction to blockchain and cryptocurrency technologies
Introduction to blockchain and cryptocurrency technologies
 
Architecture of the Hyperledger Blockchain Fabric - Christian Cachin - IBM Re...
Architecture of the Hyperledger Blockchain Fabric - Christian Cachin - IBM Re...Architecture of the Hyperledger Blockchain Fabric - Christian Cachin - IBM Re...
Architecture of the Hyperledger Blockchain Fabric - Christian Cachin - IBM Re...
 
Ethereum wallet Intro 以太坊錢包介紹
Ethereum wallet Intro 以太坊錢包介紹Ethereum wallet Intro 以太坊錢包介紹
Ethereum wallet Intro 以太坊錢包介紹
 
Blockchain 101
Blockchain 101Blockchain 101
Blockchain 101
 
Intro to Blockchain
Intro to BlockchainIntro to Blockchain
Intro to Blockchain
 
Dash Crypto Currency Intro for Techies
Dash Crypto Currency Intro for TechiesDash Crypto Currency Intro for Techies
Dash Crypto Currency Intro for Techies
 
Vilnius blockchain club 20170413 consensus
Vilnius blockchain club 20170413 consensusVilnius blockchain club 20170413 consensus
Vilnius blockchain club 20170413 consensus
 
Introduction to blockchain
Introduction to blockchainIntroduction to blockchain
Introduction to blockchain
 
Introduction to Consensus techniques
Introduction to Consensus techniques Introduction to Consensus techniques
Introduction to Consensus techniques
 
BITCOIN presentation by SAINATH
BITCOIN presentation by SAINATHBITCOIN presentation by SAINATH
BITCOIN presentation by SAINATH
 
Blockchain Technology
Blockchain TechnologyBlockchain Technology
Blockchain Technology
 
Blockchain 101
Blockchain 101Blockchain 101
Blockchain 101
 
Blockchain
BlockchainBlockchain
Blockchain
 
Metadata in the Blockchain: The OP_RETURN Explosion
Metadata in the Blockchain: The OP_RETURN ExplosionMetadata in the Blockchain: The OP_RETURN Explosion
Metadata in the Blockchain: The OP_RETURN Explosion
 

Similar to Lightning Network Economics: Channels

Bitcoin and the Rise of the Block Chains
Bitcoin and the Rise of the Block ChainsBitcoin and the Rise of the Block Chains
Bitcoin and the Rise of the Block ChainsDallas Kennedy
 
BIT COIN ,MINING & ATM
BIT COIN ,MINING & ATMBIT COIN ,MINING & ATM
BIT COIN ,MINING & ATMSumbal Jahan
 
Bitcoin, Blockchain, and current trends in China
Bitcoin, Blockchain, and current trends in ChinaBitcoin, Blockchain, and current trends in China
Bitcoin, Blockchain, and current trends in ChinaBenjamin Chodroff
 
Blockchain technology & it's application
Blockchain technology & it's applicationBlockchain technology & it's application
Blockchain technology & it's applicationBhushan Vidhate
 
Introduction to State Channels & Payment Channels
Introduction to State Channels & Payment ChannelsIntroduction to State Channels & Payment Channels
Introduction to State Channels & Payment ChannelsPriyab Satoshi
 
Bitcoin - An introduction to a decentralised and anonymous currency
Bitcoin - An introduction to a decentralised and anonymous currencyBitcoin - An introduction to a decentralised and anonymous currency
Bitcoin - An introduction to a decentralised and anonymous currencyAndyBrodieLocima
 
Blockchain & Cryptocurrencies Intro - July 2017
Blockchain & Cryptocurrencies Intro - July 2017Blockchain & Cryptocurrencies Intro - July 2017
Blockchain & Cryptocurrencies Intro - July 2017🔗Audrey Chaing
 
Idea To IPO Blockchain Slides
Idea To IPO Blockchain SlidesIdea To IPO Blockchain Slides
Idea To IPO Blockchain SlidesRoger Royse
 
Bitcoin and the future of cryptocurrency
Bitcoin and the future of cryptocurrencyBitcoin and the future of cryptocurrency
Bitcoin and the future of cryptocurrencyBen Hall
 
Blockchain - Presentacion Betabeers Galicia 10/12/2014
Blockchain - Presentacion Betabeers Galicia 10/12/2014Blockchain - Presentacion Betabeers Galicia 10/12/2014
Blockchain - Presentacion Betabeers Galicia 10/12/2014WeKCo Coworking
 
Study on Bitcoin - Technical & Legal Aspects (Presentation at Cyber Cell Gurg...
Study on Bitcoin - Technical & Legal Aspects (Presentation at Cyber Cell Gurg...Study on Bitcoin - Technical & Legal Aspects (Presentation at Cyber Cell Gurg...
Study on Bitcoin - Technical & Legal Aspects (Presentation at Cyber Cell Gurg...Lovey Jain
 
Introduction into blockchains and cryptocurrencies
Introduction into blockchains and cryptocurrenciesIntroduction into blockchains and cryptocurrencies
Introduction into blockchains and cryptocurrenciesSergey Ivliev
 
Overview of bitcoin
Overview of bitcoinOverview of bitcoin
Overview of bitcoinAbdul Nasir
 
Week 2 - Blockchain and Cryptocurrencies: Key Technical (and Historical) Conc...
Week 2 - Blockchain and Cryptocurrencies: Key Technical (and Historical) Conc...Week 2 - Blockchain and Cryptocurrencies: Key Technical (and Historical) Conc...
Week 2 - Blockchain and Cryptocurrencies: Key Technical (and Historical) Conc...Roger Royse
 
Blockchain for Business Yale School of Management Dr John Maheswaran
Blockchain for Business Yale School of Management Dr John MaheswaranBlockchain for Business Yale School of Management Dr John Maheswaran
Blockchain for Business Yale School of Management Dr John MaheswaranJohn M.
 
Landgate Presentation on Blockchain
Landgate Presentation on BlockchainLandgate Presentation on Blockchain
Landgate Presentation on BlockchainJunran Cao
 

Similar to Lightning Network Economics: Channels (20)

Bitcoin and the Rise of the Block Chains
Bitcoin and the Rise of the Block ChainsBitcoin and the Rise of the Block Chains
Bitcoin and the Rise of the Block Chains
 
BIT COIN ,MINING & ATM
BIT COIN ,MINING & ATMBIT COIN ,MINING & ATM
BIT COIN ,MINING & ATM
 
Bitcoin, Blockchain, and current trends in China
Bitcoin, Blockchain, and current trends in ChinaBitcoin, Blockchain, and current trends in China
Bitcoin, Blockchain, and current trends in China
 
BITCOIN EXPLAINED
BITCOIN EXPLAINEDBITCOIN EXPLAINED
BITCOIN EXPLAINED
 
Blockchain technology & it's application
Blockchain technology & it's applicationBlockchain technology & it's application
Blockchain technology & it's application
 
Bitcoin I.pptx
Bitcoin I.pptxBitcoin I.pptx
Bitcoin I.pptx
 
Introduction to State Channels & Payment Channels
Introduction to State Channels & Payment ChannelsIntroduction to State Channels & Payment Channels
Introduction to State Channels & Payment Channels
 
Bitcoin - An introduction to a decentralised and anonymous currency
Bitcoin - An introduction to a decentralised and anonymous currencyBitcoin - An introduction to a decentralised and anonymous currency
Bitcoin - An introduction to a decentralised and anonymous currency
 
Blockchain & Cryptocurrencies Intro - July 2017
Blockchain & Cryptocurrencies Intro - July 2017Blockchain & Cryptocurrencies Intro - July 2017
Blockchain & Cryptocurrencies Intro - July 2017
 
Idea To IPO Blockchain Slides
Idea To IPO Blockchain SlidesIdea To IPO Blockchain Slides
Idea To IPO Blockchain Slides
 
Bitcoin and the future of cryptocurrency
Bitcoin and the future of cryptocurrencyBitcoin and the future of cryptocurrency
Bitcoin and the future of cryptocurrency
 
Blockchain - Presentacion Betabeers Galicia 10/12/2014
Blockchain - Presentacion Betabeers Galicia 10/12/2014Blockchain - Presentacion Betabeers Galicia 10/12/2014
Blockchain - Presentacion Betabeers Galicia 10/12/2014
 
Study on Bitcoin - Technical & Legal Aspects (Presentation at Cyber Cell Gurg...
Study on Bitcoin - Technical & Legal Aspects (Presentation at Cyber Cell Gurg...Study on Bitcoin - Technical & Legal Aspects (Presentation at Cyber Cell Gurg...
Study on Bitcoin - Technical & Legal Aspects (Presentation at Cyber Cell Gurg...
 
Blockchain
BlockchainBlockchain
Blockchain
 
Introduction into blockchains and cryptocurrencies
Introduction into blockchains and cryptocurrenciesIntroduction into blockchains and cryptocurrencies
Introduction into blockchains and cryptocurrencies
 
Overview of bitcoin
Overview of bitcoinOverview of bitcoin
Overview of bitcoin
 
Week 2 - Blockchain and Cryptocurrencies: Key Technical (and Historical) Conc...
Week 2 - Blockchain and Cryptocurrencies: Key Technical (and Historical) Conc...Week 2 - Blockchain and Cryptocurrencies: Key Technical (and Historical) Conc...
Week 2 - Blockchain and Cryptocurrencies: Key Technical (and Historical) Conc...
 
01 what is blockchain
01 what is blockchain01 what is blockchain
01 what is blockchain
 
Blockchain for Business Yale School of Management Dr John Maheswaran
Blockchain for Business Yale School of Management Dr John MaheswaranBlockchain for Business Yale School of Management Dr John Maheswaran
Blockchain for Business Yale School of Management Dr John Maheswaran
 
Landgate Presentation on Blockchain
Landgate Presentation on BlockchainLandgate Presentation on Blockchain
Landgate Presentation on Blockchain
 

More from guasoni

Rogue Traders
Rogue TradersRogue Traders
Rogue Tradersguasoni
 
American Student Loans
American Student LoansAmerican Student Loans
American Student Loansguasoni
 
Incomplete-Market Equilibrium with Unhedgeable Fundamentals and Heterogeneous...
Incomplete-Market Equilibrium with Unhedgeable Fundamentals and Heterogeneous...Incomplete-Market Equilibrium with Unhedgeable Fundamentals and Heterogeneous...
Incomplete-Market Equilibrium with Unhedgeable Fundamentals and Heterogeneous...guasoni
 
Reference Dependence: Endogenous Anchors and Life-Cycle Investing
Reference Dependence: Endogenous Anchors and Life-Cycle InvestingReference Dependence: Endogenous Anchors and Life-Cycle Investing
Reference Dependence: Endogenous Anchors and Life-Cycle Investingguasoni
 
Sharing Profits in the Sharing Economy
Sharing Profits in the Sharing EconomySharing Profits in the Sharing Economy
Sharing Profits in the Sharing Economyguasoni
 
Should Commodity Investors Follow Commodities' Prices?
Should Commodity Investors Follow Commodities' Prices?Should Commodity Investors Follow Commodities' Prices?
Should Commodity Investors Follow Commodities' Prices?guasoni
 
Asset Prices in Segmented and Integrated Markets
Asset Prices in Segmented and Integrated MarketsAsset Prices in Segmented and Integrated Markets
Asset Prices in Segmented and Integrated Marketsguasoni
 
Options Portfolio Selection
Options Portfolio SelectionOptions Portfolio Selection
Options Portfolio Selectionguasoni
 
Healthcare and Consumption with Aging
Healthcare and Consumption with AgingHealthcare and Consumption with Aging
Healthcare and Consumption with Agingguasoni
 
Leveraged ETFs Performance Evaluation
Leveraged ETFs Performance EvaluationLeveraged ETFs Performance Evaluation
Leveraged ETFs Performance Evaluationguasoni
 
Who Should Sell Stocks?
Who Should Sell Stocks?Who Should Sell Stocks?
Who Should Sell Stocks?guasoni
 
Nonlinear Price Impact and Portfolio Choice
Nonlinear Price Impact and Portfolio ChoiceNonlinear Price Impact and Portfolio Choice
Nonlinear Price Impact and Portfolio Choiceguasoni
 
Hedging, Arbitrage, and Optimality with Superlinear Frictions
Hedging, Arbitrage, and Optimality with Superlinear FrictionsHedging, Arbitrage, and Optimality with Superlinear Frictions
Hedging, Arbitrage, and Optimality with Superlinear Frictionsguasoni
 
Shortfall Aversion
Shortfall AversionShortfall Aversion
Shortfall Aversionguasoni
 
The Limits of Leverage
The Limits of LeverageThe Limits of Leverage
The Limits of Leverageguasoni
 
Spending and Investment for Shortfall-Averse Endowments
Spending and Investment for Shortfall-Averse EndowmentsSpending and Investment for Shortfall-Averse Endowments
Spending and Investment for Shortfall-Averse Endowmentsguasoni
 
UT Austin - Portugal Lectures on Portfolio Choice
UT Austin - Portugal Lectures on Portfolio ChoiceUT Austin - Portugal Lectures on Portfolio Choice
UT Austin - Portugal Lectures on Portfolio Choiceguasoni
 
Dynamic Trading Volume
Dynamic Trading VolumeDynamic Trading Volume
Dynamic Trading Volumeguasoni
 
Transaction Costs Made Tractable
Transaction Costs Made TractableTransaction Costs Made Tractable
Transaction Costs Made Tractableguasoni
 
Abstract, Classic, and Explicit Turnpikes
Abstract, Classic, and Explicit TurnpikesAbstract, Classic, and Explicit Turnpikes
Abstract, Classic, and Explicit Turnpikesguasoni
 

More from guasoni (20)

Rogue Traders
Rogue TradersRogue Traders
Rogue Traders
 
American Student Loans
American Student LoansAmerican Student Loans
American Student Loans
 
Incomplete-Market Equilibrium with Unhedgeable Fundamentals and Heterogeneous...
Incomplete-Market Equilibrium with Unhedgeable Fundamentals and Heterogeneous...Incomplete-Market Equilibrium with Unhedgeable Fundamentals and Heterogeneous...
Incomplete-Market Equilibrium with Unhedgeable Fundamentals and Heterogeneous...
 
Reference Dependence: Endogenous Anchors and Life-Cycle Investing
Reference Dependence: Endogenous Anchors and Life-Cycle InvestingReference Dependence: Endogenous Anchors and Life-Cycle Investing
Reference Dependence: Endogenous Anchors and Life-Cycle Investing
 
Sharing Profits in the Sharing Economy
Sharing Profits in the Sharing EconomySharing Profits in the Sharing Economy
Sharing Profits in the Sharing Economy
 
Should Commodity Investors Follow Commodities' Prices?
Should Commodity Investors Follow Commodities' Prices?Should Commodity Investors Follow Commodities' Prices?
Should Commodity Investors Follow Commodities' Prices?
 
Asset Prices in Segmented and Integrated Markets
Asset Prices in Segmented and Integrated MarketsAsset Prices in Segmented and Integrated Markets
Asset Prices in Segmented and Integrated Markets
 
Options Portfolio Selection
Options Portfolio SelectionOptions Portfolio Selection
Options Portfolio Selection
 
Healthcare and Consumption with Aging
Healthcare and Consumption with AgingHealthcare and Consumption with Aging
Healthcare and Consumption with Aging
 
Leveraged ETFs Performance Evaluation
Leveraged ETFs Performance EvaluationLeveraged ETFs Performance Evaluation
Leveraged ETFs Performance Evaluation
 
Who Should Sell Stocks?
Who Should Sell Stocks?Who Should Sell Stocks?
Who Should Sell Stocks?
 
Nonlinear Price Impact and Portfolio Choice
Nonlinear Price Impact and Portfolio ChoiceNonlinear Price Impact and Portfolio Choice
Nonlinear Price Impact and Portfolio Choice
 
Hedging, Arbitrage, and Optimality with Superlinear Frictions
Hedging, Arbitrage, and Optimality with Superlinear FrictionsHedging, Arbitrage, and Optimality with Superlinear Frictions
Hedging, Arbitrage, and Optimality with Superlinear Frictions
 
Shortfall Aversion
Shortfall AversionShortfall Aversion
Shortfall Aversion
 
The Limits of Leverage
The Limits of LeverageThe Limits of Leverage
The Limits of Leverage
 
Spending and Investment for Shortfall-Averse Endowments
Spending and Investment for Shortfall-Averse EndowmentsSpending and Investment for Shortfall-Averse Endowments
Spending and Investment for Shortfall-Averse Endowments
 
UT Austin - Portugal Lectures on Portfolio Choice
UT Austin - Portugal Lectures on Portfolio ChoiceUT Austin - Portugal Lectures on Portfolio Choice
UT Austin - Portugal Lectures on Portfolio Choice
 
Dynamic Trading Volume
Dynamic Trading VolumeDynamic Trading Volume
Dynamic Trading Volume
 
Transaction Costs Made Tractable
Transaction Costs Made TractableTransaction Costs Made Tractable
Transaction Costs Made Tractable
 
Abstract, Classic, and Explicit Turnpikes
Abstract, Classic, and Explicit TurnpikesAbstract, Classic, and Explicit Turnpikes
Abstract, Classic, and Explicit Turnpikes
 

Recently uploaded

The Triple Threat | Article on Global Resession | Harsh Kumar
The Triple Threat | Article on Global Resession | Harsh KumarThe Triple Threat | Article on Global Resession | Harsh Kumar
The Triple Threat | Article on Global Resession | Harsh KumarHarsh Kumar
 
Bladex 1Q24 Earning Results Presentation
Bladex 1Q24 Earning Results PresentationBladex 1Q24 Earning Results Presentation
Bladex 1Q24 Earning Results PresentationBladex
 
VIP Call Girls LB Nagar ( Hyderabad ) Phone 8250192130 | ₹5k To 25k With Room...
VIP Call Girls LB Nagar ( Hyderabad ) Phone 8250192130 | ₹5k To 25k With Room...VIP Call Girls LB Nagar ( Hyderabad ) Phone 8250192130 | ₹5k To 25k With Room...
VIP Call Girls LB Nagar ( Hyderabad ) Phone 8250192130 | ₹5k To 25k With Room...Suhani Kapoor
 
Instant Issue Debit Cards - School Designs
Instant Issue Debit Cards - School DesignsInstant Issue Debit Cards - School Designs
Instant Issue Debit Cards - School Designsegoetzinger
 
Call Girls In Yusuf Sarai Women Seeking Men 9654467111
Call Girls In Yusuf Sarai Women Seeking Men 9654467111Call Girls In Yusuf Sarai Women Seeking Men 9654467111
Call Girls In Yusuf Sarai Women Seeking Men 9654467111Sapana Sha
 
Attachment Of Assets......................
Attachment Of Assets......................Attachment Of Assets......................
Attachment Of Assets......................AmanBajaj36
 
Andheri Call Girls In 9825968104 Mumbai Hot Models
Andheri Call Girls In 9825968104 Mumbai Hot ModelsAndheri Call Girls In 9825968104 Mumbai Hot Models
Andheri Call Girls In 9825968104 Mumbai Hot Modelshematsharma006
 
Lundin Gold April 2024 Corporate Presentation v4.pdf
Lundin Gold April 2024 Corporate Presentation v4.pdfLundin Gold April 2024 Corporate Presentation v4.pdf
Lundin Gold April 2024 Corporate Presentation v4.pdfAdnet Communications
 
call girls in Nand Nagri (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in  Nand Nagri (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️call girls in  Nand Nagri (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in Nand Nagri (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️9953056974 Low Rate Call Girls In Saket, Delhi NCR
 
VIP High Class Call Girls Saharanpur Anushka 8250192130 Independent Escort Se...
VIP High Class Call Girls Saharanpur Anushka 8250192130 Independent Escort Se...VIP High Class Call Girls Saharanpur Anushka 8250192130 Independent Escort Se...
VIP High Class Call Girls Saharanpur Anushka 8250192130 Independent Escort Se...Suhani Kapoor
 
Financial Leverage Definition, Advantages, and Disadvantages
Financial Leverage Definition, Advantages, and DisadvantagesFinancial Leverage Definition, Advantages, and Disadvantages
Financial Leverage Definition, Advantages, and Disadvantagesjayjaymabutot13
 
government_intervention_in_business_ownership[1].pdf
government_intervention_in_business_ownership[1].pdfgovernment_intervention_in_business_ownership[1].pdf
government_intervention_in_business_ownership[1].pdfshaunmashale756
 
20240417-Calibre-April-2024-Investor-Presentation.pdf
20240417-Calibre-April-2024-Investor-Presentation.pdf20240417-Calibre-April-2024-Investor-Presentation.pdf
20240417-Calibre-April-2024-Investor-Presentation.pdfAdnet Communications
 
VIP Kolkata Call Girl Jodhpur Park 👉 8250192130 Available With Room
VIP Kolkata Call Girl Jodhpur Park 👉 8250192130  Available With RoomVIP Kolkata Call Girl Jodhpur Park 👉 8250192130  Available With Room
VIP Kolkata Call Girl Jodhpur Park 👉 8250192130 Available With Roomdivyansh0kumar0
 
(办理学位证)加拿大萨省大学毕业证成绩单原版一比一
(办理学位证)加拿大萨省大学毕业证成绩单原版一比一(办理学位证)加拿大萨省大学毕业证成绩单原版一比一
(办理学位证)加拿大萨省大学毕业证成绩单原版一比一S SDS
 
House of Commons ; CDC schemes overview document
House of Commons ; CDC schemes overview documentHouse of Commons ; CDC schemes overview document
House of Commons ; CDC schemes overview documentHenry Tapper
 
SBP-Market-Operations and market managment
SBP-Market-Operations and market managmentSBP-Market-Operations and market managment
SBP-Market-Operations and market managmentfactical
 

Recently uploaded (20)

The Triple Threat | Article on Global Resession | Harsh Kumar
The Triple Threat | Article on Global Resession | Harsh KumarThe Triple Threat | Article on Global Resession | Harsh Kumar
The Triple Threat | Article on Global Resession | Harsh Kumar
 
Bladex 1Q24 Earning Results Presentation
Bladex 1Q24 Earning Results PresentationBladex 1Q24 Earning Results Presentation
Bladex 1Q24 Earning Results Presentation
 
🔝+919953056974 🔝young Delhi Escort service Pusa Road
🔝+919953056974 🔝young Delhi Escort service Pusa Road🔝+919953056974 🔝young Delhi Escort service Pusa Road
🔝+919953056974 🔝young Delhi Escort service Pusa Road
 
VIP Call Girls LB Nagar ( Hyderabad ) Phone 8250192130 | ₹5k To 25k With Room...
VIP Call Girls LB Nagar ( Hyderabad ) Phone 8250192130 | ₹5k To 25k With Room...VIP Call Girls LB Nagar ( Hyderabad ) Phone 8250192130 | ₹5k To 25k With Room...
VIP Call Girls LB Nagar ( Hyderabad ) Phone 8250192130 | ₹5k To 25k With Room...
 
Instant Issue Debit Cards - School Designs
Instant Issue Debit Cards - School DesignsInstant Issue Debit Cards - School Designs
Instant Issue Debit Cards - School Designs
 
Call Girls In Yusuf Sarai Women Seeking Men 9654467111
Call Girls In Yusuf Sarai Women Seeking Men 9654467111Call Girls In Yusuf Sarai Women Seeking Men 9654467111
Call Girls In Yusuf Sarai Women Seeking Men 9654467111
 
Attachment Of Assets......................
Attachment Of Assets......................Attachment Of Assets......................
Attachment Of Assets......................
 
Commercial Bank Economic Capsule - April 2024
Commercial Bank Economic Capsule - April 2024Commercial Bank Economic Capsule - April 2024
Commercial Bank Economic Capsule - April 2024
 
Andheri Call Girls In 9825968104 Mumbai Hot Models
Andheri Call Girls In 9825968104 Mumbai Hot ModelsAndheri Call Girls In 9825968104 Mumbai Hot Models
Andheri Call Girls In 9825968104 Mumbai Hot Models
 
Monthly Economic Monitoring of Ukraine No 231, April 2024
Monthly Economic Monitoring of Ukraine No 231, April 2024Monthly Economic Monitoring of Ukraine No 231, April 2024
Monthly Economic Monitoring of Ukraine No 231, April 2024
 
Lundin Gold April 2024 Corporate Presentation v4.pdf
Lundin Gold April 2024 Corporate Presentation v4.pdfLundin Gold April 2024 Corporate Presentation v4.pdf
Lundin Gold April 2024 Corporate Presentation v4.pdf
 
call girls in Nand Nagri (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in  Nand Nagri (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️call girls in  Nand Nagri (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in Nand Nagri (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
 
VIP High Class Call Girls Saharanpur Anushka 8250192130 Independent Escort Se...
VIP High Class Call Girls Saharanpur Anushka 8250192130 Independent Escort Se...VIP High Class Call Girls Saharanpur Anushka 8250192130 Independent Escort Se...
VIP High Class Call Girls Saharanpur Anushka 8250192130 Independent Escort Se...
 
Financial Leverage Definition, Advantages, and Disadvantages
Financial Leverage Definition, Advantages, and DisadvantagesFinancial Leverage Definition, Advantages, and Disadvantages
Financial Leverage Definition, Advantages, and Disadvantages
 
government_intervention_in_business_ownership[1].pdf
government_intervention_in_business_ownership[1].pdfgovernment_intervention_in_business_ownership[1].pdf
government_intervention_in_business_ownership[1].pdf
 
20240417-Calibre-April-2024-Investor-Presentation.pdf
20240417-Calibre-April-2024-Investor-Presentation.pdf20240417-Calibre-April-2024-Investor-Presentation.pdf
20240417-Calibre-April-2024-Investor-Presentation.pdf
 
VIP Kolkata Call Girl Jodhpur Park 👉 8250192130 Available With Room
VIP Kolkata Call Girl Jodhpur Park 👉 8250192130  Available With RoomVIP Kolkata Call Girl Jodhpur Park 👉 8250192130  Available With Room
VIP Kolkata Call Girl Jodhpur Park 👉 8250192130 Available With Room
 
(办理学位证)加拿大萨省大学毕业证成绩单原版一比一
(办理学位证)加拿大萨省大学毕业证成绩单原版一比一(办理学位证)加拿大萨省大学毕业证成绩单原版一比一
(办理学位证)加拿大萨省大学毕业证成绩单原版一比一
 
House of Commons ; CDC schemes overview document
House of Commons ; CDC schemes overview documentHouse of Commons ; CDC schemes overview document
House of Commons ; CDC schemes overview document
 
SBP-Market-Operations and market managment
SBP-Market-Operations and market managmentSBP-Market-Operations and market managment
SBP-Market-Operations and market managment
 

Lightning Network Economics: Channels

  • 1. Motivation Model Structural Implications Conclusion The Cost of Lightning Network Channels and Implications for Network Structure Paolo Guasoni1 Gur Huberman2 Clara Shikhelman3 Dublin City University1 Columbia Business School2 Chaincode Labs3 SIAM Activity Group on Financial Mathematics and Engineering Virtual Seminar, August 20th , 2020
  • 2. Motivation Model Structural Implications Conclusion Outline • Motivation: Bitcoin’s Limitations. Scale and Immediacy. • Model: Stationary Payment Flows. • Results: Channel Costs and Structural Implications
  • 3. Motivation Model Structural Implications Conclusion Outline • Motivation: Bitcoin’s Limitations. Scale and Immediacy. • Model: Stationary Payment Flows. • Results: Channel Costs and Structural Implications
  • 4. Motivation Model Structural Implications Conclusion Outline • Motivation: Bitcoin’s Limitations. Scale and Immediacy. • Model: Stationary Payment Flows. • Results: Channel Costs and Structural Implications
  • 5. Motivation Model Structural Implications Conclusion Bitcoin • Bitcoin: anonymous decentralized payment system. • Public ledger (“blockchain”). No trusted parties. • Any user can help processing payments (“mining”). • New block of transactions added to blockchain about every 10 minutes. • Each block contains about 2000 transactions. • Lottery among miners decides who will add the next block. • Winning miner rewarded with Bitcoin.
  • 6. Motivation Model Structural Implications Conclusion Bitcoin • Bitcoin: anonymous decentralized payment system. • Public ledger (“blockchain”). No trusted parties. • Any user can help processing payments (“mining”). • New block of transactions added to blockchain about every 10 minutes. • Each block contains about 2000 transactions. • Lottery among miners decides who will add the next block. • Winning miner rewarded with Bitcoin.
  • 7. Motivation Model Structural Implications Conclusion Bitcoin • Bitcoin: anonymous decentralized payment system. • Public ledger (“blockchain”). No trusted parties. • Any user can help processing payments (“mining”). • New block of transactions added to blockchain about every 10 minutes. • Each block contains about 2000 transactions. • Lottery among miners decides who will add the next block. • Winning miner rewarded with Bitcoin.
  • 8. Motivation Model Structural Implications Conclusion Bitcoin • Bitcoin: anonymous decentralized payment system. • Public ledger (“blockchain”). No trusted parties. • Any user can help processing payments (“mining”). • New block of transactions added to blockchain about every 10 minutes. • Each block contains about 2000 transactions. • Lottery among miners decides who will add the next block. • Winning miner rewarded with Bitcoin.
  • 9. Motivation Model Structural Implications Conclusion Bitcoin • Bitcoin: anonymous decentralized payment system. • Public ledger (“blockchain”). No trusted parties. • Any user can help processing payments (“mining”). • New block of transactions added to blockchain about every 10 minutes. • Each block contains about 2000 transactions. • Lottery among miners decides who will add the next block. • Winning miner rewarded with Bitcoin.
  • 10. Motivation Model Structural Implications Conclusion Bitcoin • Bitcoin: anonymous decentralized payment system. • Public ledger (“blockchain”). No trusted parties. • Any user can help processing payments (“mining”). • New block of transactions added to blockchain about every 10 minutes. • Each block contains about 2000 transactions. • Lottery among miners decides who will add the next block. • Winning miner rewarded with Bitcoin.
  • 11. Motivation Model Structural Implications Conclusion Bitcoin • Bitcoin: anonymous decentralized payment system. • Public ledger (“blockchain”). No trusted parties. • Any user can help processing payments (“mining”). • New block of transactions added to blockchain about every 10 minutes. • Each block contains about 2000 transactions. • Lottery among miners decides who will add the next block. • Winning miner rewarded with Bitcoin.
  • 12. Motivation Model Structural Implications Conclusion Limits of Bitcoin • Scale: No more than 3 to 4 transactions per second, regardless of size. Limit imposed by design. • Immediacy: At least ten minutes required to confirm transaction. Transaction secure typically in an hour (to rule out potential forks).
  • 13. Motivation Model Structural Implications Conclusion Limits of Bitcoin • Scale: No more than 3 to 4 transactions per second, regardless of size. Limit imposed by design. • Immediacy: At least ten minutes required to confirm transaction. Transaction secure typically in an hour (to rule out potential forks).
  • 14. Motivation Model Structural Implications Conclusion Lightning Network: Channels • Main Idea: Not all transactions need to happen on the blockchain. • If Alice and Bob transact often, they establish a private ledger (channel). • Each of them deposits some Bitcoin as escrow in the channel. • Alice pays Bob by signing a message agreeing to an updated balance. • When the deposit of either party is depleted, the balance is transferred to the other party – in the blockchain. • Either party can retrieve its balance early, unilaterally closing the channel. • These features are implemented through a cryptographic protocol.
  • 15. Motivation Model Structural Implications Conclusion Lightning Network: Channels • Main Idea: Not all transactions need to happen on the blockchain. • If Alice and Bob transact often, they establish a private ledger (channel). • Each of them deposits some Bitcoin as escrow in the channel. • Alice pays Bob by signing a message agreeing to an updated balance. • When the deposit of either party is depleted, the balance is transferred to the other party – in the blockchain. • Either party can retrieve its balance early, unilaterally closing the channel. • These features are implemented through a cryptographic protocol.
  • 16. Motivation Model Structural Implications Conclusion Lightning Network: Channels • Main Idea: Not all transactions need to happen on the blockchain. • If Alice and Bob transact often, they establish a private ledger (channel). • Each of them deposits some Bitcoin as escrow in the channel. • Alice pays Bob by signing a message agreeing to an updated balance. • When the deposit of either party is depleted, the balance is transferred to the other party – in the blockchain. • Either party can retrieve its balance early, unilaterally closing the channel. • These features are implemented through a cryptographic protocol.
  • 17. Motivation Model Structural Implications Conclusion Lightning Network: Channels • Main Idea: Not all transactions need to happen on the blockchain. • If Alice and Bob transact often, they establish a private ledger (channel). • Each of them deposits some Bitcoin as escrow in the channel. • Alice pays Bob by signing a message agreeing to an updated balance. • When the deposit of either party is depleted, the balance is transferred to the other party – in the blockchain. • Either party can retrieve its balance early, unilaterally closing the channel. • These features are implemented through a cryptographic protocol.
  • 18. Motivation Model Structural Implications Conclusion Lightning Network: Channels • Main Idea: Not all transactions need to happen on the blockchain. • If Alice and Bob transact often, they establish a private ledger (channel). • Each of them deposits some Bitcoin as escrow in the channel. • Alice pays Bob by signing a message agreeing to an updated balance. • When the deposit of either party is depleted, the balance is transferred to the other party – in the blockchain. • Either party can retrieve its balance early, unilaterally closing the channel. • These features are implemented through a cryptographic protocol.
  • 19. Motivation Model Structural Implications Conclusion Lightning Network: Channels • Main Idea: Not all transactions need to happen on the blockchain. • If Alice and Bob transact often, they establish a private ledger (channel). • Each of them deposits some Bitcoin as escrow in the channel. • Alice pays Bob by signing a message agreeing to an updated balance. • When the deposit of either party is depleted, the balance is transferred to the other party – in the blockchain. • Either party can retrieve its balance early, unilaterally closing the channel. • These features are implemented through a cryptographic protocol.
  • 20. Motivation Model Structural Implications Conclusion Lightning Network: Channels • Main Idea: Not all transactions need to happen on the blockchain. • If Alice and Bob transact often, they establish a private ledger (channel). • Each of them deposits some Bitcoin as escrow in the channel. • Alice pays Bob by signing a message agreeing to an updated balance. • When the deposit of either party is depleted, the balance is transferred to the other party – in the blockchain. • Either party can retrieve its balance early, unilaterally closing the channel. • These features are implemented through a cryptographic protocol.
  • 21. Motivation Model Structural Implications Conclusion Lightning Network: Links • Alice has a channel with Bob. Bob has a channel with Charlie. • Alice can pay Charlie through Bob. • Cryptographic protocol. Can handle longer paths. • Bob may be better or worse off after transaction. • Bob could charge a fee for facilitating the transaction.
  • 22. Motivation Model Structural Implications Conclusion Lightning Network: Links • Alice has a channel with Bob. Bob has a channel with Charlie. • Alice can pay Charlie through Bob. • Cryptographic protocol. Can handle longer paths. • Bob may be better or worse off after transaction. • Bob could charge a fee for facilitating the transaction.
  • 23. Motivation Model Structural Implications Conclusion Lightning Network: Links • Alice has a channel with Bob. Bob has a channel with Charlie. • Alice can pay Charlie through Bob. • Cryptographic protocol. Can handle longer paths. • Bob may be better or worse off after transaction. • Bob could charge a fee for facilitating the transaction.
  • 24. Motivation Model Structural Implications Conclusion Lightning Network: Links • Alice has a channel with Bob. Bob has a channel with Charlie. • Alice can pay Charlie through Bob. • Cryptographic protocol. Can handle longer paths. • Bob may be better or worse off after transaction. • Bob could charge a fee for facilitating the transaction.
  • 25. Motivation Model Structural Implications Conclusion Lightning Network: Links • Alice has a channel with Bob. Bob has a channel with Charlie. • Alice can pay Charlie through Bob. • Cryptographic protocol. Can handle longer paths. • Bob may be better or worse off after transaction. • Bob could charge a fee for facilitating the transaction.
  • 26. Motivation Model Structural Implications Conclusion Questions • Which channels should be opened? • How much should each party deposit? • What is the minimal cost of a channel? • What are the implications for network structure?
  • 27. Motivation Model Structural Implications Conclusion Questions • Which channels should be opened? • How much should each party deposit? • What is the minimal cost of a channel? • What are the implications for network structure?
  • 28. Motivation Model Structural Implications Conclusion Questions • Which channels should be opened? • How much should each party deposit? • What is the minimal cost of a channel? • What are the implications for network structure?
  • 29. Motivation Model Structural Implications Conclusion Questions • Which channels should be opened? • How much should each party deposit? • What is the minimal cost of a channel? • What are the implications for network structure?
  • 30. Motivation Model Structural Implications Conclusion Channel Model (i) Two users, 1 and 2. (ii) User 1 pays user 2 at Poisson arrival times with rate λ1. User 2 pays user 1 at Poisson arrival times with rate λ2. (iii) The two Poisson processes are independent. All payments are of one unit. (Inessential but simplifying assumption.) (iv) User 1 commits l1 to the channel. User 2 commits l2. (v) Stationary: when one channel is depleted, an identical one replaces it. • Transaction cost: An on-chain transaction entails a cost of B, regardless of size. • Opportunity cost: Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest. • unidirectional channel if λ1 = 0 or λ2 = 0.
  • 31. Motivation Model Structural Implications Conclusion Channel Model (i) Two users, 1 and 2. (ii) User 1 pays user 2 at Poisson arrival times with rate λ1. User 2 pays user 1 at Poisson arrival times with rate λ2. (iii) The two Poisson processes are independent. All payments are of one unit. (Inessential but simplifying assumption.) (iv) User 1 commits l1 to the channel. User 2 commits l2. (v) Stationary: when one channel is depleted, an identical one replaces it. • Transaction cost: An on-chain transaction entails a cost of B, regardless of size. • Opportunity cost: Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest. • unidirectional channel if λ1 = 0 or λ2 = 0.
  • 32. Motivation Model Structural Implications Conclusion Channel Model (i) Two users, 1 and 2. (ii) User 1 pays user 2 at Poisson arrival times with rate λ1. User 2 pays user 1 at Poisson arrival times with rate λ2. (iii) The two Poisson processes are independent. All payments are of one unit. (Inessential but simplifying assumption.) (iv) User 1 commits l1 to the channel. User 2 commits l2. (v) Stationary: when one channel is depleted, an identical one replaces it. • Transaction cost: An on-chain transaction entails a cost of B, regardless of size. • Opportunity cost: Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest. • unidirectional channel if λ1 = 0 or λ2 = 0.
  • 33. Motivation Model Structural Implications Conclusion Channel Model (i) Two users, 1 and 2. (ii) User 1 pays user 2 at Poisson arrival times with rate λ1. User 2 pays user 1 at Poisson arrival times with rate λ2. (iii) The two Poisson processes are independent. All payments are of one unit. (Inessential but simplifying assumption.) (iv) User 1 commits l1 to the channel. User 2 commits l2. (v) Stationary: when one channel is depleted, an identical one replaces it. • Transaction cost: An on-chain transaction entails a cost of B, regardless of size. • Opportunity cost: Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest. • unidirectional channel if λ1 = 0 or λ2 = 0.
  • 34. Motivation Model Structural Implications Conclusion Channel Model (i) Two users, 1 and 2. (ii) User 1 pays user 2 at Poisson arrival times with rate λ1. User 2 pays user 1 at Poisson arrival times with rate λ2. (iii) The two Poisson processes are independent. All payments are of one unit. (Inessential but simplifying assumption.) (iv) User 1 commits l1 to the channel. User 2 commits l2. (v) Stationary: when one channel is depleted, an identical one replaces it. • Transaction cost: An on-chain transaction entails a cost of B, regardless of size. • Opportunity cost: Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest. • unidirectional channel if λ1 = 0 or λ2 = 0.
  • 35. Motivation Model Structural Implications Conclusion Channel Model (i) Two users, 1 and 2. (ii) User 1 pays user 2 at Poisson arrival times with rate λ1. User 2 pays user 1 at Poisson arrival times with rate λ2. (iii) The two Poisson processes are independent. All payments are of one unit. (Inessential but simplifying assumption.) (iv) User 1 commits l1 to the channel. User 2 commits l2. (v) Stationary: when one channel is depleted, an identical one replaces it. • Transaction cost: An on-chain transaction entails a cost of B, regardless of size. • Opportunity cost: Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest. • unidirectional channel if λ1 = 0 or λ2 = 0.
  • 36. Motivation Model Structural Implications Conclusion Channel Model (i) Two users, 1 and 2. (ii) User 1 pays user 2 at Poisson arrival times with rate λ1. User 2 pays user 1 at Poisson arrival times with rate λ2. (iii) The two Poisson processes are independent. All payments are of one unit. (Inessential but simplifying assumption.) (iv) User 1 commits l1 to the channel. User 2 commits l2. (v) Stationary: when one channel is depleted, an identical one replaces it. • Transaction cost: An on-chain transaction entails a cost of B, regardless of size. • Opportunity cost: Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest. • unidirectional channel if λ1 = 0 or λ2 = 0.
  • 37. Motivation Model Structural Implications Conclusion Channel Model (i) Two users, 1 and 2. (ii) User 1 pays user 2 at Poisson arrival times with rate λ1. User 2 pays user 1 at Poisson arrival times with rate λ2. (iii) The two Poisson processes are independent. All payments are of one unit. (Inessential but simplifying assumption.) (iv) User 1 commits l1 to the channel. User 2 commits l2. (v) Stationary: when one channel is depleted, an identical one replaces it. • Transaction cost: An on-chain transaction entails a cost of B, regardless of size. • Opportunity cost: Locking l1 + l2 in the channel for dt foregoes r(l1 + l2)dt in interest. • unidirectional channel if λ1 = 0 or λ2 = 0.
  • 38. Motivation Model Structural Implications Conclusion Tradeoff • Higher deposit implies lower costs from on-chain transactions. Lower deposit implies lower opportunity costs (lost interest rate). • Demand for cash models: Baumol (1952), Tobin (1956): deterministic spending (unidirectional). Miller and Orr (1966): random balance fluctuations (bidirectional). • Portfolio choice with transaction costs: Constantinides (1986), Davis and Norman (1990), and many others. Costs of transactions vs. displacement from Merton proportion. • Fixed cost of on-chain transaction. Impulse control problem. • Related work in computer science: Brânzei, Segal-Halevi, Zohar (2017) on economics of LN, Avarikioti et al. (2018, 2019, 2020) on the game-theory of fees. Seres et al. (2019) and Schmid (2017) on simulations. Jianhong et al. (2020), and Seres et al. (2020) on state of the network.
  • 39. Motivation Model Structural Implications Conclusion Tradeoff • Higher deposit implies lower costs from on-chain transactions. Lower deposit implies lower opportunity costs (lost interest rate). • Demand for cash models: Baumol (1952), Tobin (1956): deterministic spending (unidirectional). Miller and Orr (1966): random balance fluctuations (bidirectional). • Portfolio choice with transaction costs: Constantinides (1986), Davis and Norman (1990), and many others. Costs of transactions vs. displacement from Merton proportion. • Fixed cost of on-chain transaction. Impulse control problem. • Related work in computer science: Brânzei, Segal-Halevi, Zohar (2017) on economics of LN, Avarikioti et al. (2018, 2019, 2020) on the game-theory of fees. Seres et al. (2019) and Schmid (2017) on simulations. Jianhong et al. (2020), and Seres et al. (2020) on state of the network.
  • 40. Motivation Model Structural Implications Conclusion Tradeoff • Higher deposit implies lower costs from on-chain transactions. Lower deposit implies lower opportunity costs (lost interest rate). • Demand for cash models: Baumol (1952), Tobin (1956): deterministic spending (unidirectional). Miller and Orr (1966): random balance fluctuations (bidirectional). • Portfolio choice with transaction costs: Constantinides (1986), Davis and Norman (1990), and many others. Costs of transactions vs. displacement from Merton proportion. • Fixed cost of on-chain transaction. Impulse control problem. • Related work in computer science: Brânzei, Segal-Halevi, Zohar (2017) on economics of LN, Avarikioti et al. (2018, 2019, 2020) on the game-theory of fees. Seres et al. (2019) and Schmid (2017) on simulations. Jianhong et al. (2020), and Seres et al. (2020) on state of the network.
  • 41. Motivation Model Structural Implications Conclusion Tradeoff • Higher deposit implies lower costs from on-chain transactions. Lower deposit implies lower opportunity costs (lost interest rate). • Demand for cash models: Baumol (1952), Tobin (1956): deterministic spending (unidirectional). Miller and Orr (1966): random balance fluctuations (bidirectional). • Portfolio choice with transaction costs: Constantinides (1986), Davis and Norman (1990), and many others. Costs of transactions vs. displacement from Merton proportion. • Fixed cost of on-chain transaction. Impulse control problem. • Related work in computer science: Brânzei, Segal-Halevi, Zohar (2017) on economics of LN, Avarikioti et al. (2018, 2019, 2020) on the game-theory of fees. Seres et al. (2019) and Schmid (2017) on simulations. Jianhong et al. (2020), and Seres et al. (2020) on state of the network.
  • 42. Motivation Model Structural Implications Conclusion Tradeoff • Higher deposit implies lower costs from on-chain transactions. Lower deposit implies lower opportunity costs (lost interest rate). • Demand for cash models: Baumol (1952), Tobin (1956): deterministic spending (unidirectional). Miller and Orr (1966): random balance fluctuations (bidirectional). • Portfolio choice with transaction costs: Constantinides (1986), Davis and Norman (1990), and many others. Costs of transactions vs. displacement from Merton proportion. • Fixed cost of on-chain transaction. Impulse control problem. • Related work in computer science: Brânzei, Segal-Halevi, Zohar (2017) on economics of LN, Avarikioti et al. (2018, 2019, 2020) on the game-theory of fees. Seres et al. (2019) and Schmid (2017) on simulations. Jianhong et al. (2020), and Seres et al. (2020) on state of the network.
  • 43. Motivation Model Structural Implications Conclusion Worth it? • In contrast to cash demand models, Lightning channel are optional. • All transactions could be settled on-chain instead. Lemma The on-chain settlement cost for a transaction stream with rate λ is µ = λB/r. • Intuitive formula. Price of annuity paying λB per unit of time. • Denote by µ = λB/r the weight of the channel. • When should you open a channel? • Find alternative cost Ll1,l2 (λ1, λ2) with Lightning.
  • 44. Motivation Model Structural Implications Conclusion Worth it? • In contrast to cash demand models, Lightning channel are optional. • All transactions could be settled on-chain instead. Lemma The on-chain settlement cost for a transaction stream with rate λ is µ = λB/r. • Intuitive formula. Price of annuity paying λB per unit of time. • Denote by µ = λB/r the weight of the channel. • When should you open a channel? • Find alternative cost Ll1,l2 (λ1, λ2) with Lightning.
  • 45. Motivation Model Structural Implications Conclusion Worth it? • In contrast to cash demand models, Lightning channel are optional. • All transactions could be settled on-chain instead. Lemma The on-chain settlement cost for a transaction stream with rate λ is µ = λB/r. • Intuitive formula. Price of annuity paying λB per unit of time. • Denote by µ = λB/r the weight of the channel. • When should you open a channel? • Find alternative cost Ll1,l2 (λ1, λ2) with Lightning.
  • 46. Motivation Model Structural Implications Conclusion Worth it? • In contrast to cash demand models, Lightning channel are optional. • All transactions could be settled on-chain instead. Lemma The on-chain settlement cost for a transaction stream with rate λ is µ = λB/r. • Intuitive formula. Price of annuity paying λB per unit of time. • Denote by µ = λB/r the weight of the channel. • When should you open a channel? • Find alternative cost Ll1,l2 (λ1, λ2) with Lightning.
  • 47. Motivation Model Structural Implications Conclusion Worth it? • In contrast to cash demand models, Lightning channel are optional. • All transactions could be settled on-chain instead. Lemma The on-chain settlement cost for a transaction stream with rate λ is µ = λB/r. • Intuitive formula. Price of annuity paying λB per unit of time. • Denote by µ = λB/r the weight of the channel. • When should you open a channel? • Find alternative cost Ll1,l2 (λ1, λ2) with Lightning.
  • 48. Motivation Model Structural Implications Conclusion Worth it? • In contrast to cash demand models, Lightning channel are optional. • All transactions could be settled on-chain instead. Lemma The on-chain settlement cost for a transaction stream with rate λ is µ = λB/r. • Intuitive formula. Price of annuity paying λB per unit of time. • Denote by µ = λB/r the weight of the channel. • When should you open a channel? • Find alternative cost Ll1,l2 (λ1, λ2) with Lightning.
  • 49. Motivation Model Structural Implications Conclusion Worth it? • In contrast to cash demand models, Lightning channel are optional. • All transactions could be settled on-chain instead. Lemma The on-chain settlement cost for a transaction stream with rate λ is µ = λB/r. • Intuitive formula. Price of annuity paying λB per unit of time. • Denote by µ = λB/r the weight of the channel. • When should you open a channel? • Find alternative cost Ll1,l2 (λ1, λ2) with Lightning.
  • 50. Motivation Model Structural Implications Conclusion Lightning Cost Theorem (i) A unidirectional channel costs L0,l2 (λ2, 0) = l2 + B r + λ2 λ2 l2 − 1 !−1 . (ii) A bidirectional channel costs Ll1,l2 (λ2, λ1) = l1 + l2 − B αl1 −(1 − αl1+l2 + ) − αl1 +(1 − αl1+l2 − ) αl1 −(1 − αl1+l2 + ) − αl1 +(1 − αl1+l2 − ) + αl1+l2 + − αl1+l2 − , where α± = λ2 + λ1 + r ± p (λ2 − λ1)2 + r2 + 2r(λ2 + λ1) 2λ2 . • Explicit formulas for given choice of deposits l1 and l2. • Optimal choice l1 and l2 not explicit in general.
  • 51. Motivation Model Structural Implications Conclusion Lightning Cost Theorem (i) A unidirectional channel costs L0,l2 (λ2, 0) = l2 + B r + λ2 λ2 l2 − 1 !−1 . (ii) A bidirectional channel costs Ll1,l2 (λ2, λ1) = l1 + l2 − B αl1 −(1 − αl1+l2 + ) − αl1 +(1 − αl1+l2 − ) αl1 −(1 − αl1+l2 + ) − αl1 +(1 − αl1+l2 − ) + αl1+l2 + − αl1+l2 − , where α± = λ2 + λ1 + r ± p (λ2 − λ1)2 + r2 + 2r(λ2 + λ1) 2λ2 . • Explicit formulas for given choice of deposits l1 and l2. • Optimal choice l1 and l2 not explicit in general.
  • 52. Motivation Model Structural Implications Conclusion Lightning Cost Theorem (i) A unidirectional channel costs L0,l2 (λ2, 0) = l2 + B r + λ2 λ2 l2 − 1 !−1 . (ii) A bidirectional channel costs Ll1,l2 (λ2, λ1) = l1 + l2 − B αl1 −(1 − αl1+l2 + ) − αl1 +(1 − αl1+l2 − ) αl1 −(1 − αl1+l2 + ) − αl1 +(1 − αl1+l2 − ) + αl1+l2 + − αl1+l2 − , where α± = λ2 + λ1 + r ± p (λ2 − λ1)2 + r2 + 2r(λ2 + λ1) 2λ2 . • Explicit formulas for given choice of deposits l1 and l2. • Optimal choice l1 and l2 not explicit in general.
  • 53. Motivation Model Structural Implications Conclusion Lightning Cost Theorem (i) A unidirectional channel costs L0,l2 (λ2, 0) = l2 + B r + λ2 λ2 l2 − 1 !−1 . (ii) A bidirectional channel costs Ll1,l2 (λ2, λ1) = l1 + l2 − B αl1 −(1 − αl1+l2 + ) − αl1 +(1 − αl1+l2 − ) αl1 −(1 − αl1+l2 + ) − αl1 +(1 − αl1+l2 − ) + αl1+l2 + − αl1+l2 − , where α± = λ2 + λ1 + r ± p (λ2 − λ1)2 + r2 + 2r(λ2 + λ1) 2λ2 . • Explicit formulas for given choice of deposits l1 and l2. • Optimal choice l1 and l2 not explicit in general.
  • 54. Motivation Model Structural Implications Conclusion Lightning Cost Theorem (i) A unidirectional channel costs L0,l2 (λ2, 0) = l2 + B r + λ2 λ2 l2 − 1 !−1 . (ii) A bidirectional channel costs Ll1,l2 (λ2, λ1) = l1 + l2 − B αl1 −(1 − αl1+l2 + ) − αl1 +(1 − αl1+l2 − ) αl1 −(1 − αl1+l2 + ) − αl1 +(1 − αl1+l2 − ) + αl1+l2 + − αl1+l2 − , where α± = λ2 + λ1 + r ± p (λ2 − λ1)2 + r2 + 2r(λ2 + λ1) 2λ2 . • Explicit formulas for given choice of deposits l1 and l2. • Optimal choice l1 and l2 not explicit in general.
  • 55. Motivation Model Structural Implications Conclusion No Lightning for Turtles Theorem (i) If a unidirectional channel with rate λ costs less than on-chain transactions, then λ r/B. (ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain transactions, then √ λ1λ2 r/(2B). • Necessary conditions. Not sufficient. • unidirectional intuition: a slow trickle of transactions should stay on-chain. • Bidirectional trickier: geometric average of payment rates should be higher than threshold. Needs both rates to be large enough. • Justifies use of asymptotics for r near zero. • Conditions depend only on weights: µ 1 and µ1µ2 1/4 respectively. (A bidirectional channel has two weights.)
  • 56. Motivation Model Structural Implications Conclusion No Lightning for Turtles Theorem (i) If a unidirectional channel with rate λ costs less than on-chain transactions, then λ r/B. (ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain transactions, then √ λ1λ2 r/(2B). • Necessary conditions. Not sufficient. • unidirectional intuition: a slow trickle of transactions should stay on-chain. • Bidirectional trickier: geometric average of payment rates should be higher than threshold. Needs both rates to be large enough. • Justifies use of asymptotics for r near zero. • Conditions depend only on weights: µ 1 and µ1µ2 1/4 respectively. (A bidirectional channel has two weights.)
  • 57. Motivation Model Structural Implications Conclusion No Lightning for Turtles Theorem (i) If a unidirectional channel with rate λ costs less than on-chain transactions, then λ r/B. (ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain transactions, then √ λ1λ2 r/(2B). • Necessary conditions. Not sufficient. • unidirectional intuition: a slow trickle of transactions should stay on-chain. • Bidirectional trickier: geometric average of payment rates should be higher than threshold. Needs both rates to be large enough. • Justifies use of asymptotics for r near zero. • Conditions depend only on weights: µ 1 and µ1µ2 1/4 respectively. (A bidirectional channel has two weights.)
  • 58. Motivation Model Structural Implications Conclusion No Lightning for Turtles Theorem (i) If a unidirectional channel with rate λ costs less than on-chain transactions, then λ r/B. (ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain transactions, then √ λ1λ2 r/(2B). • Necessary conditions. Not sufficient. • unidirectional intuition: a slow trickle of transactions should stay on-chain. • Bidirectional trickier: geometric average of payment rates should be higher than threshold. Needs both rates to be large enough. • Justifies use of asymptotics for r near zero. • Conditions depend only on weights: µ 1 and µ1µ2 1/4 respectively. (A bidirectional channel has two weights.)
  • 59. Motivation Model Structural Implications Conclusion No Lightning for Turtles Theorem (i) If a unidirectional channel with rate λ costs less than on-chain transactions, then λ r/B. (ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain transactions, then √ λ1λ2 r/(2B). • Necessary conditions. Not sufficient. • unidirectional intuition: a slow trickle of transactions should stay on-chain. • Bidirectional trickier: geometric average of payment rates should be higher than threshold. Needs both rates to be large enough. • Justifies use of asymptotics for r near zero. • Conditions depend only on weights: µ 1 and µ1µ2 1/4 respectively. (A bidirectional channel has two weights.)
  • 60. Motivation Model Structural Implications Conclusion No Lightning for Turtles Theorem (i) If a unidirectional channel with rate λ costs less than on-chain transactions, then λ r/B. (ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain transactions, then √ λ1λ2 r/(2B). • Necessary conditions. Not sufficient. • unidirectional intuition: a slow trickle of transactions should stay on-chain. • Bidirectional trickier: geometric average of payment rates should be higher than threshold. Needs both rates to be large enough. • Justifies use of asymptotics for r near zero. • Conditions depend only on weights: µ 1 and µ1µ2 1/4 respectively. (A bidirectional channel has two weights.)
  • 61. Motivation Model Structural Implications Conclusion No Lightning for Turtles Theorem (i) If a unidirectional channel with rate λ costs less than on-chain transactions, then λ r/B. (ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain transactions, then √ λ1λ2 r/(2B). • Necessary conditions. Not sufficient. • unidirectional intuition: a slow trickle of transactions should stay on-chain. • Bidirectional trickier: geometric average of payment rates should be higher than threshold. Needs both rates to be large enough. • Justifies use of asymptotics for r near zero. • Conditions depend only on weights: µ 1 and µ1µ2 1/4 respectively. (A bidirectional channel has two weights.)
  • 62. Motivation Model Structural Implications Conclusion No Lightning for Turtles Theorem (i) If a unidirectional channel with rate λ costs less than on-chain transactions, then λ r/B. (ii) If a bidirectional channel with rates λ1, λ2 costs less than on-chain transactions, then √ λ1λ2 r/(2B). • Necessary conditions. Not sufficient. • unidirectional intuition: a slow trickle of transactions should stay on-chain. • Bidirectional trickier: geometric average of payment rates should be higher than threshold. Needs both rates to be large enough. • Justifies use of asymptotics for r near zero. • Conditions depend only on weights: µ 1 and µ1µ2 1/4 respectively. (A bidirectional channel has two weights.)
  • 63. Motivation Model Structural Implications Conclusion Asymptotics Proposition For r near zero: (i) The minimal cost of a unidirectional channel with rate λ is Lopt (λ, 0) = 2 Bλ r 1/2 − B 2 + O(r1/2 ) and is achieved for the channel size l = Bλ r 1/2 + O(r1/2 ). (ii) The minimal cost of a symmetric, bidirectional channel with both rates λ is Lopt (λ, λ) = 3 2Bλ r 1/3 − B 6 + O(r1/3 ) and is achieved for channel sizes l1 = l2 = 2Bλ r 1/3 + O(r1/3 ). • Baumol-Tobin rate 1/2 for unidirectional. Miller-Orr 1/3 for symmetric. • No explicit solution for bidirectional asymmetric.
  • 64. Motivation Model Structural Implications Conclusion Asymptotics Proposition For r near zero: (i) The minimal cost of a unidirectional channel with rate λ is Lopt (λ, 0) = 2 Bλ r 1/2 − B 2 + O(r1/2 ) and is achieved for the channel size l = Bλ r 1/2 + O(r1/2 ). (ii) The minimal cost of a symmetric, bidirectional channel with both rates λ is Lopt (λ, λ) = 3 2Bλ r 1/3 − B 6 + O(r1/3 ) and is achieved for channel sizes l1 = l2 = 2Bλ r 1/3 + O(r1/3 ). • Baumol-Tobin rate 1/2 for unidirectional. Miller-Orr 1/3 for symmetric. • No explicit solution for bidirectional asymmetric.
  • 65. Motivation Model Structural Implications Conclusion Asymptotics Proposition For r near zero: (i) The minimal cost of a unidirectional channel with rate λ is Lopt (λ, 0) = 2 Bλ r 1/2 − B 2 + O(r1/2 ) and is achieved for the channel size l = Bλ r 1/2 + O(r1/2 ). (ii) The minimal cost of a symmetric, bidirectional channel with both rates λ is Lopt (λ, λ) = 3 2Bλ r 1/3 − B 6 + O(r1/3 ) and is achieved for channel sizes l1 = l2 = 2Bλ r 1/3 + O(r1/3 ). • Baumol-Tobin rate 1/2 for unidirectional. Miller-Orr 1/3 for symmetric. • No explicit solution for bidirectional asymmetric.
  • 66. Motivation Model Structural Implications Conclusion Asymptotics Proposition For r near zero: (i) The minimal cost of a unidirectional channel with rate λ is Lopt (λ, 0) = 2 Bλ r 1/2 − B 2 + O(r1/2 ) and is achieved for the channel size l = Bλ r 1/2 + O(r1/2 ). (ii) The minimal cost of a symmetric, bidirectional channel with both rates λ is Lopt (λ, λ) = 3 2Bλ r 1/3 − B 6 + O(r1/3 ) and is achieved for channel sizes l1 = l2 = 2Bλ r 1/3 + O(r1/3 ). • Baumol-Tobin rate 1/2 for unidirectional. Miller-Orr 1/3 for symmetric. • No explicit solution for bidirectional asymmetric.
  • 67. Motivation Model Structural Implications Conclusion Asymptotics Proposition For r near zero: (i) The minimal cost of a unidirectional channel with rate λ is Lopt (λ, 0) = 2 Bλ r 1/2 − B 2 + O(r1/2 ) and is achieved for the channel size l = Bλ r 1/2 + O(r1/2 ). (ii) The minimal cost of a symmetric, bidirectional channel with both rates λ is Lopt (λ, λ) = 3 2Bλ r 1/3 − B 6 + O(r1/3 ) and is achieved for channel sizes l1 = l2 = 2Bλ r 1/3 + O(r1/3 ). • Baumol-Tobin rate 1/2 for unidirectional. Miller-Orr 1/3 for symmetric. • No explicit solution for bidirectional asymmetric.
  • 68. Motivation Model Structural Implications Conclusion Traffic Reduction Proposition In a bidirectional channel with sizes l1, l2 and rates λ1, λ2, the long-term ratio between channel transactions and on-chain transactions equals (q + 1) l2 ql1 − 1 − l1 ql2 + l1 (q − 1) (ql1+l2 − 1) where q = λ2/λ1. In particular: (i) In a unidirectional channel (q ↓ 0) the ratio simplifies to l1. (ii) In a symmetric bidirectional channel (q → 1) the ratio simplifies to l1l2. • Traffic reduction is linear for unidirectional channels. • Quadratic for symmetric. Somewhere in between for bidirectional. • Netting effect largest with symmetry.
  • 69. Motivation Model Structural Implications Conclusion Traffic Reduction Proposition In a bidirectional channel with sizes l1, l2 and rates λ1, λ2, the long-term ratio between channel transactions and on-chain transactions equals (q + 1) l2 ql1 − 1 − l1 ql2 + l1 (q − 1) (ql1+l2 − 1) where q = λ2/λ1. In particular: (i) In a unidirectional channel (q ↓ 0) the ratio simplifies to l1. (ii) In a symmetric bidirectional channel (q → 1) the ratio simplifies to l1l2. • Traffic reduction is linear for unidirectional channels. • Quadratic for symmetric. Somewhere in between for bidirectional. • Netting effect largest with symmetry.
  • 70. Motivation Model Structural Implications Conclusion Traffic Reduction Proposition In a bidirectional channel with sizes l1, l2 and rates λ1, λ2, the long-term ratio between channel transactions and on-chain transactions equals (q + 1) l2 ql1 − 1 − l1 ql2 + l1 (q − 1) (ql1+l2 − 1) where q = λ2/λ1. In particular: (i) In a unidirectional channel (q ↓ 0) the ratio simplifies to l1. (ii) In a symmetric bidirectional channel (q → 1) the ratio simplifies to l1l2. • Traffic reduction is linear for unidirectional channels. • Quadratic for symmetric. Somewhere in between for bidirectional. • Netting effect largest with symmetry.
  • 71. Motivation Model Structural Implications Conclusion Traffic Reduction Proposition In a bidirectional channel with sizes l1, l2 and rates λ1, λ2, the long-term ratio between channel transactions and on-chain transactions equals (q + 1) l2 ql1 − 1 − l1 ql2 + l1 (q − 1) (ql1+l2 − 1) where q = λ2/λ1. In particular: (i) In a unidirectional channel (q ↓ 0) the ratio simplifies to l1. (ii) In a symmetric bidirectional channel (q → 1) the ratio simplifies to l1l2. • Traffic reduction is linear for unidirectional channels. • Quadratic for symmetric. Somewhere in between for bidirectional. • Netting effect largest with symmetry.
  • 72. Motivation Model Structural Implications Conclusion Traffic Reduction Proposition In a bidirectional channel with sizes l1, l2 and rates λ1, λ2, the long-term ratio between channel transactions and on-chain transactions equals (q + 1) l2 ql1 − 1 − l1 ql2 + l1 (q − 1) (ql1+l2 − 1) where q = λ2/λ1. In particular: (i) In a unidirectional channel (q ↓ 0) the ratio simplifies to l1. (ii) In a symmetric bidirectional channel (q → 1) the ratio simplifies to l1l2. • Traffic reduction is linear for unidirectional channels. • Quadratic for symmetric. Somewhere in between for bidirectional. • Netting effect largest with symmetry.
  • 73. Motivation Model Structural Implications Conclusion Traffic Reduction Proposition In a bidirectional channel with sizes l1, l2 and rates λ1, λ2, the long-term ratio between channel transactions and on-chain transactions equals (q + 1) l2 ql1 − 1 − l1 ql2 + l1 (q − 1) (ql1+l2 − 1) where q = λ2/λ1. In particular: (i) In a unidirectional channel (q ↓ 0) the ratio simplifies to l1. (ii) In a symmetric bidirectional channel (q → 1) the ratio simplifies to l1l2. • Traffic reduction is linear for unidirectional channels. • Quadratic for symmetric. Somewhere in between for bidirectional. • Netting effect largest with symmetry.
  • 74. Motivation Model Structural Implications Conclusion Channel Graph • Several users (vertices) v1, . . . , vn. • Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij . • A directed graph G with weighted edges is a valid LN with respect to F if: (i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj . (ii) The (directed) weight of each edge equals the sum of the weights of the paths passing through that edge (in that direction). • Intuitively, a valid LN is a graph and a set of paths that allow all necessary payments to be carried out. • Denote the cost of a graph G as f(G). • Small groups of users can change the network to reduce their costs. • What is the resulting structure of the payment network?
  • 75. Motivation Model Structural Implications Conclusion Channel Graph • Several users (vertices) v1, . . . , vn. • Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij . • A directed graph G with weighted edges is a valid LN with respect to F if: (i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj . (ii) The (directed) weight of each edge equals the sum of the weights of the paths passing through that edge (in that direction). • Intuitively, a valid LN is a graph and a set of paths that allow all necessary payments to be carried out. • Denote the cost of a graph G as f(G). • Small groups of users can change the network to reduce their costs. • What is the resulting structure of the payment network?
  • 76. Motivation Model Structural Implications Conclusion Channel Graph • Several users (vertices) v1, . . . , vn. • Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij . • A directed graph G with weighted edges is a valid LN with respect to F if: (i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj . (ii) The (directed) weight of each edge equals the sum of the weights of the paths passing through that edge (in that direction). • Intuitively, a valid LN is a graph and a set of paths that allow all necessary payments to be carried out. • Denote the cost of a graph G as f(G). • Small groups of users can change the network to reduce their costs. • What is the resulting structure of the payment network?
  • 77. Motivation Model Structural Implications Conclusion Channel Graph • Several users (vertices) v1, . . . , vn. • Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij . • A directed graph G with weighted edges is a valid LN with respect to F if: (i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj . (ii) The (directed) weight of each edge equals the sum of the weights of the paths passing through that edge (in that direction). • Intuitively, a valid LN is a graph and a set of paths that allow all necessary payments to be carried out. • Denote the cost of a graph G as f(G). • Small groups of users can change the network to reduce their costs. • What is the resulting structure of the payment network?
  • 78. Motivation Model Structural Implications Conclusion Channel Graph • Several users (vertices) v1, . . . , vn. • Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij . • A directed graph G with weighted edges is a valid LN with respect to F if: (i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj . (ii) The (directed) weight of each edge equals the sum of the weights of the paths passing through that edge (in that direction). • Intuitively, a valid LN is a graph and a set of paths that allow all necessary payments to be carried out. • Denote the cost of a graph G as f(G). • Small groups of users can change the network to reduce their costs. • What is the resulting structure of the payment network?
  • 79. Motivation Model Structural Implications Conclusion Channel Graph • Several users (vertices) v1, . . . , vn. • Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij . • A directed graph G with weighted edges is a valid LN with respect to F if: (i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj . (ii) The (directed) weight of each edge equals the sum of the weights of the paths passing through that edge (in that direction). • Intuitively, a valid LN is a graph and a set of paths that allow all necessary payments to be carried out. • Denote the cost of a graph G as f(G). • Small groups of users can change the network to reduce their costs. • What is the resulting structure of the payment network?
  • 80. Motivation Model Structural Implications Conclusion Channel Graph • Several users (vertices) v1, . . . , vn. • Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij . • A directed graph G with weighted edges is a valid LN with respect to F if: (i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj . (ii) The (directed) weight of each edge equals the sum of the weights of the paths passing through that edge (in that direction). • Intuitively, a valid LN is a graph and a set of paths that allow all necessary payments to be carried out. • Denote the cost of a graph G as f(G). • Small groups of users can change the network to reduce their costs. • What is the resulting structure of the payment network?
  • 81. Motivation Model Structural Implications Conclusion Channel Graph • Several users (vertices) v1, . . . , vn. • Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij . • A directed graph G with weighted edges is a valid LN with respect to F if: (i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj . (ii) The (directed) weight of each edge equals the sum of the weights of the paths passing through that edge (in that direction). • Intuitively, a valid LN is a graph and a set of paths that allow all necessary payments to be carried out. • Denote the cost of a graph G as f(G). • Small groups of users can change the network to reduce their costs. • What is the resulting structure of the payment network?
  • 82. Motivation Model Structural Implications Conclusion Channel Graph • Several users (vertices) v1, . . . , vn. • Set of payment flows F. (vi , vj , λij ) ∈ F if vi pays vj with frequency λij . • A directed graph G with weighted edges is a valid LN with respect to F if: (i) For every (vi , vj , λij ) ∈ F there is a path from vi to vj . (ii) The (directed) weight of each edge equals the sum of the weights of the paths passing through that edge (in that direction). • Intuitively, a valid LN is a graph and a set of paths that allow all necessary payments to be carried out. • Denote the cost of a graph G as f(G). • Small groups of users can change the network to reduce their costs. • What is the resulting structure of the payment network?
  • 83. Motivation Model Structural Implications Conclusion Mutations and Immutable Definition For k ≥ 1 a valid LN G is a k-immutable if There is no valid LN graph G0 and a set U ⊂ V, |U| = k such that G[V U] = G0 [V U] and f(G0 ) f(G). (G[V U] is the subgraph of G spanned by the vertices in V U.) k users cannot improve it by changing their channels. v1 v2 v3 v4 v5 (a) Before v1 v2 v3 v4 v5 (b) After
  • 84. Motivation Model Structural Implications Conclusion Hermetization Definition A valid LN G is hermetic if no valid LN graph G0 with at most |V(G)| + 1 vertices has f(G0 ) f(G). Adding an intermediary to route payments does not reduce costs. v1 v2 v3 v4 (a) Before v1 v2 v3 v4 v5 (b) After
  • 85. Motivation Model Structural Implications Conclusion Do not Pay a Payer Theorem A 3-immutable graph does not have a directed path with more than one edge. v1 v2 v3 µ1 µ2 (a) Before v1 v2 v3 µ1 µ1 µ2 (b) After • Paying a payer is bad because it is better to pay the final payee. The two payees can exchange payments through a bidirectional channel. • If one removes all bidirectional channels, the result is a family of stars. • Hub-and-spoke structure.
  • 86. Motivation Model Structural Implications Conclusion Do not Pay a Payer Theorem A 3-immutable graph does not have a directed path with more than one edge. v1 v2 v3 µ1 µ2 (a) Before v1 v2 v3 µ1 µ1 µ2 (b) After • Paying a payer is bad because it is better to pay the final payee. The two payees can exchange payments through a bidirectional channel. • If one removes all bidirectional channels, the result is a family of stars. • Hub-and-spoke structure.
  • 87. Motivation Model Structural Implications Conclusion Do not Pay a Payer Theorem A 3-immutable graph does not have a directed path with more than one edge. v1 v2 v3 µ1 µ2 (a) Before v1 v2 v3 µ1 µ1 µ2 (b) After • Paying a payer is bad because it is better to pay the final payee. The two payees can exchange payments through a bidirectional channel. • If one removes all bidirectional channels, the result is a family of stars. • Hub-and-spoke structure.
  • 88. Motivation Model Structural Implications Conclusion Do not Pay a Payer Theorem A 3-immutable graph does not have a directed path with more than one edge. v1 v2 v3 µ1 µ2 (a) Before v1 v2 v3 µ1 µ1 µ2 (b) After • Paying a payer is bad because it is better to pay the final payee. The two payees can exchange payments through a bidirectional channel. • If one removes all bidirectional channels, the result is a family of stars. • Hub-and-spoke structure.
  • 89. Motivation Model Structural Implications Conclusion No Bidirectional Clustering Theorem A valid LN satisfies the following: (i) A 3-immutable graph has no 3-cycle with bidirectional edges. (ii) A 4-immutable graph has no 4-cycle with bidirectional edges. • Bidirectional clustering is exactly zero. • If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will not waste capital on another channel. • Incompatible with several models of random networks, such as Erdös-Renyi, small-world, and others. • To be considered when simulating Lightning Networks. • Statement not true replacing 3 or 4 with 5. Counterexample.
  • 90. Motivation Model Structural Implications Conclusion No Bidirectional Clustering Theorem A valid LN satisfies the following: (i) A 3-immutable graph has no 3-cycle with bidirectional edges. (ii) A 4-immutable graph has no 4-cycle with bidirectional edges. • Bidirectional clustering is exactly zero. • If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will not waste capital on another channel. • Incompatible with several models of random networks, such as Erdös-Renyi, small-world, and others. • To be considered when simulating Lightning Networks. • Statement not true replacing 3 or 4 with 5. Counterexample.
  • 91. Motivation Model Structural Implications Conclusion No Bidirectional Clustering Theorem A valid LN satisfies the following: (i) A 3-immutable graph has no 3-cycle with bidirectional edges. (ii) A 4-immutable graph has no 4-cycle with bidirectional edges. • Bidirectional clustering is exactly zero. • If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will not waste capital on another channel. • Incompatible with several models of random networks, such as Erdös-Renyi, small-world, and others. • To be considered when simulating Lightning Networks. • Statement not true replacing 3 or 4 with 5. Counterexample.
  • 92. Motivation Model Structural Implications Conclusion No Bidirectional Clustering Theorem A valid LN satisfies the following: (i) A 3-immutable graph has no 3-cycle with bidirectional edges. (ii) A 4-immutable graph has no 4-cycle with bidirectional edges. • Bidirectional clustering is exactly zero. • If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will not waste capital on another channel. • Incompatible with several models of random networks, such as Erdös-Renyi, small-world, and others. • To be considered when simulating Lightning Networks. • Statement not true replacing 3 or 4 with 5. Counterexample.
  • 93. Motivation Model Structural Implications Conclusion No Bidirectional Clustering Theorem A valid LN satisfies the following: (i) A 3-immutable graph has no 3-cycle with bidirectional edges. (ii) A 4-immutable graph has no 4-cycle with bidirectional edges. • Bidirectional clustering is exactly zero. • If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will not waste capital on another channel. • Incompatible with several models of random networks, such as Erdös-Renyi, small-world, and others. • To be considered when simulating Lightning Networks. • Statement not true replacing 3 or 4 with 5. Counterexample.
  • 94. Motivation Model Structural Implications Conclusion No Bidirectional Clustering Theorem A valid LN satisfies the following: (i) A 3-immutable graph has no 3-cycle with bidirectional edges. (ii) A 4-immutable graph has no 4-cycle with bidirectional edges. • Bidirectional clustering is exactly zero. • If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will not waste capital on another channel. • Incompatible with several models of random networks, such as Erdös-Renyi, small-world, and others. • To be considered when simulating Lightning Networks. • Statement not true replacing 3 or 4 with 5. Counterexample.
  • 95. Motivation Model Structural Implications Conclusion No Bidirectional Clustering Theorem A valid LN satisfies the following: (i) A 3-immutable graph has no 3-cycle with bidirectional edges. (ii) A 4-immutable graph has no 4-cycle with bidirectional edges. • Bidirectional clustering is exactly zero. • If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will not waste capital on another channel. • Incompatible with several models of random networks, such as Erdös-Renyi, small-world, and others. • To be considered when simulating Lightning Networks. • Statement not true replacing 3 or 4 with 5. Counterexample.
  • 96. Motivation Model Structural Implications Conclusion No Bidirectional Clustering Theorem A valid LN satisfies the following: (i) A 3-immutable graph has no 3-cycle with bidirectional edges. (ii) A 4-immutable graph has no 4-cycle with bidirectional edges. • Bidirectional clustering is exactly zero. • If Alice is linked to Bob and Bob linked to Charlie, Alice and Charlie will not waste capital on another channel. • Incompatible with several models of random networks, such as Erdös-Renyi, small-world, and others. • To be considered when simulating Lightning Networks. • Statement not true replacing 3 or 4 with 5. Counterexample.
  • 97. Motivation Model Structural Implications Conclusion Intermediation • Recall that the degree of a user is the number of adjacent edges. • s(v) and S(v) smallest and largest weights of edges adjacent to v. • Define R(G) = maxv S(v) s(v) as the discrepancy of the network. Theorem A graph G with average degree greater than 4 p 2R(G) is not hermetic. • In principle, an enterprising user could offer to act as a counterparty to any such set of users, charging part of their savings as fees. • If all edges have the same weight (R(G) = 1), the condition boils down to average degree greater than 6.
  • 98. Motivation Model Structural Implications Conclusion Intermediation • Recall that the degree of a user is the number of adjacent edges. • s(v) and S(v) smallest and largest weights of edges adjacent to v. • Define R(G) = maxv S(v) s(v) as the discrepancy of the network. Theorem A graph G with average degree greater than 4 p 2R(G) is not hermetic. • In principle, an enterprising user could offer to act as a counterparty to any such set of users, charging part of their savings as fees. • If all edges have the same weight (R(G) = 1), the condition boils down to average degree greater than 6.
  • 99. Motivation Model Structural Implications Conclusion Intermediation • Recall that the degree of a user is the number of adjacent edges. • s(v) and S(v) smallest and largest weights of edges adjacent to v. • Define R(G) = maxv S(v) s(v) as the discrepancy of the network. Theorem A graph G with average degree greater than 4 p 2R(G) is not hermetic. • In principle, an enterprising user could offer to act as a counterparty to any such set of users, charging part of their savings as fees. • If all edges have the same weight (R(G) = 1), the condition boils down to average degree greater than 6.
  • 100. Motivation Model Structural Implications Conclusion Intermediation • Recall that the degree of a user is the number of adjacent edges. • s(v) and S(v) smallest and largest weights of edges adjacent to v. • Define R(G) = maxv S(v) s(v) as the discrepancy of the network. Theorem A graph G with average degree greater than 4 p 2R(G) is not hermetic. • In principle, an enterprising user could offer to act as a counterparty to any such set of users, charging part of their savings as fees. • If all edges have the same weight (R(G) = 1), the condition boils down to average degree greater than 6.
  • 101. Motivation Model Structural Implications Conclusion Intermediation • Recall that the degree of a user is the number of adjacent edges. • s(v) and S(v) smallest and largest weights of edges adjacent to v. • Define R(G) = maxv S(v) s(v) as the discrepancy of the network. Theorem A graph G with average degree greater than 4 p 2R(G) is not hermetic. • In principle, an enterprising user could offer to act as a counterparty to any such set of users, charging part of their savings as fees. • If all edges have the same weight (R(G) = 1), the condition boils down to average degree greater than 6.
  • 102. Motivation Model Structural Implications Conclusion Intermediation • Recall that the degree of a user is the number of adjacent edges. • s(v) and S(v) smallest and largest weights of edges adjacent to v. • Define R(G) = maxv S(v) s(v) as the discrepancy of the network. Theorem A graph G with average degree greater than 4 p 2R(G) is not hermetic. • In principle, an enterprising user could offer to act as a counterparty to any such set of users, charging part of their savings as fees. • If all edges have the same weight (R(G) = 1), the condition boils down to average degree greater than 6.
  • 103. Motivation Model Structural Implications Conclusion Shooting for the Star? Theorem Assume that, for each user vi , the size of each channel (µk i )1≤k≤|N(i)| is distributed according to a law such that (i) there exist a 1, b 0 such that P(µk i x) bx−a for all 1 ≤ i ≤ |V|, 1 ≤ k ≤ |N(i)|, and x 0. (ii) there exists ε, such that P(µk i ε) = 1 for all 1 ≤ i ≤ |V|, 1 ≤ k ≤ |N(i)|. Then the graph is not hermetic with probability greater or equal than 1 − c X 1≤i≤|V| |N(i)|1−2a where c is a positive constant. • If payment flows follow a power law, then a star is more likely to emerge if the tail is thinner (less dispersion) and if the number of neighbors is higher.
  • 104. Motivation Model Structural Implications Conclusion Shooting for the Star? Theorem Assume that, for each user vi , the size of each channel (µk i )1≤k≤|N(i)| is distributed according to a law such that (i) there exist a 1, b 0 such that P(µk i x) bx−a for all 1 ≤ i ≤ |V|, 1 ≤ k ≤ |N(i)|, and x 0. (ii) there exists ε, such that P(µk i ε) = 1 for all 1 ≤ i ≤ |V|, 1 ≤ k ≤ |N(i)|. Then the graph is not hermetic with probability greater or equal than 1 − c X 1≤i≤|V| |N(i)|1−2a where c is a positive constant. • If payment flows follow a power law, then a star is more likely to emerge if the tail is thinner (less dispersion) and if the number of neighbors is higher.
  • 105. Motivation Model Structural Implications Conclusion Shooting for the Star? Theorem Assume that, for each user vi , the size of each channel (µk i )1≤k≤|N(i)| is distributed according to a law such that (i) there exist a 1, b 0 such that P(µk i x) bx−a for all 1 ≤ i ≤ |V|, 1 ≤ k ≤ |N(i)|, and x 0. (ii) there exists ε, such that P(µk i ε) = 1 for all 1 ≤ i ≤ |V|, 1 ≤ k ≤ |N(i)|. Then the graph is not hermetic with probability greater or equal than 1 − c X 1≤i≤|V| |N(i)|1−2a where c is a positive constant. • If payment flows follow a power law, then a star is more likely to emerge if the tail is thinner (less dispersion) and if the number of neighbors is higher.
  • 106. Motivation Model Structural Implications Conclusion Shooting for the Star? Theorem Assume that, for each user vi , the size of each channel (µk i )1≤k≤|N(i)| is distributed according to a law such that (i) there exist a 1, b 0 such that P(µk i x) bx−a for all 1 ≤ i ≤ |V|, 1 ≤ k ≤ |N(i)|, and x 0. (ii) there exists ε, such that P(µk i ε) = 1 for all 1 ≤ i ≤ |V|, 1 ≤ k ≤ |N(i)|. Then the graph is not hermetic with probability greater or equal than 1 − c X 1≤i≤|V| |N(i)|1−2a where c is a positive constant. • If payment flows follow a power law, then a star is more likely to emerge if the tail is thinner (less dispersion) and if the number of neighbors is higher.
  • 107. Motivation Model Structural Implications Conclusion Open Questions • Tractability of asymmetric bidirectional channel. • Alternative cost objectives. Game-theoretical issues? • Fees for links in equilibrium? • Effect of fees on network structure?
  • 108. Motivation Model Structural Implications Conclusion Open Questions • Tractability of asymmetric bidirectional channel. • Alternative cost objectives. Game-theoretical issues? • Fees for links in equilibrium? • Effect of fees on network structure?
  • 109. Motivation Model Structural Implications Conclusion Open Questions • Tractability of asymmetric bidirectional channel. • Alternative cost objectives. Game-theoretical issues? • Fees for links in equilibrium? • Effect of fees on network structure?
  • 110. Motivation Model Structural Implications Conclusion Open Questions • Tractability of asymmetric bidirectional channel. • Alternative cost objectives. Game-theoretical issues? • Fees for links in equilibrium? • Effect of fees on network structure?
  • 111. Motivation Model Structural Implications Conclusion Conclusion • Lightning Network. Second layer on blockchain. Channels and links. • Use channels only above frequency threshold. • Channel costs: different orders for unidirectional and bidirectional. • Structural implications from channel costs. • No clustering. Hubs-and-spokes. • Potential for intermediaries in well-connected, homogenous groups. • Tradeoff between security and efficiency.
  • 112. Motivation Model Structural Implications Conclusion Conclusion • Lightning Network. Second layer on blockchain. Channels and links. • Use channels only above frequency threshold. • Channel costs: different orders for unidirectional and bidirectional. • Structural implications from channel costs. • No clustering. Hubs-and-spokes. • Potential for intermediaries in well-connected, homogenous groups. • Tradeoff between security and efficiency.
  • 113. Motivation Model Structural Implications Conclusion Conclusion • Lightning Network. Second layer on blockchain. Channels and links. • Use channels only above frequency threshold. • Channel costs: different orders for unidirectional and bidirectional. • Structural implications from channel costs. • No clustering. Hubs-and-spokes. • Potential for intermediaries in well-connected, homogenous groups. • Tradeoff between security and efficiency.
  • 114. Motivation Model Structural Implications Conclusion Conclusion • Lightning Network. Second layer on blockchain. Channels and links. • Use channels only above frequency threshold. • Channel costs: different orders for unidirectional and bidirectional. • Structural implications from channel costs. • No clustering. Hubs-and-spokes. • Potential for intermediaries in well-connected, homogenous groups. • Tradeoff between security and efficiency.
  • 115. Motivation Model Structural Implications Conclusion Conclusion • Lightning Network. Second layer on blockchain. Channels and links. • Use channels only above frequency threshold. • Channel costs: different orders for unidirectional and bidirectional. • Structural implications from channel costs. • No clustering. Hubs-and-spokes. • Potential for intermediaries in well-connected, homogenous groups. • Tradeoff between security and efficiency.
  • 116. Motivation Model Structural Implications Conclusion Conclusion • Lightning Network. Second layer on blockchain. Channels and links. • Use channels only above frequency threshold. • Channel costs: different orders for unidirectional and bidirectional. • Structural implications from channel costs. • No clustering. Hubs-and-spokes. • Potential for intermediaries in well-connected, homogenous groups. • Tradeoff between security and efficiency.
  • 117. Motivation Model Structural Implications Conclusion Conclusion • Lightning Network. Second layer on blockchain. Channels and links. • Use channels only above frequency threshold. • Channel costs: different orders for unidirectional and bidirectional. • Structural implications from channel costs. • No clustering. Hubs-and-spokes. • Potential for intermediaries in well-connected, homogenous groups. • Tradeoff between security and efficiency.
  • 118. Motivation Model Structural Implications Conclusion Thank You! Questions?