DLCの一つの応用例：TFC (Trustless Forward Contracts)の説明。