SMTrap Enables Low-Cost DoS Attacks via SMT Conflict Guidance
August 20, 2026
SMTrap is a CPU-only framework that induces long output trajectories in large reasoning models by using SMT solver conflict counts to synthesize heavy Constraint Satisfaction Problems. This approach enables model-feedback-free denial-of-service attacks by correlating SMT conflicts with extensive model backtracking.
HOW THIS AFFECTS YOU
●
researcherYou can use SMT conflict counts as a proxy to study reasoning model vulnerabilities without expensive feedback loops.
●
policyYou should prepare for new classes of low-cost, automated DoS attacks targeting expensive reasoning-heavy APIs.