Andrew Miller amiller

The Coming War on General Purpose Computing - by Cory Doctorow http://www.youtube.com/watch?v=HUEvRyemKSg&feature=related
Cleanup talk - by Dan Kaminsky (only the first part about bitcoin is probably relevant but the guy is entertaining overall) http://www.youtube.com/watch?v=BE-JB078Ax4
How Governments have tried to block Tor: by Jacob Appelbaum and Roger Dingledine

	ICES:SMALL: An Exploration of Trust-based Currency in a Peer-to-Peer Network
	1 Introduction
	The promise of online peer-to-peer trading (e.g. eBay) is that it allows even casual users to exchange items
	or services in a large, diverse, and efficient marketplace. These transactions are typically between two
	strangers and involve asynchronous restricted communications; the buyer often assumes a substantial up-
	front risk by paying and then relying on the seller to ship the item. Trust is essential to these transactions.
	Online trading systems like eBay often encourage cooperation between strangers by providing a reputation
	mechanism, which disincentivizes the seller’s misbehavior and provides the buyer with judgment-supporting
	information. However, it has been shown that reputation systems are hampered by the cheap pseudonyms
	problem, which penalizes newcomers who haven’t yet paid their dues by accepting poor treatment (or paying

	ICES:SMALL: An Exploration of Trust-based Currency in a Peer-to-Peer Network
	1 Introduction
	The promise of online peer-to-peer trading (e.g. eBay) is that it allows even casual users to exchange items
	or services in a large, diverse, and efficient marketplace. These transactions are typically between two
	strangers and involve asynchronous restricted communications; the buyer often assumes a substantial up-
	front risk by paying and then relying on the seller to ship the item. Trust is essential to these transactions.
	Online trading systems like eBay often encourage cooperation between strangers by providing a reputation
	mechanism, which disincentivizes the seller’s misbehavior and provides the buyer with judgment-supporting
	information. However, it has been shown that reputation systems are hampered by the cheap pseudonyms
	problem, which penalizes newcomers who haven’t yet paid their dues by accepting poor treatment (or paying

	ICES:SMALL: An Exploration of Trust-based Currency in a Peer-to-Peer Network
	1 Introduction

	The promise of online peer-to-peer trading (e.g. eBay) is that it allows even casual users to exchange items
	or services in a large, diverse, and efficient marketplace. These transactions are typically between two
	strangers and involve asynchronous restricted communications; the buyer often assumes a substantial up-
	front risk by paying and then relying on the seller to ship the item. Trust is essential to these transactions.
	Online trading systems like eBay often encourage cooperation between strangers by providing a reputation
	mechanism, which disincentivizes the seller’s misbehavior and provides the buyer with judgment-supporting
	information. However, it has been shown that reputation systems are hampered by the cheap pseudonyms

	(* Andrew Miller [email protected]

	Just a scratch buffer. Working towards a model of Bitcoin script.

	Sources:
	State/error monads: http://www.lri.fr/~paulin/MPRI/cours-why.pdf
	Coq monad library:
	http://coq.inria.fr/pylons/contribs/files/QuicksortComplexity/trunk/monads.html
	Another Coq monad library:
	http://coq.inria.fr/pylons/contribs/files/lc/trunk/lc.Monad.html

	Received voucher from server:

	-----BEGIN SIGNED VOUCHER-----
	Hash: SAMY

	<?xml version="1.0"?>

	<cheque
	version="1.0"
	amount="20"

	-------------------------------------------------
	ASSET CONTRACTS:

	Asset Type: game tokens
	AssetTypeID: SjSYAUzN1RLjGre0kqDJynFos1MRYzrxOOenHY0Lpjd

	Asset Type: silver grams
	AssetTypeID: mNS1ODAXQoSXpWJfC5awE9zAXCm9aVfiE0WQGsIOw4B

	-------------------------------------------------