Crate charms_client

Modules

tx

Structs

NormalizedSpell

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

NormalizedTransaction

Normalized representation of a Charms transaction.

SpellProverInput

Constants

CURRENT_VERSION

Current version of the protocol.

V0

Version 0 of the protocol.

V0_SPELL_VK

Verification key for version 0 of the charms-spell-checker binary.

V1

Version 1 of the protocol.

V2

Version 2 of the protocol.

V1_SPELL_VK

Verification key for version 1 of the charms-spell-checker binary.

Functions

apps

Return the list of apps in the spell.

charms

Return charms_data::Charms for the given NormalizedCharms.

prev_spells

Extract spells from previous transactions.

to_tx

Convert normalized spell to charms_data::Transaction.

well_formed

Check if the spell is well-formed.

Type Aliases

NormalizedCharms

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

Proof

Proof of correctness of a spell.