Implementing Bitcoin covenants