Module proofs

Source

Re-exportsยง

pub use zkapp::generate_zkapp_proof;

Modulesยง

accumulator_check
block
caching
circuit_blobs ๐Ÿ”’
constants
conv ๐Ÿ”’
field
group_map
merge
numbers
opt_sponge
prover ๐Ÿ”’
provers
public_input
step
to_field_elements
transaction
transition_chain
unfinalized
urs_utils ๐Ÿ”’
util
verification
verifiers
witness
wrap
zkapp

Constantsยง

BACKEND_TICK_ROUNDS_N
BACKEND_TOCK_ROUNDS_N

Functionsยง

generate_block_proof
generate_merge_proof
generate_tx_proof

Type Aliasesยง

ProverIndex
ProverProof
VerifierIndex