[0.3.3] - 2026-07-20
====================

Added
-----
- `unstable-verifier-fingerprint` feature flag, gating capture-only tooling
  that exposes the assembled verifier MSM fingerprint and can export it as a
  Lean fixture. This feature is unstable and exempt from semver; it is off by
  default and does not affect proof acceptance.
- `halo2_proofs::plonk::fingerprint` module (behind the
  `unstable-verifier-fingerprint` feature flag):
  - `capture_proof_fingerprint`
  - `ChallengeRecorder`
  - `TranscriptEvent`

Changed
-------
- The `nightly` feature flag now also enables `unstable-verifier-fingerprint`.