Module user_command_verify

Expand description

§User Command Verification State Machine

This module handles the verification of user commands and zkApp transactions within the Mina protocol. It manages SNARK validation for transactions before they are included in blocks.

§Overview

User command verification validates:

Payment transactions: Simple value transfers between accounts
Delegation commands: Stake delegation operations
zkApp transactions

§Verification Process

The verification process includes:

Signature validation for transaction authorization
Proof verification for zkApp transactions
Account state consistency checks
Fee and nonce validation

Re-exports§

pub use crate::user_command_verify_effectful::SnarkUserCommandVerifyError;
pub use crate::user_command_verify_effectful::SnarkUserCommandVerifyId;
pub use crate::user_command_verify_effectful::SnarkUserCommandVerifyIdType;