drive/verify/state_transition/
mod.rs

1/// Provides functions to verify that a state transition was executed using a cryptographic proof.
2pub mod verify_state_transition_was_executed_with_proof;
3
4/// Defines path queries needed to verify state transitions based on their type and expected result.
5pub mod state_transition_execution_path_queries;