CASP1 and deep vein thrombosis: In order to confirm the effects of DVT formation by miR-513c-5p-specific targeting of caspase-1, the DVT mice models were injected with vx-765 and miR-513c-5p inhibitor in combination.