За життя

Про самопринуждающие протоколы

У Bruce Schneier в блоге появилась статья о протоколах (алгоритме какого-либо действия), своей сутью обеспечивающих честное выполнение условий сторонами. Классический пример - как поделить что-то пополам: первый делит, а второй выбирает себе кусок. Таким образом первый вынужден делить максимально точно поровну.
Пример с налогами на недвижимость (владелец платит налог с суммы, в которую он оценивает дом, а государство имеет право выкупить дом по этой цене) мне совсем не понравился: субъективная ценность имущества обычно выше как рыночной стоимости собственно материального актива, так и вложенных в дом времени и сил. Таким образом получается налогообложение не только финансовой части, но и личного времени (а с каких пор оно стало объектом налогообложения?).
Но в общем, есть над чем подумать ...