The plaintiffs argued that OFAC exceeded its statutory authority by designating the software as a SDN, claiming that the smart contracts created by the software did not meet the definition of ...