[0.3.4] - 2026-07-22
====================

Changed
-------
- `halo2_proofs::plonk::VerifyingKey::dump_vesta_lean_fixture` (behind the
  `unstable-verifier-fingerprint` feature flag) now takes the verifier's
  public `instances` (as in `verify_proof`) in place of the `num_proofs`
  count. The exporter re-derives each instance commitment from the public
  inputs and fails fast unless it reproduces the captured commitment, and the
  exported fixture now emits the public inputs, their derivation, and an
  `instance_commitments_derived` cross-check theorem. The exported Lean `vk`
  now mirrors the Rust `VerifyingKey` field-for-field; its synthesized
  `instanceCommitment` field has been removed.