Crate charms_client

Crate charms_client 

Source

Modules§

ark
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.
SpellProverInput

Constants§

CURRENT_VERSION
Current version of the protocol.
MOCK_SPELL_VK
V0
Version 0 of the protocol.
V0_SPELL_VK
Verification key for version 0 of the protocol implemented by charms-spell-checker binary.
V1
Version 1 of the protocol.
V2
Version 2 of the protocol.
V3
Version 3 of the protocol.
V4
Version 4 of the protocol.
V5
Version 5 of the protocol.
V6
Version 6 of the protocol.
V7
Version 7 of the protocol.
V1_SPELL_VK
Verification key for version 1 of the protocol implemented by charms-spell-checker binary.
V2_SPELL_VK
Verification key for version 2 of the protocol implemented by charms-spell-checker binary.
V3_SPELL_VK
Verification key for version 3 of the protocol implemented by charms-spell-checker binary.
V4_SPELL_VK
Verification key for version 4 of the protocol implemented by charms-spell-checker binary.
V5_SPELL_VK
Verification key for version 5 of the protocol implemented by charms-spell-checker binary.
V6_SPELL_VK
Verification key for version 6 of the protocol implemented by charms-proof-wrapper 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.
utxo_id_hash
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 spell correctness.