P22 with wasmi reverted to 031

Cargo.toml

@@ -21,7 +21,7 @@ exclude = ["soroban-test-wasms/wasm-workspace"]
 # code guarded by `unstable-*` features to make it enabled
 # unconditionally.
 version = "22.0.0"
-rust-version = "1.79.0"
+rust-version = "1.81.0"
 
 [workspace.dependencies]
 soroban-env-common = { version = "=22.0.0", path = "soroban-env-common", default-features = false }
@@ -41,10 +41,9 @@ default-features = false
 
 [workspace.dependencies.wasmi]
 package = "soroban-wasmi"
-version = "=0.36.0-soroban.22.0.0"
+version = "=0.31.1-soroban.20.0.1"
 git = "https://github.com/stellar/wasmi"
-rev = "122a74a7c491929e5ac9de876099154ef7c06d06"
-features = ["no-hash-maps"]
+rev = "0ed3f3dee30dc41ebe21972399e0a73a41944aa0"
 
 # [patch."https://github.com/stellar/rs-stellar-xdr"]
 # [patch.crates-io]

soroban-env-common/Cargo.toml

@@ -16,7 +16,7 @@ crate-git-revision = "0.0.6"
 [dependencies]
 soroban-env-macros = { workspace = true }
 stellar-xdr = { workspace = true, default-features = false, features = [ "curr" ] }
-wasmi = { workspace = true, optional = true, features = ["no-hash-maps"] }
+wasmi = { workspace = true, optional = true }
 wasmparser = { workspace = true, optional = true}
 serde = { version = "1.0.192", features = ["derive"], optional = true }
 static_assertions = "1.1.0"

soroban-env-common/src/error.rs

