snark/user_command_verify/
mod.rs

1//! # User Command Verification State Machine
2//!
3//! This module handles the verification of user commands and zkApp transactions
4//! within the Mina protocol. It manages SNARK validation for transactions
5//! before they are included in blocks.
6//!
7//! ## Overview
8//!
9//! User command verification validates:
10//! - **Payment transactions**: Simple value transfers between accounts
11//! - **Delegation commands**: Stake delegation operations
12//! - **zkApp transactions**
13//!
14//! ## Verification Process
15//!
16//! The verification process includes:
17//! - Signature validation for transaction authorization
18//! - Proof verification for zkApp transactions
19//! - Account state consistency checks
20//! - Fee and nonce validation
21
22mod snark_user_command_verify_state;
23pub use snark_user_command_verify_state::*;
24
25mod snark_user_command_verify_actions;
26pub use snark_user_command_verify_actions::*;
27
28mod snark_user_command_verify_reducer;
29pub use snark_user_command_verify_reducer::reducer;
30
31pub use crate::user_command_verify_effectful::{
32    SnarkUserCommandVerifyError, SnarkUserCommandVerifyId, SnarkUserCommandVerifyIdType,
33};