Mina zkApp + Proof Market example

This section describes a step-by-step workflow to validate Mina's (Kimchi/Pickles-based) proofs in EVM via =nil; Proof Market.