Mina verifiers

[gabrielbosio]

Mina verifiers

Implements Mina State verifier and Mina Account inclusion verifier.

Components

• Mina State verifier: Runs a Pickles verification of a Mina State proof and checks that the Mina State is from a chain that was agreed by the network as safe. This proof can be fetched from Mina Devnet (link to Docker image) or from Mina Mainnet (link to Docker image).
• Mina Account Inclusion verifier: Runs a Merkle proof verification to check that a Mina account is present in the Mina Ledger.

Details

• Changes Go workflow runner to use Aligned runner because of memory limitations when adding Mina jobs.
• Adds Make commands to send Mina test proofs and build and test Mina FFIs.
  • Documents in the guide how to send Mina test proofs.
• Logs gas used in Aggregator and Mina verifiers.
• Patches Arkworks in Batcher so that it uses OpenMina's fork.
• Implements Mina State verifier and Mina Account inclusion verifier.
• Adds Mina and MinaAccount to ProvingSystemId enum.

[Oppen]

Converted to draft due to not being a priority for mainnet

[gabrielbosio]

Closing in favor of #2163