A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler - View it on GitHub