refactor!(workspace): add global separation of syscall kind

core/backend/src/env.rs

@@ -43,8 +43,8 @@ use gear_sandbox::{
     default_executor::{EnvironmentDefinitionBuilder, Instance, Store},
 };
 use gear_wasm_instrument::{
-    GLOBAL_NAME_GAS,
-    syscalls::SyscallName::{self, *},
+    GLOBAL_NAME_GAS, SyscallKind,
+    SyscallName::{self, *},
 };
 #[cfg(feature = "std")]
 use {
@@ -162,7 +162,8 @@ where
     EntryPoint: WasmEntryPoint,
 {
     #[rustfmt::skip]
-    fn bind_funcs(builder: &mut EnvBuilder<Ext>) {
+    fn bind_funcs(builder: &mut EnvBuilder<Ext>, _syscall_kind: SyscallKind) {
+        // FIXME: do not bind all syscalls here
         macro_rules! add_function {
             ($syscall:ident, $func:ident) => {
                 builder.add_func($syscall, wrap_syscall!($func, $syscall));
@@ -271,6 +272,7 @@ where
         entry_point: EntryPoint,
         entries: BTreeSet<DispatchKind>,
         mem_size: WasmPagesAmount,
+        syscall_kind: SyscallKind,
     ) -> Result<Self, EnvironmentError> {
         use EnvironmentError::*;
         use SystemEnvironmentError::*;
@@ -290,7 +292,7 @@ where
 
         builder.add_memory(memory.clone());
 
-        Self::bind_funcs(&mut builder);
+        Self::bind_funcs(&mut builder, syscall_kind);
 
         // Check that we have implementations for all the syscalls.
         // This is intended to panic during any testing, when the

core/backend/src/lib.rs

@@ -74,34 +74,43 @@ mod tests {
             .with_test_writer()
             .init();
 
-        // Make module with one empty function.
-        let mut module = ModuleBuilder::default();
-        module.add_func(FuncType::new([], []), Function::default());
-
-        // Insert syscalls imports.
-        for name in SyscallName::instrumentable(SyscallKind::Vara) {
-            let sign = name.signature();
-            let type_no = module.push_type(sign.func_type());
-
-            module.push_import(Import::func("env", name.to_str(), type_no));
-        }
-
-        let module = InstrumentationBuilder::new("env")
-            .with_gas_limiter(|_| CustomConstantCostRules::default())
-            .instrument(module.build())
+        for syscall_kind in [SyscallKind::Vara, SyscallKind::Eth] {
+            // Make module with one empty function.
+            let mut module = ModuleBuilder::default();
+            module.add_func(FuncType::new([], []), Function::default());
+
+            // Insert syscalls imports.
+            for name in SyscallName::instrumentable(syscall_kind) {
+                let sign = name.signature();
+                let type_no = module.push_type(sign.func_type());
+
+                module.push_import(Import::func("env", name.to_str(), type_no));
+            }
+
+            let module = InstrumentationBuilder::new("env")
+                .with_gas_limiter(|_| CustomConstantCostRules::default())
+                .instrument(module.build())
+                .unwrap();
+            let code = module.serialize().unwrap();
+
+            // Execute wasm and check success.
+            let ext = MockExt::default();
+            let env = Environment::new(
+                ext,
+                &code,
+                DispatchKind::Init,
+                Default::default(),
+                0.into(),
+                syscall_kind,
+            )
             .unwrap();
-        let code = module.serialize().unwrap();
-
-        // Execute wasm and check success.
-        let ext = MockExt::default();
-        let env =
-            Environment::new(ext, &code, DispatchKind::Init, Default::default(), 0.into()).unwrap();
-        let report = env.execute(|_, _, _| {}).unwrap();
+            let report = env.execute(|_, _, _| {}).unwrap();
 
-        let BackendReport {
-            termination_reason, ..
-        } = report;
+            let BackendReport {
+                termination_reason, ..
+            } = report;
 
-        assert_eq!(termination_reason, ActorTerminationReason::Success.into());
+            assert_eq!(termination_reason, ActorTerminationReason::Success.into());
+        }
     }
 }

core/processor/src/common.rs

@@ -22,7 +22,7 @@ use crate::{context::SystemReservationContext, precharge::PreChargeGasOperation}
 use actor_system_error::actor_system_error;
 use alloc::{collections::BTreeMap, string::String, vec::Vec};
 use gear_core::{
-    code::{CodeMetadata, InstrumentedCode},
+    code::{CodeMetadata, InstrumentedCode, SyscallKind},
     env::MessageWaitedType,
     gas::{GasAllowanceCounter, GasAmount, GasCounter},
     ids::{ActorId, CodeId, MessageId, ReservationId},
@@ -542,4 +542,6 @@ pub(crate) struct WasmExecutionContext {
     pub program: Program,
     /// Size of the memory block.
     pub memory_size: WasmPagesAmount,
+    /// What kind of syscall is being executed (Vara or Vara.ETH).
+    pub syscall_kind: SyscallKind,
 }

core/processor/src/context.rs

@@ -23,7 +23,7 @@ use crate::{
     precharge::{ContextCharged, ForModuleInstantiation},
 };
 use gear_core::{
-    code::InstrumentedCodeAndMetadata,
+    code::{InstrumentedCodeAndMetadata, SyscallKind},
     gas::{GasAllowanceCounter, GasCounter},
     ids::ActorId,
     message::IncomingDispatch,
@@ -41,6 +41,7 @@ pub struct ProcessExecutionContext {
     pub(crate) balance: u128,
     pub(crate) program: Program,
     pub(crate) memory_size: WasmPagesAmount,
+    pub(crate) syscall_kind: SyscallKind,
 }
 
 impl ProcessExecutionContext {
@@ -49,6 +50,7 @@ impl ProcessExecutionContext {
         context: ContextCharged<ForModuleInstantiation>,
         instrumented_code_and_metadata: InstrumentedCodeAndMetadata,
         balance: u128,
+        syscall_kind: SyscallKind,
     ) -> Self {
         let (
             destination_id,
@@ -82,6 +84,7 @@ impl ProcessExecutionContext {
             balance,
             program,
             memory_size: allocations_data.memory_size,
+            syscall_kind,
         }
     }
 

core/processor/src/executor.rs

@@ -26,7 +26,7 @@ use crate::{
 };
 use alloc::{format, string::String, vec::Vec};
 use gear_core::{
-    code::{CodeMetadata, InstrumentedCode},
+    code::{CodeMetadata, InstrumentedCode, SyscallKind},
     env::{Externalities, WasmEntryPoint},
     gas::{GasAllowanceCounter, GasCounter, ValueCounter},
     ids::ActorId,
@@ -66,6 +66,7 @@ where
         gas_reserver,
         program,
         memory_size,
+        syscall_kind,
     } = context;
 
     // TODO: consider avoiding cloning here.
@@ -135,6 +136,7 @@ where
             kind,
             program.code_metadata.exports().clone(),
             memory_size,
+            syscall_kind,
         )?;
         env.execute(|ctx, memory, globals_config| {
             Ext::lazy_pages_init_for_program(
@@ -252,6 +254,7 @@ pub fn execute_for_reply<Ext, EP>(
     payload: Vec<u8>,
     gas_limit: u64,
     block_info: BlockInfo,
+    syscall_kind: SyscallKind,
 ) -> Result<Vec<u8>, String>
 where
     Ext: ProcessorExternalities + BackendExternalities + Send + 'static,
@@ -334,6 +337,7 @@ where
             function,
             program.code_metadata.exports().clone(),
             memory_size,
+            syscall_kind,
         )?;
         env.execute(|ctx, memory, globals_config| {
             Ext::lazy_pages_init_for_program(

core/processor/src/processing.rs

@@ -99,6 +99,7 @@ where
         gas_reserver: execution_context.gas_reserver,
         program: execution_context.program,
         memory_size: execution_context.memory_size,
+        syscall_kind: execution_context.syscall_kind,
     };
 
     // Sending fee: double write cost for addition and removal some time soon

core/src/code/mod.rs

@@ -31,6 +31,7 @@ mod metadata;
 mod utils;
 
 pub use errors::*;
+pub use gear_wasm_instrument::SyscallKind;
 pub use instrumented::*;
 pub use metadata::*;
 pub use utils::{ALLOWED_EXPORTS, MAX_WASM_PAGES_AMOUNT, REQUIRED_EXPORTS};
@@ -73,6 +74,8 @@ pub struct TryNewCodeConfig {
     pub check_table_section: bool,
     /// Make wasmparser validation
     pub make_validation: bool,
+    /// Syscall kind for imports check
+    pub syscall_kind: SyscallKind,
 }
 
 impl TryNewCodeConfig {
@@ -103,6 +106,7 @@ impl Default for TryNewCodeConfig {
             check_data_section: true,
             check_table_section: true,
             make_validation: true,
+            syscall_kind: SyscallKind::default(),
         }
     }
 }
@@ -161,7 +165,7 @@ impl Code {
             utils::check_exports(&module)?;
         }
         if config.check_imports {
-            utils::check_imports(&module)?;
+            utils::check_imports(&module, config.syscall_kind)?;
         }
         if let Some(limit) = config.type_section_params_per_type_limit {
             utils::check_type_section(&module, limit)?;
@@ -299,6 +303,7 @@ impl Code {
     ///   )
     /// )
     /// ```
+    #[allow(clippy::too_many_arguments)]
     pub fn try_new<R, GetRulesFn>(
         original_code: Vec<u8>,
         version: u32,
@@ -307,6 +312,7 @@ impl Code {
         data_segments_amount_limit: Option<u32>,
         type_section_len_limit: Option<u32>,
         type_section_params_per_type_limit: Option<u32>,
+        syscall_kind: SyscallKind,
     ) -> Result<Self, CodeError>
     where
         R: Rules,
@@ -321,6 +327,7 @@ impl Code {
                 data_segments_amount_limit,
                 type_section_len_limit,
                 type_section_params_per_type_limit,
+                syscall_kind,
                 ..Default::default()
             },
         )
@@ -454,7 +461,7 @@ mod tests {
     use crate::{
         code::{
             Code, CodeError, DataSectionError, ExportError, GENERIC_OS_PAGE_SIZE, ImportError,
-            StackEndError, TryNewCodeConfig, TypeSectionError, utils::REF_TYPE_SIZE,
+            StackEndError, SyscallKind, TryNewCodeConfig, TypeSectionError, utils::REF_TYPE_SIZE,
         },
         gas_metering::CustomConstantCostRules,
     };
@@ -793,6 +800,7 @@ mod tests {
             None,
             None,
             None,
+            SyscallKind::Vara,
         );
 
         assert_code_err!(res, CodeError::Validation(_));

core/src/code/utils.rs

@@ -148,7 +148,7 @@ pub fn check_exports(module: &Module) -> Result<(), CodeError> {
         .map_err(CodeError::Export)
 }
 
-pub fn check_imports(module: &Module) -> Result<(), CodeError> {
+pub fn check_imports(module: &Module, kind: SyscallKind) -> Result<(), CodeError> {
     let types = module
         .type_section
         .as_ref()
@@ -159,7 +159,7 @@ pub fn check_imports(module: &Module) -> Result<(), CodeError> {
         .as_ref()
         .ok_or(SectionError::NotFound(SectionName::Import))?;
 
-    let syscalls = SyscallName::instrumentable_map(SyscallKind::Vara);
+    let syscalls = SyscallName::instrumentable_map(kind);
 
     let mut visited_imports = BTreeSet::new();
 

ethexe/runtime/common/src/lib.rs

@@ -36,7 +36,10 @@ use ethexe_common::{
 };
 use ext::Ext;
 use gear_core::{
-    code::{CodeMetadata, InstrumentedCode, InstrumentedCodeAndMetadata, MAX_WASM_PAGES_AMOUNT},
+    code::{
+        CodeMetadata, InstrumentedCode, InstrumentedCodeAndMetadata, MAX_WASM_PAGES_AMOUNT,
+        SyscallKind,
+    },
     gas::GasAllowanceCounter,
     gas_metering::Schedule,
     ids::ActorId,
@@ -185,29 +188,26 @@ where
     let block_config = BlockConfig {
         block_info: ctx.block_info,
         forbidden_funcs: [
-            // Deprecated
-            SyscallName::CreateProgramWGas,
-            SyscallName::ReplyCommitWGas,
-            SyscallName::ReplyDeposit,
-            SyscallName::ReplyInputWGas,
-            SyscallName::ReplyWGas,
-            SyscallName::ReservationReplyCommit,
-            SyscallName::ReservationReply,
-            SyscallName::ReservationSendCommit,
-            SyscallName::ReservationSend,
-            SyscallName::ReserveGas,
-            SyscallName::SendCommitWGas,
-            SyscallName::SendInputWGas,
-            SyscallName::SendWGas,
-            SyscallName::SystemReserveGas,
-            SyscallName::UnreserveGas,
-            SyscallName::Wait,
-            // TBD about deprecation
-            SyscallName::SignalCode,
-            SyscallName::SignalFrom,
-            // Temporary forbidden (unimplemented)
-            SyscallName::CreateProgram,
-            SyscallName::Random,
+            SyscallName::CreateProgramWGas,      // Deprecated
+            SyscallName::CreateProgram,          // Unimplemented
+            SyscallName::ReplyDeposit,           // Deprecated
+            SyscallName::SignalCode,             // TBD about deprecation
+            SyscallName::Random,                 // Unimplemented
+            SyscallName::ReplyCommitWGas,        // Deprecated
+            SyscallName::SignalFrom,             // TBD about deprecation
+            SyscallName::ReplyInputWGas,         // Deprecated
+            SyscallName::ReplyWGas,              // Deprecated
+            SyscallName::ReservationReplyCommit, // Deprecated
+            SyscallName::ReservationReply,       // Deprecated
+            SyscallName::ReservationSendCommit,  // Deprecated
+            SyscallName::ReservationSend,        // Deprecated
+            SyscallName::ReserveGas,             // Deprecated
+            SyscallName::SendCommitWGas,         // Deprecated
+            SyscallName::SendInputWGas,          // Deprecated
+            SyscallName::SendWGas,               // Deprecated
+            SyscallName::SystemReserveGas,       // Deprecated
+            SyscallName::UnreserveGas,           // Deprecated
+            SyscallName::Wait,                   // Deprecated
         ]
         .into(),
         gas_multiplier: GasMultiplier::from_value_per_gas(100),
@@ -457,6 +457,7 @@ where
             metadata: code_metadata.clone(),
         },
         program_state.balance,
+        SyscallKind::Eth,
     );
 
     let random_data = ri.random_data();

ethexe/runtime/src/wasm/api/instrument.rs

@@ -18,7 +18,7 @@
 
 use alloc::vec::Vec;
 use gear_core::{
-    code::{Code, CodeError, CodeMetadata, InstrumentedCode},
+    code::{Code, CodeError, CodeMetadata, InstrumentedCode, SyscallKind},
     gas_metering::Schedule,
 };
 
@@ -42,6 +42,7 @@ pub fn instrument_code(original_code: Vec<u8>) -> Option<(InstrumentedCode, Code
         schedule.limits.data_segments_amount.into(),
         schedule.limits.type_section_len.into(),
         schedule.limits.parameters.into(),
+        SyscallKind::Eth,
     )
     .map_err(|e: CodeError| {
         log::debug!("Failed to validate or instrument code: {e:?}");

examples/async-init/Cargo.toml

@@ -20,4 +20,4 @@ gear-wasm-builder.workspace = true
 debug = ["gstd/debug"]
 default = ["std"]
 std = []
-ethexe = ["gstd/ethexe"]
+ethexe = ["gstd/ethexe", "gear-wasm-builder/ethexe"]

examples/async/Cargo.toml

@@ -19,4 +19,4 @@ gear-wasm-builder.workspace = true
 debug = ["gstd/debug"]
 default = ["std"]
 std = []
-ethexe = ["gstd/ethexe"]
+ethexe = ["gstd/ethexe", "gear-wasm-builder/ethexe"]