Tortoise and Hares Consensus: the Meshcash Framework for Incentive-Compatible, Scalable Cryptocurrencies

We propose Meshcash, a new framework for cryptocurrency protocols that combines a novel, proof-of-work based, permissionless byzantine consensus protocol (the tortoise) that guarantees eventual consensus and irreversibility, with a possibly-faulty but quick consensus protocol (the hare). The construction is modular, allowing any suitable ``hare\u27\u27 protocol to be plugged in. The combined protocol enjoys best of both worlds properties: consensus is quick if the hare protocol succeeds, but guaranteed even if it is faulty. Unlike most existing proof-of-work based consensus protocols, our tortoise protocol does not rely on leader-election (e.g., the single miner who managed to extend the longest chain). Rather, we use ideas from asynchronous byzantine agreement protocols to gradually converge to a consensus. Meshcash, is designed to be race-free: there is no ``race\u27\u27 to generate the next block, hence honestly-generated blocks are always rewarded. This property, which we define formally as a game-theoretic notion, turns out to be useful in analyzing rational miners\u27 behavior: we prove (using a generalization of the blockchain mining games of Kiayias et al.) that race-free blockchain protocols are incentive-compatible and satisfy linearity of rewards (i.e., a party receives rewards proportional to its computational power). Because Meshcash can tolerate a high block rate regardless of network propagation delays (which will only affect latency), it allows us to lower both the variance and the expected time between blocks for honest miners; together with linearity of rewards, this makes pooled mining far less attractive. Moreover, race-free protocols scale more easily (in terms of transaction rate). This is because the race-free property implies that the network propagation delays are not a factor in terms of rewards, which removes the main impediment to accommodating a larger volume of transactions. We formally prove that all of our guarantees hold in the asynchronous communication model of Pass, Seeman and shelat, and against a constant fraction of byzantine (malicious) miners; not just rational ones

Langerhans cells shape postnatal oral homeostasis in a mechanical-force-dependent but microbiota and IL17-independent manner

Abstract The postnatal interaction between microbiota and the immune system establishes lifelong homeostasis at mucosal epithelial barriers, however, the barrier-specific physiological activities that drive the equilibrium are hardly known. During weaning, the oral epithelium, which is monitored by Langerhans cells (LC), is challenged by the development of a microbial plaque and the initiation of masticatory forces capable of damaging the epithelium. Here we show that microbial colonization following birth facilitates the differentiation of oral LCs, setting the stage for the weaning period, in which adaptive immunity develops. Despite the presence of the challenging microbial plaque, LCs mainly respond to masticatory mechanical forces, inducing adaptive immunity, to maintain epithelial integrity that is also associated with naturally occurring alveolar bone loss. Mechanistically, masticatory forces induce the migration of LCs to the lymph nodes, and in return, LCs support the development of immunity to maintain epithelial integrity in a microbiota-independent manner. Unlike in adult life, this bone loss is IL-17-independent, suggesting that the establishment of oral mucosal homeostasis after birth and its maintenance in adult life involve distinct mechanisms