Native proof verification#3

lucadonnoh wants to merge 1 commit intomainl2beat/native-rollups:mainfrom

native-verificationl2beat/native-rollups:native-verificationCopy head branch name to clipboard