Module verifier 

Modules

common

Structs

Verifier

Enums

VerifierError

Statics

VERIFIER_INDEX

Functions

get_srs

Returns the Structured Reference String (SRS) for proof verification. Lazily created and cached globally. Immutable version for verifiers.

get_srs_mut

Returns the SRS on the other curve (Mutex-wrapped version for prover).

verify 🔒

https://github.com/MinaProtocol/mina/blob/bfd1009abdbee78979ff0343cc73a3480e862f58/src/lib/transaction_snark/transaction_snark.ml#L3492

Type Aliases

VerifyCommandsResult

https://github.com/MinaProtocol/mina/blob/bfd1009abdbee78979ff0343cc73a3480e862f58/src/lib/verifier/verifier_intf.ml#L10C1-L36C29