Module verification

Modules

on_fail 🔒

Dump data when it fails, to reproduce and compare in OCaml

Structs

LimitedDomain 🔒

VK

https://github.com/MinaProtocol/mina/blob/4e0b324912017c3ff576704ee397ade3d9bda412/src/lib/pickles/verification_key.mli#L30

VerificationContext

Functions

batch_verify 🔒

batch_verify_impl 🔒

compute_deferred_values 🔒

get_message_for_next_step_proof 🔒

get_message_for_next_wrap_proof 🔒

get_prepared_statement 🔒

make_scalars_env

prev_evals_from_p2p

prev_evals_to_p2p

run_checks 🔒

validate_feature_flags 🔒

verify_block

verify_impl 🔒

verify_transaction

verify_with 🔒

verify_zkapp

https://github.com/MinaProtocol/mina/blob/bfd1009abdbee78979ff0343cc73a3480e862f58/src/lib/crypto/kimchi_bindings/stubs/src/pasta_fq_plonk_proof.rs#L116