Module zkapp

Modules

group

Structs

CheckProtocolStateParams 🔒

LedgerProof

LedgerWithHash

With root hash

Spec

StartDataSkeleton

WithStackHash

ZkappCommandSegmentWitness

ZkappCommandWitnessesParams

ZkappCommandsWithContext

ZkappParams

ZkappSingleData

Enums

IsStart

Functions

account_update_proof 🔒

accumulate_call_stack_hashes 🔒

basic_spec 🔒

check_protocol_state 🔒

first_account_update 🔒

generate_zkapp_proof

merge_zkapp_proofs 🔒

of_zkapp_command_segment 🔒

of_zkapp_command_segment_exn 🔒

read_witnesses 🔒

snapp_proof_data 🔒

zkapp_command_witnesses_exn

zkapp_main 🔒

Type Aliases

GlobalStateForProof

LocalStateForProof

LocalStateForWitness

StartData

StartDataForProof