execution vs abstraction crypto