Apps

Charms exist to make programmable assets possible on Bitcoin.

So, what are Charms apps?

Here’s the code structure of such app contract (in Rust):

use charms_sdk::data::{
    charm_values, check, sum_token_amount, App, Data, Transaction, NFT, TOKEN,
};

/// The entry point of the app. This function defines the app contract
/// that needs to be satisfied for the transaction spell to be correct.
pub fn app_contract(app: &App, tx: &Transaction, x: &Data, w: &Data) -> bool {
    match app.tag {
        NFT => {
            check!(nft_contract_satisfied(app, tx, w))
        }
        TOKEN => {
            check!(token_contract_satisfied(app, tx))
        }
        _ => unreachable!(),
    }
    true
}

fn nft_contract_satisfied(app: &App, tx: &Transaction, w: &Data) -> bool {
    let token_app = &App {
        tag: TOKEN,
        identity: app.identity.clone(),
        vk: app.vk.clone(),
    };
    check!(can_mint_nft(app, tx, w) || can_mint_token(&token_app, tx));
    true
}

fn token_contract_satisfied(token_app: &App, tx: &Transaction) -> bool {
    check!(can_mint_token(token_app, tx));
    true
}

// ... `can_mint_nft` and `can_mint_token` implementations ...

Get a full working example by running:

charms app new my-tokens

app_contract is the predicate that needs to be satisfied by the transaction. If all such predicates (for all apps participating in the spell) are satisfied AND all pre-requisite transactions have correct spells, then and only then this transaction’s spell is correct.