MAST: смарт-контракты на Биткойне