Module verifiers 

Macros

make_with_ext_cache 🔒

read_cache 🔒

Structs

BlockVerifier

Verifier index for block proofs (consensus layer / block selection). Lazily initialized and cached globally.

TransactionVerifier

Verifier index for transaction proofs (execution layer / transaction confirmation). Lazily initialized and cached globally.

Enums

Kind 🔒

Statics

BLOCK_VERIFIER 🔒

TX_VERIFIER 🔒

Functions

cache_filename 🔒

cache_path 🔒

make_shifts

https://github.com/MinaProtocol/mina/blob/bfd1009abdbee78979ff0343cc73a3480e862f58/src/lib/crypto/kimchi_bindings/stubs/src/pasta_fq_plonk_verifier_index.rs#L213 https://github.com/MinaProtocol/mina/blob/bfd1009abdbee78979ff0343cc73a3480e862f58/src/lib/pickles/common.ml#L16C1-L25C58

make_verifier_index 🔒

make_with_ext_cache 🔒

make_zkapp_verifier_index

https://github.com/MinaProtocol/mina/blob/bfd1009abdbee78979ff0343cc73a3480e862f58/src/lib/pickles/side_loaded_verification_key.ml#L206

read_cache 🔒

wrap_domains

write_cache 🔒