@@ -201,13 +201,6 @@ impl From<wasmi::core::TrapCode> for Error {
 #[cfg(feature = "wasmi")]
 impl From<wasmi::errors::FuncError> for Error {
     fn from(err: wasmi::errors::FuncError) -> Self {
-        (&err).into()
-    }
-}
-
-#[cfg(feature = "wasmi")]
-impl From<&wasmi::errors::FuncError> for Error {
-    fn from(err: &wasmi::errors::FuncError) -> Self {
         let ec = match err {
             wasmi::errors::FuncError::ExportedFuncNotFound => ScErrorCode::MissingValue,
             wasmi::errors::FuncError::MismatchingParameterType
@@ -227,20 +220,20 @@ impl From<wasmi::Error> for Error {
         const INDEX_BOUND: Error =
             Error::from_type_and_code(ScErrorType::WasmVm, ScErrorCode::IndexBounds);
 
-        match e.kind() {
-            wasmi::errors::ErrorKind::Memory(e) => match e {
+        match e {
+            wasmi::Error::Memory(e) => match e {
                 wasmi::errors::MemoryError::OutOfBoundsAllocation
                 | wasmi::errors::MemoryError::OutOfBoundsGrowth => return EXCEEDED_LIMIT,
                 wasmi::errors::MemoryError::OutOfBoundsAccess => return INDEX_BOUND,
                 _ => (),
             },
-            wasmi::errors::ErrorKind::Table(e) => match e {
+            wasmi::Error::Table(e) => match e {
                 wasmi::errors::TableError::GrowOutOfBounds { .. } => return EXCEEDED_LIMIT,
                 wasmi::errors::TableError::AccessOutOfBounds { .. }
                 | wasmi::errors::TableError::CopyOutOfBounds => return INDEX_BOUND,
                 _ => (),
             },
-            wasmi::errors::ErrorKind::Instantiation(e) => match e {
+            wasmi::Error::Instantiation(e) => match e {
                 wasmi::errors::InstantiationError::Memory(me) => match me {
                     wasmi::errors::MemoryError::OutOfBoundsAllocation
                     | wasmi::errors::MemoryError::OutOfBoundsGrowth => return EXCEEDED_LIMIT,
@@ -255,18 +248,20 @@ impl From<wasmi::Error> for Error {
                 },
                 _ => (),
             },
-            wasmi::errors::ErrorKind::Fuel(e) => {
+            wasmi::Error::Store(e) => {
                 if let wasmi::errors::FuelError::OutOfFuel = e {
                     return EXCEEDED_LIMIT;
                 }
             }
-            wasmi::errors::ErrorKind::TrapCode(code) => {
-                return (*code).into();
+            wasmi::Error::Trap(trap) => {
+                if let Some(code) = trap.trap_code() {
+                    return code.into();
+                }
             }
-            wasmi::errors::ErrorKind::Func(e) => {
+            wasmi::Error::Func(e) => {
                 return e.into();
             }
-            wasmi::errors::ErrorKind::Global(e) => {
+            wasmi::Error::Global(e) => {
                 if matches!(e, wasmi::errors::GlobalError::TypeMismatch { .. }) {
                     return Error::from_type_and_code(
                         ScErrorType::WasmVm,

soroban-env-common/src/val.rs

@@ -404,14 +404,14 @@ impl_tryfroms_and_tryfromvals_delegating_to_valconvert!(Error);
 
 #[cfg(feature = "wasmi")]
 pub trait WasmiMarshal: Sized {
-    fn try_marshal_from_value(v: wasmi::Val) -> Option<Self>;
-    fn marshal_from_self(self) -> wasmi::Val;
+    fn try_marshal_from_value(v: wasmi::Value) -> Option<Self>;
+    fn marshal_from_self(self) -> wasmi::Value;
 }
 
 #[cfg(feature = "wasmi")]
 impl WasmiMarshal for Val {
-    fn try_marshal_from_value(v: wasmi::Val) -> Option<Self> {
-        if let wasmi::Val::I64(i) = v {
+    fn try_marshal_from_value(v: wasmi::Value) -> Option<Self> {
+        if let wasmi::Value::I64(i) = v {
             let v = Val::from_payload(i as u64);
             if v.is_good() {
                 Some(v)
@@ -423,38 +423,38 @@ impl WasmiMarshal for Val {
         }
     }
 
-    fn marshal_from_self(self) -> wasmi::Val {
-        wasmi::Val::I64(self.get_payload() as i64)
+    fn marshal_from_self(self) -> wasmi::Value {
+        wasmi::Value::I64(self.get_payload() as i64)
     }
 }
 
 #[cfg(feature = "wasmi")]
 impl WasmiMarshal for u64 {
-    fn try_marshal_from_value(v: wasmi::Val) -> Option<Self> {
-        if let wasmi::Val::I64(i) = v {
+    fn try_marshal_from_value(v: wasmi::Value) -> Option<Self> {
+        if let wasmi::Value::I64(i) = v {
             Some(i as u64)
         } else {
             None
         }
     }
 
-    fn marshal_from_self(self) -> wasmi::Val {
-        wasmi::Val::I64(self as i64)
+    fn marshal_from_self(self) -> wasmi::Value {
+        wasmi::Value::I64(self as i64)
     }
 }
 
 #[cfg(feature = "wasmi")]
 impl WasmiMarshal for i64 {
-    fn try_marshal_from_value(v: wasmi::Val) -> Option<Self> {
-        if let wasmi::Val::I64(i) = v {
+    fn try_marshal_from_value(v: wasmi::Value) -> Option<Self> {
+        if let wasmi::Value::I64(i) = v {
             Some(i)
         } else {
             None
         }
     }
 
-    fn marshal_from_self(self) -> wasmi::Val {
-        wasmi::Val::I64(self)
+    fn marshal_from_self(self) -> wasmi::Value {
+        wasmi::Value::I64(self)
     }
 }
 

soroban-env-common/src/wrapper_macros.rs

@@ -84,7 +84,7 @@ macro_rules! impl_wrapper_wasmi_conversions {
         // wasmi / VM argument support
         #[cfg(feature = "wasmi")]
         impl $crate::WasmiMarshal for $wrapper {
-            fn try_marshal_from_value(v: wasmi::Val) -> Option<Self> {
+            fn try_marshal_from_value(v: wasmi::Value) -> Option<Self> {
                 if let Some(val) = $crate::Val::try_marshal_from_value(v) {
                     if <Self as $crate::val::ValConvert>::is_val_type(val) {
                         return Some(unsafe {
@@ -95,7 +95,7 @@ macro_rules! impl_wrapper_wasmi_conversions {
                 None
             }
 
-            fn marshal_from_self(self) -> wasmi::Val {
+            fn marshal_from_self(self) -> wasmi::Value {
                 $crate::Val::marshal_from_self(self.to_val())
             }
         }
@@ -188,17 +188,17 @@ macro_rules! declare_wasmi_marshal_for_enum {
     ($ENUM:ident) => {
         #[cfg(feature = "wasmi")]
         impl $crate::WasmiMarshal for $ENUM {
-            fn try_marshal_from_value(v: wasmi::Val) -> Option<Self> {
-                if let wasmi::Val::I64(i) = v {
+            fn try_marshal_from_value(v: wasmi::Value) -> Option<Self> {
+                if let wasmi::Value::I64(i) = v {
                     use num_traits::FromPrimitive;
                     $ENUM::from_i64(i)
                 } else {
                     None
                 }
             }
 
-            fn marshal_from_self(self) -> wasmi::Val {
-                wasmi::Val::I64(self as i64)
+            fn marshal_from_self(self) -> wasmi::Value {
+                wasmi::Value::I64(self as i64)
             }
         }
     };

soroban-env-host/Cargo.toml

@@ -8,7 +8,7 @@ license = "Apache-2.0"
 version.workspace = true
 readme = "../README.md"
 edition = "2021"
-rust-version = "1.79.0"
+rust-version = "1.81.0"
 build = "build.rs"
 
 exclude = ["observations/"]