Mina code analysis

1 Introduction

The Mina series of blogs includes:

• MinaOverview
• Mina's payment process
• Mina's zkApp
• Pasta (Pallas and Vesta) Curves in Mina
• Schnorr signature in Mina
• Pickles SNARK in Mina
• Kimchi SNARK in Mina
• Mina Kimchi SNARK code analysis
• Mina Berkeley QANet testnet zkApp first experience
• Poseidon hash in Mina
• Polynomial commitment scheme in Mina
• Recursive SNARKs总览
• Mina Technical White Paper

The code is:

• https://github.com/MinaProtocol/mina/ (OCaml, etc.)

Download all submodules:

git submodule update --init --recursive

Install opam dependencies:

./scripts/setup-opam.sh

Compile: [If there is a deprecated error, install the specified version of the dependency package]

make build

run:

$ dune exe src/app/cli/src/mina.exe -- h
Mina

  mina.exe SUBCOMMAND

=== subcommands ===

  accounts                    Client commands concerning account management
  daemon                      Mina daemon
  client                      Lightweight client commands
  advanced                    Advanced client commands
  ledger                      Ledger commands
  internal                    Internal commands
  parallel-worker             internal use only
  transaction-snark-profiler  transaction snark profiler
  integration-tests           Integration tests
  version                     print version information
  help                        explain a given subcommand (perhaps recursively)