3 citations · 4 across the 2 of their papers we have counts for
4 papers · 1 filter
Greedy but Cautious: Conditions for Miner Convergence to Resource Allocation Equilibrium
George Bissias, Brian N. Levine, David Thibodeau
All public blockchains are secured by a proof of opportunity cost among block producers. For example, the security offered by proof-of-work (PoW) systems, like Bitcoin, is due to s…
Bonded Mining: Difficulty Adjustment by Miner Commitment
George Bissias, David Thibodeau, Brian N. Levine
Proof-of-work blockchains must implement a difficulty adjustment algorithm (DAA) in order to maintain a consistent inter-arrival time between blocks. Conventional DAAs are essentia…
A Type Theory for Defining Logics and Proofs
Brigitte Pientka, David Thibodeau, Andreas Abel +2
We describe a Martin-Löf-style dependent type theory, called Cocon, that allows us to mix the intensional function space that is used to represent higher-order abstract syntax (HOA…
Cocon: Computation in Contextual Type Theory
Brigitte Pientka, Andreas Abel, Francisco Ferreira +2
We describe a Martin-Löf style dependent type theory, called Cocon, that allows us to mix the intensional function space that is used to represent higher-order abstract syntax (HOA…