spacewasm

SpaceWasm 是一个面向航天任务的、符合飞行安全要求的 WebAssembly 解释器，专为资源受限、高可靠性要求的星载系统设计。其核心功能包括流式解码与即时验证 Wasm 二进制、转换为适合解释的中间表示（IR），以及基于固定页内存模型的确定性动态内存管理，全程避免 panic 和非确定性分配。项目采用 Rust 实现，所有 unsafe 代码均严格受限于自定义内存结构，满足航天软件对可预测性、内存上限可控和故障隔离的严苛要求。适用于卫星、深空探测器等嵌入式航天平台上的安全关键型应用部署。