South Korea formally recognizes the cryptocurncy trading program