Catena Efficient Non equivocation via Bitcoin