Thursday, August 3, 2017

Bitcoin Exchange Had Too Many Bitcoins

It's enough to make you wish for a blockchain. Oh, wait.


By Matt Levine
The Bloomberg View
August 3, 2017

A few months ago we talked about a weird legal dispute over the Dole Food Co. buyout. Dole's chief executive officer, David Murdock, had taken it private for $13.50 a share in 2013, but shareholders thought it was worth more. So they sued, and won, and Murdock was ordered to pay shareholders an extra $2.74 a share plus interest, and shareholders were told to submit claims for their money.

But there was a problem: People submitted more claims than there were shares. This turned out not to be fraud, or carelessness: People really owned more shares than there were shares! It's just that other people owned negative shares. In rough numbers, there were 37 million shares outstanding, and people owned 49 million shares, but other people were short 12 million shares. The way short selling works is that X borrows a share from Y and sells it to Z. So Y owns one share, and Z owns one share, and X owes one share, and everything balances out and there's only one share outstanding. So the millions of extra shares made complete sense.

But that doesn't answer the question of what to do about it. When the buyout closed, back in 2013, it was straightforward enough: If you owned a share, you got paid $13.50. If you were short a share, you had to pay $13.50. So shareholders got paid 49 million shares times $13.50 a share, and short sellers paid 12 million shares times $13.50 a share. (And David Murdock paid 37 million times $13.50 for the shares he was buying.) But in 2017, it was more complicated. If you owned one of the 49 million shares back in 2013, you were due the extra money in 2017. If you were David Murdock and you bought 37 million shares in 2013, you had to pay the extra money in 2017 -- but only on the 37 million shares you bought. But what if you were short the stock in 2013? Was your obligation discharged by paying the $13.50 in 2013, or are you still on the hook to come up with more, four years later?

The answer is a mess. The Delaware judge who heard the case sort of punted this issue to the Depository Trust Co., which keeps track of all the shares of all the companies, and told DTC to follow its procedures to figure it out. The practical answer seems to be that the short sellers' brokers were on the hook to come up with the extra money, and that the brokers' ability to go after the short sellers depended on the margin and stock-lending agreements they had with those sellers. Anecdotally, it seems that the brokers have mostly tried to seek payment from their customers who were short -- and that some of those customers feel pretty aggrieved about it. You can see why: They closed their trades four years ago, and whatever irregularities occurred in Murdock's buyout of Dole weren't their fault. Why should they have to pay for them? Even beyond the arguable unfairness, it is just administratively messy: Someone has to find all those short sellers. If you were short Dole shares in 2013, and subsequently closed your account, wound up your fund, or died, how would a broker get you to pay up?

It's all such a mess, in fact, that I wrote: "It does seem like a half-competent blockchain would be faster and cheaper and more transparent" than the messy current system of share ownership. Just, you know, blockchain it up, keep track of who owns what and who borrowed what from whom, and have a permanent legible record to keep track of these weird webs of contingent obligation.

Ha ha ha, what a fool I was. Here is an announcement from Bitfinex, a bitcoin exchange, that is mind-blowing and wonderful and far weirder than anything a Delaware court could come up with. It has to do with Tuesday's hard fork of bitcoin, in which each holder of a bitcoin ended up with both (1) the original bitcoin, on the original bitcoin blockchain, and (2) a new bitcoin, on a new "Bitcoin Cash" blockchain, which is trying to become a viable alternative flavor of bitcoin. (The convention seems to be to call original bitcoins BTC, and the new Bitcoin Cash bitcoins BCH or BCC. I'll use "BTC" and "BCH" here.) Jian Li writes:

"To use an imperfect analogy from corporate finance, you could think of the fork as a spinoff. For most of PayPal’s life, it was owned by eBay. Holders of the EBAY ticker owned the parent company eBay, which encompassed eBay proper as well as PayPal. On the day of the spinoff, eBay stockholders received, for each EBAY share they owned, one PYPL share. At the same time, they got to keep their existing EBAY shares."

Something a little like that is going on with the bitcoin fork, although it is a bit stranger metaphysically. It is also a bit stranger economically. In a spin-off, you'd expect the original company's value to drop by roughly the value of the spun-off company, which after all it doesn't own any more. BCH spun off from BTC on Tuesday afternoon, and briefly traded over $700 on Wednesday (though it later fell significantly). But BTC hasn't really lost any value since the spinoff, still trading at about $2,700. So just before the spinoff, if you had a bitcoin, you had a bitcoin worth about $2,700. Now, you have a BTC worth about $2,700, and also a BCH worth as much as $700. It's weird free money, if you owned bitcoins yesterday.

