Crate charms_client 

Modules

ark

bitcoin_tx

cardano_tx

sorted_app_map

tx

Structs

BeamSource

Source of a beamed input: the UTXO that beamed the charms, with an optional nonce.

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.

V8

Version 8 of the protocol.

V9

Version 9 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.

V7_SPELL_VK

Verification key for version 7 of the protocol implemented by charms-proof-wrapper binary.

V8_SPELL_VK

Verification key for version 8 of the protocol implemented by charms-proof-wrapper binary.

V9_SPELL_VK

Verification key for version 9 of the protocol implemented by charms-proof-wrapper binary.

V10

Version 10 of the protocol.

V11

Version 11 of the protocol.

V10_SPELL_VK

Verification key for version 10 of the protocol implemented by charms-proof-wrapper binary.

Functions

apps

Return the list of apps in the spell.

beamed_out_to_hash

charms

Return charms_data::Charms for the given NormalizedCharms.

ensure_no_zero_amounts

is_correct

Check if the spell is correct.

prev_spells

Extract spells from previous transactions.

to_tx

Convert normalized spell to charms_data::Transaction.

utxo_id_hash

utxo_id_hash_with_nonce

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.