Module constants 

Structs

StepBlockProof

StepMergeProof

StepTransactionProof

StepZkappOptSignedOptSignedProof

StepZkappOptSignedProof

StepZkappProvedProof

WrapBlockProof

WrapData

WrapMergeProof

WrapTransactionProof

WrapZkappOptSignedProof

WrapZkappProof

Using signature authorization

WrapZkappProvedProof

Using proof authorization

Traits

ForWrapData

ProofConstants

Functions

default_step_domains 🔒

default_step_widths 🔒

default_wrap_domain_indices 🔒

make_step_block_data

make_step_transaction_data

make_step_zkapp_data

Zkapps using proof authorization