F*****ing Nick Szabo, Smart Transactions and Securities