research
∙
12/07/2020
Pricing Security in Proof-of-Work Systems
A key component of security in decentralized blockchains is proof of opp...
share
research
∙
07/19/2019
Greedy but Cautious: Conditions for Miner Convergence to Resource Allocation Equilibrium
All public blockchains are secured by a proof of opportunity cost among ...
research
∙
06/30/2019
Bonded Mining: Difficulty Adjustment by Miner Commitment
Proof-of-work blockchains must implement a difficulty adjustment algorit...
research
∙
05/07/2019
A Type Theory for Defining Logics and Proofs
We describe a Martin-Löf-style dependent type theory, called Cocon, that...
research
∙
01/10/2019
Cocon: Computation in Contextual Type Theory
We describe a Martin-Löf style dependent type theory, called Cocon, that...
research
∙
06/19/2018
Using Economic Risk to Model Miner Hash Rate Allocation in Cryptocurrencies
Abrupt changes in the miner hash rate applied to a proof-of-work (PoW) b...
research
∙
05/01/2018