update genesis files for halley/proxima (#4113)

* avoid failure when creating block
* fix init_scripts for stdlib 12
* add tests for halley/proxima
* fix config test

config/example/proxima/genesis_config.json

@@ -527,5 +527,5 @@
   },
   "time_service_type": "RealTimeService",
   "transaction_timeout": 86400,
-  "dag_effective_height": 0
+  "dag_effective_height": 1
 }

config/src/genesis_config.rs

@@ -881,7 +881,8 @@ pub static G_HALLEY_CONFIG: Lazy<GenesisConfig> = Lazy::new(|| {
             min_action_delay: 60 * 60 * 1000, // 1h
         },
         transaction_timeout: ONE_DAY,
-        dag_effective_height: 0,
+        // todo: rollback it to zero and initialize BlockDag properly
+        dag_effective_height: 1u64,
     }
 });
 
@@ -940,7 +941,8 @@ pub static G_PROXIMA_CONFIG: Lazy<GenesisConfig> = Lazy::new(|| {
             min_action_delay: 60 * 1000, // 1 minute
         },
         transaction_timeout: ONE_DAY,
-        dag_effective_height: 0,
+        // todo: rollback it to zero and initialize BlockDag properly
+        dag_effective_height: 1u64,
     }
 });
 

executor/tests/executor_test.rs

@@ -3,6 +3,7 @@
 
 use anyhow::anyhow;
 use anyhow::Result;
+use starcoin_config::{BuiltinNetworkID, ChainNetwork};
 use starcoin_executor::validate_transaction;
 use starcoin_logger::prelude::*;
 use starcoin_transaction_builder::{
@@ -28,8 +29,8 @@ use starcoin_vm_types::vm_status::KeptVMStatus;
 use starcoin_vm_types::{transaction::Package, vm_status::StatusCode};
 use test_helper::executor::{
     account_execute, account_execute_should_success, association_execute_should_success,
-    blockmeta_execute, build_raw_txn, current_block_number, TEST_MODULE, TEST_MODULE_1,
-    TEST_MODULE_2,
+    blockmeta_execute, build_raw_txn, current_block_number, prepare_customized_genesis,
+    TEST_MODULE, TEST_MODULE_1, TEST_MODULE_2,
 };
 
 use test_helper::executor::{
@@ -111,6 +112,34 @@ fn test_flexidag_config_get() {
     assert_eq!(read_version, version);
 }
 
+#[stest::test]
+fn test_flexidag_config_get_for_halley() {
+    let chain_state =
+        prepare_customized_genesis(&ChainNetwork::new_builtin(BuiltinNetworkID::Halley));
+
+    let version = {
+        let mut vm = StarcoinVM::new(None);
+        vm.load_configs(&chain_state).unwrap();
+        vm.get_flexidag_config().unwrap().effective_height
+    };
+
+    assert_eq!(version, 1);
+}
+
+#[stest::test]
+fn test_flexidag_config_get_for_proxima() {
+    let chain_state =
+        prepare_customized_genesis(&ChainNetwork::new_builtin(BuiltinNetworkID::Proxima));
+
+    let version = {
+        let mut vm = StarcoinVM::new(None);
+        vm.load_configs(&chain_state).unwrap();
+        vm.get_flexidag_config().unwrap().effective_height
+    };
+
+    assert_eq!(version, 1);
+}
+
 #[stest::test]
 fn test_consensus_config_get() -> Result<()> {
     let (chain_state, _net) = prepare_genesis();

vm/transaction-builder/src/lib.rs

@@ -350,7 +350,8 @@ pub fn create_signed_txn_with_association_account(
 pub fn build_stdlib_package(net: &ChainNetwork, stdlib_option: StdLibOptions) -> Result<Package> {
     let init_script = match net.genesis_config().stdlib_version {
         StdlibVersion::Version(1) => build_init_script_v1(net),
-        _ => build_init_script_v2(net),
+        version if version < StdlibVersion::Version(12) => build_init_script_v2(net),
+        _ => build_init_script_v3(net),
     };
     stdlib_package(stdlib_option, Some(init_script))
 }