arXiv:1711.03028v2 [cs.PL] 13 DecSimplicity: A New Language for Blockchains Russell O’Connor

First Page		Document Content
Date: 2017-12-14 21:52:44 Computing Cryptocurrencies Theoretical computer science Software engineering Blockchains Logic in computer science Bitcoin Alternative currencies Combinatory logic Ethereum Stack machine Stack		arXiv:1711.03028v2 [cs.PL] 13 DecSimplicity: A New Language for Blockchains Russell O’Connor Add to Reading List Source URL: arxiv.org Download Document from Source Website File Size: 453,17 KB Share Document on Facebook

	Notice of Filing of Proposed Rule Change to List and Trade Shares of SolidX Bitcoin Shares Issued by the VanEck SolidX Bitcoin Trust DocID: 1xW1x - View Document
	Bitcoin: A Peer-to-Peer Electronic Cash System Satoshi Nakamoto www.bitcoin.org Abstract. A purely peer-to-peer version of electronic cash would allow online DocID: 1xW09 - View Document
	BLOCK ONE CAPITAL, INC. • FOR PUBLIC RELEASE 1 A simple model of bitcoin mining Dr. Pratheev Sreetharan and Dr. Sivakumar Arumugam DocID: 1xVZr - View Document
	Trading Bitcoin and Online Time Series Prediction Muhammad J Amjad Operations Research Center DocID: 1xVYr - View Document
	Incentive Compatibility of Bitcoin Mining Pool Reward Functions Okke Schrijvers, Joseph Bonneau, Dan Boneh, and Tim Roughgarden Stanford University Abstract. In this paper we introduce a game-theoretic model for reward DocID: 1xVWx - View Document