Verify xfgwin with winterfell proofs for production#5

ColinRitman wants to merge 1 commit intomainColinRitman/xfgwin:mainfrom

cursor/verify-xfgwin-with-winterfell-proofs-for-production-1791ColinRitman/xfgwin:cursor/verify-xfgwin-with-winterfell-proofs-for-production-1791Copy head branch name to clipboard