According to the US Treasury, using Tornado Cash is strictly forbidden, but interacting with its code is not.
