OFAC delisted Tornado Cash from its sanctions list in March of this year, after another appeals court — the Fifth Circuit — ruled that it could not sanction smart contracts. And in April, a district court judge also in the Fifth Circuit ruled that OFAC could not sanction Tornado Cash again. After several extensions of the abeyance period, this decision became legally binding on June 28. The government agreed not to appeal the decision.