Crate charms_lib 

Modules

bitcoin_tx

cardano_tx

tx

Structs

NormalizedSpell

Normalized representation of a spell. Can be committed as public input.

NormalizedTransaction

Normalized representation of a Charms transaction.

Constants

SPELL_VK

Verification key for the current charms-spell-checker binary (and the current protocol version).

Functions

extract_and_verify_spell

Type Aliases

NormalizedCharms

Maps the index of the charm’s app (in NormalizedSpell.app_public_inputs) to the charm’s data.