wysm
the WASM runtime tier of soft3 — a hard fork of wasmi v2, extended with four cyber-native enhancements: jet substitution, finite-wasm metering, lunatic-pattern actor harness, and a trident-lowering on-ramp. the runtime cyb embeds to execute conventional programs (souls) loaded from radio.
canonical spec: specs/wysm.md.
position in soft3
| runtime | what runs | proof contract |
|---|---|---|
| nox | proven .nox programs, jets | unconditional |
| glia | .model inference | conditional on model |
| wysm | WASM modules, rune host jets | conditional on host |
| wgpu | GPU compute shaders | conditional on host |
wysm is the seat for conventional programs — anything that compiles to WebAssembly, deployed as a particle, executed as a soul. the long-term arc is migration: WASM → trident LIR → nox. souls start in wysm and graduate to nox as their inner loops get lowered through trident.
why a fork
cyber does substantive work on the runtime itself — jet substitution dispatches below the executor, metering instruments at module-rewrite time, the harness needs internal hooks, and the trident lowering reads wasmi_ir types tightly. divergence lives in new crates: wysm-jet, wysm-meter, wysm-harness, wysm-trident. upstream crates are touched only at hook points.
| Continuous Integration | Test Coverage | Documentation | Crates.io |
|---|---|---|---|
| ci | codecov | docs | crates |
Wasmi - WebAssembly (Wasm) Interpreter
Wasmi is an efficient and lightweight WebAssembly interpreter with a focus on constrained and embedded systems.
Distinct Features
- Simple, correct and deterministic execution of WebAssembly.
- Efficient and cross-platform WebAssembly runtime for embedded environments.
- Compiler/JIT bomb resisting translation.
- Loosely mirrors the Wasmtime API to act as drop-in replacement.
- 100% WebAssembly spec testsuite compliance.
- Built-in support for fuel metering.
- Supports the official Wasm C-API.
Security Audits
Wasmi is suitable for safety critical use cases and has been audited twice.
| Wasmi Version(s) | Auditor | Contractor | Report |
|---|---|---|---|
0.36.0-0.38.0 |
Runtime Verification Inc. | Stellar Development Foundation | |
0.31.0 |
SRLabs | Parity Technologies |
Docs
- 📖 Usage Guide: learn how to use the Wasmi API properly.
- 🛠️ Development Guide: learn how to develop for Wasmi.
- ✨ Crate Features: learn about
wasmicrate features.
WebAssembly Features
| WebAssembly Proposal | WebAssembly Proposal | |||||
|---|---|---|---|---|---|---|
| ✅ | ≥ 0.14.0 |
✅ | ≥ | |||
| ✅ | ≥ 0.14.0 |
✅ | ≥ | |||
| ✅ | ≥ 0.14.0 |
✅ | ≥ | |||
| ✅ | ≥ 0.14.0 |
✅ | ≥ | |||
| ✅ | ≥ | ✅ | ≥ | |||
| ✅ | ≥ | 📅 | Tracking Issue | |||
| ✅ | ≥ | 📅 | Tracking Issue | |||
| ✅ | ≥ | 📅 | Tracking Issue | |||
| ✅ | ≥ | 📅 | Tracking Issue |
| Embeddings | ||
|---|---|---|
| ✅ | WASI | WASI (wasip1) support via the wasmi_wasi crate. |
| ✅ | C-API | Official Wasm C-API support via the wasmi_c_api_impl crate. |
Used by
If you want your project on this list please inform me about you project and how Wasmi is used.
Sponsors
Special thanks to the past and present sponsors of the Wasmi project.
Sponsoring since Oct. 2024
|
Sponsored until Oct. 2024
|
License
Licensed under either of
- Apache License, Version 2.0, (LICENSE-APACHE or https://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or https://opensource.org/licenses/MIT)
at your option.
Contribution
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.