Module generators

Modules

user_command

zkapp_command

zkapp_command_builder

Enums

Failure

https://github.com/MinaProtocol/mina/blob/3753a8593cc1577bcf4da16620daf9946d88e8e5/src/lib/mina_generators/zkapp_command_generators.ml#L7

NotPermitedOf

https://github.com/MinaProtocol/mina/blob/3753a8593cc1577bcf4da16620daf9946d88e8e5/src/lib/mina_generators/zkapp_command_generators.ml#L7

Role

https://github.com/MinaProtocol/mina/blob/3753a8593cc1577bcf4da16620daf9946d88e8e5/src/lib/mina_generators/zkapp_command_generators.ml#L20

Constants

ACCOUNT_CREATION_FEE 🔒

Value when we run dune runtest src/lib/staged_ledger -f

LEDGER_DEPTH 🔒

Value of ledger_depth when we run dune runtest src/lib/staged_ledger -f

MAX_ACCOUNT_UPDATES 🔒

keep max_account_updates small, so zkApp integration tests don’t need lots of block producers because the other zkapp_command are split into a permissions-setter and another account_update, the actual number of other zkapp_command is twice this value, plus one, for the “balancing” account_update when we have separate transaction accounts in integration tests this number can be increased

MAX_TOKEN_UPDATES 🔒

https://github.com/MinaProtocol/mina/blob/3753a8593cc1577bcf4da16620daf9946d88e8e5/src/lib/mina_generators/zkapp_command_generators.ml#L1113

MINIMUM_USER_COMMAND_FEE 🔒