chore(main): release prover 25.0.1#4714

zksync-era-bot wants to merge 2 commits intomainmatter-labs/zksync-era:mainfrom

release-please--branches--main--components--provermatter-labs/zksync-era:release-please--branches--main--components--proverCopy head branch name to clipboard