Comment by bkq

For those wondering Tornado here appears to refer to Tornado Cash [1].

[1]: https://www.aljazeera.com/news/2022/8/8/us-announces-sanctio...