Module provers

Modules

prover_makers 🔒

Macros

get_or_make 🔒

Structs

BlockProver

TransactionProver

ZkappProver

Statics

BLOCK_STEP_PROVER 🔒

BLOCK_WRAP_PROVER 🔒

MERGE_STEP_PROVER 🔒

TX_STEP_PROVER 🔒

TX_WRAP_PROVER 🔒

ZKAPP_STEP_OPT_SIGNED_OPT_SIGNED_PROVER 🔒

ZKAPP_STEP_OPT_SIGNED_PROVER 🔒

ZKAPP_STEP_PROOF_PROVER 🔒

Functions

decode_constraints_data 🔒

decode_gates_file 🔒

default_circuits_config 🔒

devnet_circuit_directory

make_gates 🔒

read_constraints_data 🔒

read_gates_file 🔒