Diffusion-based language models (dLLMs) enable parallel token generation through iterative denoising, but existing decoding strategies collapse to single-token generation under low confidence, severely limiting throughput. Unlike autoregressive models where speculative decoding operates on token sequences in a fixed left-to-right order, dLLMs require speculating over denoising trajectories-sequences of multi-token updates with explicit positions and unmasking orders. We develop a trajectory-level speculative framework that constructs draft denoising trajectories via confidence-stratified tree exploration and verifies them through blockwise parallel evaluation with bidirectional attention masking. Our method further introduces inter-block speculation, exploiting diffusion models' bidirectional structure to perform cross-block lookahead. We formally characterize when this approach is exact and identify trajectory drift as the fundamental cost of increased parallelism. Building on Fast-dLLM's dual-cache infrastructure, our framework reduces denoising iterations by 30-40% and increases tokens-per-step from 2.6 to 4.3, achieving 7-14x speedup over vanilla dLLMs and 1.3x over Fast-dLLM with less than 1% accuracy change across reasoning and code benchmarks.
Figures & tables
Figure 1: Visualization of low-confidence degeneration in parallel decoding for dLLMs. When confidence drops below threshold, existing methods collapse to single-token generation, severely limiting throughput despite dLLMs’ inherent parallel capacity.
Property
Self-Spec
Spiffy
Ours
Speculation granularity
Token
Block
Trajectory
Cross-block lookahead
✗
✗
✓
Tree-based exploration
✗
✗
✓
Lossless verification
✓
✓
∼ ✓
Calibration overhead
Low
High
Low
Speedup (7B models)
∼ 3.46 ×
∼ 7 ×
∼ 14 ×
Table 1: Comparison of speculative decoding methods for dLLMs.
Figure 2: Overview of trajectory-level speculative decoding framework. The method constructs a tree of candidate denoising trajectories, verifies them in parallel using blockwise attention masking, and selects the longest valid path.
Figure 3: Blockwise attention mask construction. Each draft block (shown in different colors) attends bidirectionally to cached prefix and suffix tokens (gray), but draft blocks remain isolated from each other to enable parallel verification of independent trajectories.
Figure 4: Inter-block speculation mechanism. When block Bt+1 exhibits high early confidence, we construct compact draft trees for both Bt and Bt+1 and verify them jointly, exploiting the bidirectional attention structure to enable cross-block lookahead.
Benchmark
Method
TPS↑
Steps↓
Acc.↑
Speedup
GSM8K
Vanilla
4.1
512.0
76.6
1.0 ×
Fast-dLLM (DC)
48.8
110.3
75.6
11.9 ×
Ours
55.7
71.3
75.5
13.6 ×
HumanEval
Vanilla
13.8
512.0
43.9
1.0 ×
Fast-dLLM (DC)
70.6
179.2
45.7
5.1 ×
Ours
94.4
106.7
46.3
6.8 ×
Table 2: Performance on LLaDA-7B-Instruct (A800).
Benchmark
Method
TPS↑
Steps↓
Acc.↑
Speedup
GSM8K
Vanilla
9.0
512.0
76.8
1.0 ×
Fast-dLLM (DC)
50.6
280.6
74.6
5.6 ×
Ours
62.2
164.9
73.7
6.9 ×
HumanEval
Vanilla
16.9
512.0
54.2
1.0 ×
Fast-dLLM (DC)
52.3
295.0
51.2
3.1 ×
Ours
78.1
180.7
54.3
4.6 ×
Table 3: Performance on Dream-7B-Instruct (A800).
Configuration
Tokens/Step
Steps
Latency (s)
Fast-dLLM (DC)
2.61
179.2
6.6
+ Intra W1D1(1)
3.51
134.5
5.6
+ Intra W2D2(3)
3.83
124.0
5.3
+ Intra W3D3(6)
3.95
120.1
5.5
+ Inter W2D2(3)
4.28
106.7
5.0
+ Inter W3D3(6)
4.52
105.1
5.6
Table 4: Ablation on LLaDA-7B (HumanEval, A800).
Figure 5: Computational overhead analysis. Per-step latency increases with the number of draft blocks, but the reduction in total steps yields net speedup. Dashed line indicates cumulative step reduction. Optimal tree size depends on hardware capability and the overhead-reduction trade-off.
Sequence Length
Configuration
32
128
512
2048
w1d1
2.52
3.50
1.27
0.86
w2d1
7.57
6.94
1.69
1.15
w3d1
6.50
5.80
1.54
1.08
w2d2
8.25
6.72
1.86
1.29
w2d3
7.64
4.97
1.80
1.35
Table 5: Tree construction overhead ratio (%) on A100 across sequence lengths.
Configuration
A100 ( μ s)
H100 ( μ s)
w1d1
60.38
37.22
w2d1
60.22
36.03
w3d1
63.14
37.76
w2d2
63.23
37.82
w2d3
74.18
43.23
w3d3
97.95
41.95
Table 6: Fused multi-head attention latency (in μ s) on A100 and H100.
Appendix figures & tables8 assets
Supplementary material from the paper’s appendix.
Appendix
Figure 6: Example of tree-based draft trajectory construction. The root block contains high-confidence tokens (positions 0-31). Child blocks explore alternative predictions at low-confidence positions 12, 18, 24. Each path represents a complete denoising trajectory verified in parallel.
Strategy
Steps
Latency/Step (s)
Total Latency (s)
Hybrid W2D2(3)
124.0
0.043
5.3
+ top-2 W2D2(4)
123.9
0.045
5.6
+ full tree W2D2(4)
124.9
0.045
5.6
+ duplicated W2D2(4)
125.0
0.043
5.3
Hybrid W3D3(6)
120.1
0.046
5.5
+ top-2 W4D3(8)
119.3
0.054
6.4
Appendix
Table 7: Ablation of tree expansion strategies (HumanEval, A800).