|
|
|
|
|
|
by sitkack
1510 days ago
|
|
|
WasmEdge is unfortunate in that it is >20kloc of C/C++, obviating many of the security properties of Wasm itself. Many folks would have liked to see something like safe Rust. Of course there will always be issues with codegen, but at least that has had research around the application of formal methods. Is there a WasmEdge replacement shim using Wasmtime? |
|
|