Function create

pub fn create(
    zkapp: &ZkAppCommand,
    is_failed: bool,
    find_vk: impl Fn(Fp, &AccountId) -> Result<VerificationKeyWire, String>,
) -> Result<ZkAppCommand, String>

Ensures that there’s a verification_key available for all account_updates and creates a valid command associating the correct keys with each account_id.

If an account_update replaces the verification_key (or deletes it), subsequent account_updates use the replaced key instead of looking in the ledger for the key (ie set by a previous transaction).