PACZero: PAC-Private Fine-Tuning of Language Models via Sign Quantization

TL;DR

PACZero introduces a novel privacy-preserving fine-tuning method for large language models using sign quantization, achieving high utility at zero mutual information, thus resisting membership inference attacks.

Contribution

It proposes PACZero, a family of PAC-private zeroth-order mechanisms that enable effective fine-tuning of language models with strong privacy guarantees and competitive performance.

Findings

PACZero-ZPL achieves 88.99% accuracy on SST-2 at zero mutual information.

PACZero methods outperform prior approaches in high-privacy regimes.

The approach maintains utility close to non-private baselines at strict privacy levels.

Abstract

We introduce PACZero, a family of PAC-private zeroth-order mechanisms for fine-tuning large language models that delivers usable utility at $I(S^*; Y_{1:T})=0$. This privacy regime bounds the membership-inference attack (MIA) posterior success rate at the prior, an MIA-resistance level the DP framework matches only at $\varepsilon=0$ and infinite noise. All DP-ZO comparisons below are matched at the MIA posterior level. The key insight is that PAC Privacy charges mutual information only when the release depends on which candidate subset is the secret. Sign-quantizing subset-aggregated zeroth-order gradients creates frequent unanimity, steps at which every candidate subset agrees on the update direction; at these steps the released sign costs zero conditional mutual information. We propose two variants that span the privacy-utility trade-off: PACZero-MI (budgeted MI via exact calibration on the binary release) and PACZero-ZPL ($I=0$ via a uniform coin flip on disagreement steps). We evaluate on SST-2 and SQuAD with OPT-1.3B and OPT-6.7B in both LoRA and full-parameter tracks. On SST-2 OPT-1.3B full fine-tuning at $I=0$, PACZero-ZPL reaches ${88.99\pm0.91}$, within $2.1$pp of the non-private MeZO baseline ($91.1$ FT). No prior method produces usable utility in the high-privacy regime $\varepsilon<1$, and PACZero-ZPL obtains competitive SST-2 accuracy and nontrivial SQuAD F1 across OPT-1.3B and OPT-6.7B at $I=0$.