Module zkapp_command

Structs

AccountUpdateBodyComponents 🔒

AccountUpdateParams 🔒

BodyComponentsParams 🔒

GenZkappCommandParams

Constants

MINIMUM_USER_COMMAND_FEE 🔒

Value of Mina_compile_config.minimum_user_command_fee when we run dune runtest src/lib/staged_ledger -f

Functions

closed_interval_exact 🔒

fee_to_amt 🔒

Fee payer balance change is Neg

gen_account_precondition_from_account 🔒

gen_account_update_body_components 🔒

The type a is associated with the delta field, which is an unsigned fee for the fee payer, and a signed amount for other zkapp_command. The type b is associated with the use_full_commitment field, which is unit for the fee payer, and bool for other zkapp_command. The type c is associated with the token_id field, which is unit for the fee payer, and Token_id.t for other zkapp_command. The type d is associated with the account_precondition field, which is a nonce for the fee payer, and Account_precondition.t for other zkapp_command

gen_account_update_body_fee_payer 🔒

takes an account id, if we want to sign this data

gen_account_update_from 🔒

gen_balance_change 🔒

gen_epoch_data_predicate 🔒

https://github.com/MinaProtocol/mina/blob/2ff0292b637684ce0372e7b8e23ec85404dc5091/src/lib/mina_generators/zkapp_command_generators.ml#L319

gen_fee 🔒

gen_fee_payer 🔒

https://github.com/MinaProtocol/mina/blob/2ff0292b637684ce0372e7b8e23ec85404dc5091/src/lib/mina_generators/zkapp_command_generators.ml#L1046

gen_invalid_protocol_state_precondition 🔒

https://github.com/MinaProtocol/mina/blob/2ff0292b637684ce0372e7b8e23ec85404dc5091/src/lib/mina_generators/zkapp_command_generators.ml#L443

gen_protocol_state_precondition 🔒

https://github.com/MinaProtocol/mina/blob/2ff0292b637684ce0372e7b8e23ec85404dc5091/src/lib/mina_generators/zkapp_command_generators.ml#L367

gen_use_full_commitment 🔒

gen_zkapp_command_from

gen_zkapp_command_from generates a zkapp_command and record the change of accounts accordingly in account_state_tbl. Note that account_state_tbl is optional. If it’s not provided then it would be computed from the ledger. If you plan to generate several zkapp_command, then please manually pass account_state_tbl to gen_zkapp_command_from function. If you are generating several zkapp_command, it’s better to pre-compute the account_state_tbl before you call this function. This way you can manually set the role of fee payer accounts to be Fee_payer in account_state_tbl which would prevent those accounts being used as ordinary participants in other zkapp_command.