Openmina changes#1

sebastiencs wants to merge 7 commits intofor-3.0.1-devnetopenmina/proof-systems:for-3.0.1-devnetfrom

for-3.0.1-devnet-webnodeopenmina/proof-systems:for-3.0.1-devnet-webnodeCopy head branch name to clipboard