fn verify_tx_correctness(mut tx: FranklinTx) -> Result<FranklinTx, TxAddError> {
    if !tx.check_correctness() {
        return Err(TxAddError::IncorrectTx);
    }

    Ok(tx)
}
/// Verifies the correctness of the ZKSync transaction (including the
/// signature check).
Verifies the correctness of the ZKSync transaction (including the
signature check).
Verifies the correctness of the ZKSync transaction ( including the signature check ) .
fn verify_tx_correctness(mut tx: FranklinTx) -> Result<FranklinTx, TxAddError> {
    if !tx.check_correctness() {
        return Err(TxAddError::IncorrectTx);
    }
    Ok(tx)
}
fn verify_tx_correctness ( mut tx : FranklinTx ) -> Result < FranklinTx , TxAddError > { if ! tx . check_correctness ( ) { return Err ( TxAddError :: IncorrectTx ) ; } Ok ( tx ) }
Verifies the correctness of the ZKSync transaction (including the
signature check).
Verifies the correctness of the ZKSync transaction ( including the signature check ) .
tx
FranklinTx