iota_verifier_latest/
lib.rs

1// Copyright (c) Mysten Labs, Inc.
2// Modifications Copyright (c) 2024 IOTA Stiftung
3// SPDX-License-Identifier: Apache-2.0
4
5pub mod verifier;
6
7pub mod authenticator_verifier;
8pub mod entry_points_verifier;
9pub mod global_storage_access_verifier;
10pub mod id_leak_verifier;
11pub mod meter;
12pub mod one_time_witness_verifier;
13pub mod private_generics;
14pub mod runtime_module_metadata;
15pub mod struct_with_key_verifier;
16
17use iota_types::error::{ExecutionError, ExecutionErrorKind};
18use move_core_types::{ident_str, identifier::IdentStr, vm_status::StatusCode};
19
20pub const INIT_FN_NAME: &IdentStr = ident_str!("init");
21pub const TEST_SCENARIO_MODULE_NAME: &str = "test_scenario";
22
23fn verification_failure(error: String) -> ExecutionError {
24    ExecutionError::new_with_source(ExecutionErrorKind::IotaMoveVerificationError, error)
25}
26
27fn to_verification_timeout_error(error: String) -> ExecutionError {
28    ExecutionError::new_with_source(ExecutionErrorKind::IotaMoveVerificationTimeout, error)
29}
30
31/// Runs the Move verifier and checks if the error counts as a Move verifier
32/// timeout NOTE: this function only check if the verifier error is a timeout
33/// All other errors are ignored
34pub fn check_for_verifier_timeout(major_status_code: &StatusCode) -> bool {
35    [
36        StatusCode::PROGRAM_TOO_COMPLEX,
37        // Do we want to make this a substatus of `PROGRAM_TOO_COMPLEX`?
38        StatusCode::TOO_MANY_BACK_EDGES,
39        StatusCode::REFERENCE_SAFETY_INCONSISTENT,
40        StatusCode::BORROWLOC_EXISTS_BORROW_ERROR,
41        StatusCode::COPYLOC_EXISTS_BORROW_ERROR,
42    ]
43    .contains(major_status_code)
44}
iota_verifier_latest/lib.rs

iota_verifier_latest/
lib.rs
