PRF hash of previous $k$ tokens splits the vocabulary into green ($\gamma|V|$) and red. Add $\delta$ (here $\delta=2$) to green logits before softmax. Most likely token shifts: couch → chair.
Soft red/green watermark:
Hyperparameters:
Kirchenbauer et al., ICML 2023, § 3