Module state_transition 

Verifies that a state transition contents exist in the proof

Modules

state_transition_execution_path_queries

Defines path queries needed to verify state transitions based on their type and expected result.

verify_state_transition_was_executed_with_proof

Provides functions to verify that a state transition was executed using a cryptographic proof. Verifies the execution of a state transition using a provided proof.