[20250910] merge main into develop#1395

dannywillems merged 2 commits intodevelopo1-labs/mina-rust:developfrom

dw/merge-main-into-develoo1-labs/mina-rust:dw/merge-main-into-develoCopy head branch name to clipboard