Module verifier

Modules

common

Structs

Verifier

Enums

VerifierError

Statics

VERIFIER_INDEX

Functions

get_srs

Returns the SRS on the other curve (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