But what if you owned negative bitcoins yesterday? What if, that is, you had borrowed bitcoins in order to sell them short? Well, in stock lending situations, the normal way that this works is that the short sellers (stock borrowers) have to come up with whatever is distributed on a stock. If you are short a stock and it pays a $1 dividend, you have to come up with $1. If it spins off a subsidiary, you have to go out and buy a share of the subsidiary to deliver back to your stock lender. If it is acquired in a leveraged buyout for $13.50, you have to come up with $13.50. If it distributes a pony to each shareholder, you have to come up with a pony.

You could imagine bitcoin lenders taking the same approach: If you were short a bitcoin going into the fork, now you have to deliver one BTC and one BCH to your lender. Or not! In fact, when bitcoin distributed a pony of indeterminate value to its holders, Bitfinex decided -- not unreasonably -- that it would be unfair to make bitcoin borrowers come up with it. The value of Bitcoin Cash is uncertain and volatile, and forcing bitcoin shorts to go out and buy Bitcoin Cash to cover their shorts might create artificial demand for it and push up the price. So Bitfinex announced, last week, that short sellers would not have to come up with any BCH.

This creates a problem: If people are long 125 bitcoins, and other people are short 25 bitcoins, then there are a total of 100 bitcoins at the exchange. If there are 100 bitcoins, then 100 BCH will be distributed on them. But if people own 125 of those 100 bitcoins, and if you get only 100 BCH, and if the shorts don't have to come up with the shortfall, then you can't give one BCH to each bitcoin holder. One option here would be to just not give them any BCH, and ignore the whole thing, which seems to be the approach that several bitcoin exchanges took. But Bitfinex took the more customer-friendly -- though pretty ad hoc -- approach of just divvying up the BCH evenly among all the long holders of bitcoins. With my stylized numbers, if people were long 125 bitcoins and short 25, then each long holder would get 0.8 of the 100 BCH distributed to Bitfinex, and the short holders wouldn't have to come up with anything.

But this creates another, funnier problem: That's so easy to game! Here's what you do:

1. Set up an account, borrow one bitcoin, sell it short, collect $2,700.
2. Set up another account, buy a bitcoin, spend $2,700.
3. When the fork happens, your long account ends up with +1 BTC and +0.8 BCH.
4. Your short account ends up with -1 BTC and -0 BCH (because Bitfinex doesn't require you to come up with the BCH).
5. Net, you have $0, 0 BTC and 0.8 BCH.
6, The 0.8 BCH were worth as much as $560.
7. That money was totally free. 

This is such a dumb obvious arbitrage that lots of people tried it. Bitfinex was not happy. "After the methodology announcement on July 27th, several accounts began large-scale manipulation tactics in an attempt to obtain BCH tokens at the expense of exchange longs and lenders on the platform, causing the distribution coefficient to artificially plummet," said the exchange's Wednesday announcement, which claimed that "this kind of manipulation - including wash trading and self-funding shorts - is in violation of Bitfinex’s terms of service." So:

Upon careful review and analysis, we have decided to disallow any hedged BTC balances in excess of any such hedged balances that may have existed at the time of the July 27th distribution announcement. While this may be disappointing to some, it is welcome news to the many users with bona fide BTC exposure through settled wallet balances. This adjustment increases the distribution coefficient from 0.7757 to 0.8539.


Umm? That strikes me as fair, I guess? It is also a mess, though: Bitfinex announced a policy to deal with the fork, people took advantage of the policy, and Bitfinex changed its mind after the fact. Each of its decisions was rational, and quite plausibly the fairest option available to it. None of those decisions were required by, like, the nature of bitcoin, or of short selling: There is no single obviously correct solution to these issues. Instead, each decision was sort of weird and contingent and reversible: not the immutable code of the blockchain, but just humans sitting around and trying to figure out which approach would cause the fewest complaints. In that, it's a bit like the Dole settlement process -- only instead of a neutral judge making decisions based on written contracts and established precedent, it's the people running each exchange making their own judgment calls.

Part of me still stands by my dumb statement about Dole that a blockchain would help. It would help here too! A ledger of who was long and who was short before the fork would perhaps make sorting out these issues easier after the fact. But the bitcoin blockchain doesn't work that way: There's no primitive way to short bitcoins into the blockchain, so exchanges exist in part to provide lending services for people who want to be short. The blockchain has a certain stark logical completeness, but it doesn't address all of the actual human uses required of it. And so it has become encrusted with other human institutions. And those institutions turn out to be unsurprisingly human.


Article Link To The Bloomberg View: