chore: update naming in bb_proof_verification lib#18269

Merged

ledwards2225 merged 1 commit into

merge-train/barretenbergfrom

lde/verification-lib-naming

Nov 7, 2025

Netlify / Redirect rules - aztec-docs-dev succeeded Nov 7, 2025 in 3m 14s

81 redirect rules processed

All redirect rules processed without errors.

View more details on Netlify