Trex1 KO小鼠是一种基因敲除（KO）模型，通过基因编辑技术敲除了小鼠体内Trex1基因（人类TREX1基因的同源基因）的蛋白编码序列。初步验证数据表明，纯合Trex1 KO小鼠通常于3-4月龄死于心肌炎，部分3月龄纯合子虽具备生育能力，但多数因较早出现虚弱症状而无法参与繁殖。该模型可用于Aicardi-Goutières综合征（AGS）、系统性红斑狼疮（SLE）、家族性冻疮样狼疮（FCL）及视网膜血管病伴脑白质脑病（RVCL）等致病机制研究，并为相关治疗手段的研发提供研究基础。