1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

// Copyright 2019-2024 ChainSafe Systems
// SPDX-License-Identifier: Apache-2.0, MIT

/// Implements `Verifier`, requiring proper `Manifest` types and system actor
/// `State` types being defined by `define_manifests` and `define_system_states`
/// macros respectively.
#[macro_export]
macro_rules! impl_verifier {
    () => {
        pub(super) mod verifier {
            use $crate::cid_collections::CidHashMap;
            use $crate::shim::{address::Address, machine::BuiltinActorManifest, state_tree::StateTree};
            use $crate::state_migration::common::{verifier::ActorMigrationVerifier, Migrator};
            use $crate::utils::db::CborStoreExt as _;
            use ::fvm_ipld_blockstore::Blockstore;
            use super::*;

            #[derive(Default)]
            pub struct Verifier {}

            impl<BS: Blockstore> ActorMigrationVerifier<BS> for Verifier {
                fn verify_migration(
                    &self,
                    store: &BS,
                    migrations: &CidHashMap<Migrator<BS>>,
                    actors_in: &StateTree<BS>,
                ) -> anyhow::Result<()> {
                    let system_actor = actors_in
                        .get_required_actor(&Address::SYSTEM_ACTOR)?;
                    let system_actor_state = store
                        .get_cbor_required::<SystemStateOld>(&system_actor.state)?;
                    let manifest =
                        BuiltinActorManifest::load_v1_actor_list(&store, &system_actor_state.builtin_actors)?;
                    let manifest_actors_count = manifest.builtin_actors().len();
                    if manifest_actors_count == migrations.len() {
                        tracing::debug!("Migration spec is correct.");
                    } else {
                        tracing::warn!(
                            "Incomplete migration spec. Count: {}, expected: {manifest_actors_count}",
                            migrations.len()
                        );
                    }

                    Ok(())
                }
            }
        }
    };
}