base on Efficient and versatile WebAssembly interpreter for embedded systems. | Continuous Integration | Test Coverage | Documentation | Crates.io | |:----------------------:|:--------------------:|:----------------:|:--------------------:| | [![ci][1]][2] | [![codecov][3]][4] | [![docs][5]][6] | [![crates][7]][8] | [1]: https://github.com/wasmi-labs/wasmi/actions/workflows/rust.yml/badge.svg [2]: https://github.com/wasmi-labs/wasmi/actions/workflows/rust.yml [3]: https://codecov.io/gh/wasmi-labs/wasmi/branch/main/badge.svg [4]: https://codecov.io/gh/wasmi-labs/wasmi/branch/main [5]: https://docs.rs/wasmi/badge.svg [6]: https://docs.rs/wasmi [7]: https://img.shields.io/crates/v/wasmi.svg [8]: https://crates.io/crates/wasmi [license-mit-badge]: https://img.shields.io/badge/license-MIT-blue.svg [license-apache-badge]: https://img.shields.io/badge/license-APACHE-orange.svg # Wasmi - WebAssembly (Wasm) Interpreter <p align="center"> <img src="./resources/wasmi-logo.png" width="100" height="100"> </p> 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 [`no_std` embedded environments](https://doc.rust-lang.org/stable/rustc/platform-support.html). - Compiler/JIT bomb resisting translation. - Loosely mirrors the [Wasmtime API](https://docs.rs/wasmtime/) to act as drop-in replacement. - 100% WebAssembly spec testsuite compliance. - Built-in support for fuel metering. - Supports the official [Wasm C-API](https://github.com/WebAssembly/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] | [PDF](./resources/audit-2024-11-27.pdf) | | `0.31.0` | [SRLabs] | [Parity Technologies] | [PDF](./resources/audit-2023-12-20.pdf) | [Wasmtime]: https://github.com/bytecodealliance/wasmtime [SRLabs]: https://www.srlabs.de/ [Runtime Verification Inc.]: https://runtimeverification.com/ [Stellar Development Foundation]: https://stellar.org/foundation [Parity Technologies]: https://www.parity.io/ ## Docs - 📖 [Usage Guide](./docs/usage.md): learn how to use the [Wasmi API](https://crates.io/crates/wasmi) properly. - 🛠️ [Development Guide](./docs/developement.md): learn how to develop for Wasmi. - ✨ [Crate Features](https://docs.rs/wasmi/latest/wasmi/#crate-features): learn about `wasmi` crate features. ## WebAssembly Features | | WebAssembly Proposal | | | | WebAssembly Proposal | | |:-:|:--|:--|:-:|:--|:--|:--| | ✅ | [`mutable-global`] | ≥ `0.14.0` | | ✅ | [`custom-page-sizes`] | [≥ `0.41.0`][(#1197)] | | ✅ | [`saturating-float-to-int`] | ≥ `0.14.0` | | ✅ | [`memory64`] | [≥ `0.41.0`][(#1357)] | | ✅ | [`sign-extension`] | ≥ `0.14.0` | | ✅ | [`wide-arithmetic`] | [≥ `0.42.0`][(#1369)] | | ✅ | [`multi-value`] | ≥ `0.14.0` | | ✅ | [`simd`] | [≥ `0.43.0`][(#1364)] | | ✅ | [`bulk-memory`] | [≥ `0.24.0`][(#628)] | | ✅ | [`relaxed-simd`] | [≥ `0.44.0`][(#1443)] | | ✅ | [`reference-types`] | [≥ `0.24.0`][(#635)] | | 📅 | [`function-references`] | [Tracking Issue][(#774)] | | ✅ | [`tail-calls`] | [≥ `0.28.0`][(#683)] | | 📅 | [`gc`] | [Tracking Issue][(#775)] | | ✅ | [`extended-const`] | [≥ `0.29.0`][(#707)] | | 📅 | [`threads`] | [Tracking Issue][(#777)] | | ✅ | [`multi-memory`] | [≥ `0.37.0`][(#1191)] | | 📅 | [`exception-handling`] | [Tracking Issue][(#1037)] | | | Embeddings | | |:-:|:--|:--| | ✅ | [WASI] | WASI (`wasip1`) support via the [`wasmi_wasi` crate]. | | ✅ | [C-API] | Official Wasm C-API support via the [`wasmi_c_api_impl` crate]. | [`mutable-global`]: https://github.com/WebAssembly/mutable-global [`saturating-float-to-int`]: https://github.com/WebAssembly/nontrapping-float-to-int-conversions [`sign-extension`]: https://github.com/WebAssembly/sign-extension-ops [`multi-value`]: https://github.com/WebAssembly/multi-value [`reference-types`]: https://github.com/WebAssembly/reference-types [`bulk-memory`]: https://github.com/WebAssembly/bulk-memory-operations [`simd` ]: https://github.com/webassembly/simd [`tail-calls`]: https://github.com/WebAssembly/tail-call [`extended-const`]: https://github.com/WebAssembly/extended-const [`function-references`]: https://github.com/WebAssembly/function-references [`gc`]: https://github.com/WebAssembly/gc [`multi-memory`]: https://github.com/WebAssembly/multi-memory [`threads`]: https://github.com/WebAssembly/threads [`relaxed-simd`]: https://github.com/WebAssembly/relaxed-simd [`exception-handling`]: https://github.com/WebAssembly/exception-handling [`custom-page-sizes`]: https://github.com/WebAssembly/custom-page-sizes [`memory64`]: https://github.com/WebAssembly/memory64 [`wide-arithmetic`]: https://github.com/WebAssembly/wide-arithmetic [WASI]: https://github.com/WebAssembly/WASI [C-API]: https://github.com/WebAssembly/wasm-c-api [`wasmi_wasi` crate]: ./crates/wasi [`wasmi_c_api_impl` crate]: ./crates/c_api [(#363)]: https://github.com/wasmi-labs/wasmi/issues/363 [(#364)]: https://github.com/wasmi-labs/wasmi/issues/364 [(#496)]: https://github.com/wasmi-labs/wasmi/issues/496 [(#628)]: https://github.com/wasmi-labs/wasmi/pull/628 [(#635)]: https://github.com/wasmi-labs/wasmi/pull/635 [(#638)]: https://github.com/wasmi-labs/wasmi/pull/638 [(#683)]: https://github.com/wasmi-labs/wasmi/pull/683 [(#707)]: https://github.com/wasmi-labs/wasmi/pull/707 [(#774)]: https://github.com/wasmi-labs/wasmi/pull/774 [(#775)]: https://github.com/wasmi-labs/wasmi/pull/775 [(#776)]: https://github.com/wasmi-labs/wasmi/pull/776 [(#777)]: https://github.com/wasmi-labs/wasmi/pull/777 [(#1037)]: https://github.com/wasmi-labs/wasmi/issues/1137 [(#1197)]: https://github.com/wasmi-labs/wasmi/issues/1197 [(#1191)]: https://github.com/wasmi-labs/wasmi/issues/1191 [(#1357)]: https://github.com/wasmi-labs/wasmi/issues/1357 [(#1364)]: https://github.com/wasmi-labs/wasmi/issues/1364 [(#1369)]: https://github.com/wasmi-labs/wasmi/issues/1369 [(#1443)]: https://github.com/wasmi-labs/wasmi/pull/1443 ## Used by If you want your project on this list [please inform me](mailto:[email protected]) about you project and how Wasmi is used. <a href="https://stellar.org/soroban"> <picture> <source srcset="./resources/logos/users/soroban-white.svg" media="(prefers-color-scheme: dark)"> <source srcset="./resources/logos/users/soroban-black.svg" media="(prefers-color-scheme: light)"> <img src="./resources/logos/users/soroban-black.svg" height="32" style="vertical-align: middle;" alt="Stellar Soroban" /> </picture> </a>&nbsp; <a href="https://wasmer.io"> <img src="./resources/logos/users/wasmer.svg" height="32" style="vertical-align: middle;" alt="Wasmer" /> </a>&nbsp; <a href="https://fireflyzero.com"> <img src="./resources/logos/users/firefly-zero.png" height="32" style="vertical-align: middle;" alt="Firefly Zero" /> </a>&nbsp; <a href="https://typst.app"> <img src="./resources/logos/users/typst.png" height="32" style="vertical-align: middle;" alt="Typst" /> </a>&nbsp; <a href="https://orbitinghail.dev"> <picture> <source srcset="./resources/logos/users/orbitinghail-white.png" media="(prefers-color-scheme: dark)"> <source srcset="./resources/logos/users/orbitinghail-black.png" media="(prefers-color-scheme: light)"> <img src="./resources/logos/users/orbitinghail-black.svg" height="32" style="vertical-align: middle;" alt="Orbitinghail" /> </picture> </a>&nbsp; <a href="https://github.com/smol-dot/smoldot"> <img src="./resources/logos/users/smoldot.png" height="32" style="vertical-align: middle;" alt="Smoldot" /> </a>&nbsp; <a href="https://github.com/Askannz/munal-os"> <img src="./resources/logos/users/munal-os.png" height="32" style="vertical-align: middle;" alt="Munal OS" /> </a>&nbsp; <a href="https://github.com/unicode-org/icu4x"> <img src="./resources/logos/users/icu4x.png" height="32" style="vertical-align: middle;" alt="icu4x" /> </a>&nbsp; <a href="https://github.com/Uni-Gal/Ayaka"> <img src="./resources/logos/users/ayaka.png" height="32" style="vertical-align: middle;" alt="Ayaka" /> </a>&nbsp; <a href="https://github.com/project-oak/oak"> <picture> <source srcset="./resources/logos/users/project-oak-dark.svg" media="(prefers-color-scheme: dark)"> <source srcset="./resources/logos/users/project-oak-light.svg" media="(prefers-color-scheme: light)"> <img src="./resources/logos/users/project-oak-light.svg" height="32" style="vertical-align: middle;" alt="Project Oak" /> </picture> </a>&nbsp; ## Sponsors Special thanks to the past and present sponsors of the Wasmi project. <table> <tr> <td align="center" style="padding: 10px; width: 200px;"> <div style="height: 50px; display: flex; flex-direction: column; justify-content: flex-end;"> <a href="https://stellar.org/foundation"> <picture> <source srcset="./resources/logos/sponsors/sdf-white.svg" media="(prefers-color-scheme: dark)"> <source srcset="./resources/logos/sponsors/sdf-black.svg" media="(prefers-color-scheme: light)"> <img src="./resources/logos/sponsors/sdf-black.svg" height="64" alt="Stellar Development Foundation" style="display: inline-block" /> </picture> </a> </div> <div>_{Sponsoring since Oct. 2024}</div> </td> <td align="center" style="padding: 10px; width: 200px;"> <div style="height: 50px; display: flex; flex-direction: column; justify-content: flex-end;"> <a href="https://parity.io"> <img src="./resources/logos/sponsors/parity.svg" height="32" alt="Parity Technologies" /> </a> </div> <div>_{Sponsored until Oct. 2024}</div> </td> </tr> </table> ## License Licensed under either of * Apache License, Version 2.0, ([LICENSE-APACHE](LICENSE-APACHE) or <https://www.apache.org/licenses/LICENSE-2.0>) * MIT license ([LICENSE-MIT](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. ", Assign "at most 3 tags" to the expected json: {"id":"10495","tags":[]} "only from the tags list I provide: [{"id":77,"name":"3d"},{"id":89,"name":"agent"},{"id":17,"name":"ai"},{"id":54,"name":"algorithm"},{"id":24,"name":"api"},{"id":44,"name":"authentication"},{"id":3,"name":"aws"},{"id":27,"name":"backend"},{"id":60,"name":"benchmark"},{"id":72,"name":"best-practices"},{"id":39,"name":"bitcoin"},{"id":37,"name":"blockchain"},{"id":1,"name":"blog"},{"id":45,"name":"bundler"},{"id":58,"name":"cache"},{"id":21,"name":"chat"},{"id":49,"name":"cicd"},{"id":4,"name":"cli"},{"id":64,"name":"cloud-native"},{"id":48,"name":"cms"},{"id":61,"name":"compiler"},{"id":68,"name":"containerization"},{"id":92,"name":"crm"},{"id":34,"name":"data"},{"id":47,"name":"database"},{"id":8,"name":"declarative-gui "},{"id":9,"name":"deploy-tool"},{"id":53,"name":"desktop-app"},{"id":6,"name":"dev-exp-lib"},{"id":59,"name":"dev-tool"},{"id":13,"name":"ecommerce"},{"id":26,"name":"editor"},{"id":66,"name":"emulator"},{"id":62,"name":"filesystem"},{"id":80,"name":"finance"},{"id":15,"name":"firmware"},{"id":73,"name":"for-fun"},{"id":2,"name":"framework"},{"id":11,"name":"frontend"},{"id":22,"name":"game"},{"id":81,"name":"game-engine "},{"id":23,"name":"graphql"},{"id":84,"name":"gui"},{"id":91,"name":"http"},{"id":5,"name":"http-client"},{"id":51,"name":"iac"},{"id":30,"name":"ide"},{"id":78,"name":"iot"},{"id":40,"name":"json"},{"id":83,"name":"julian"},{"id":38,"name":"k8s"},{"id":31,"name":"language"},{"id":10,"name":"learning-resource"},{"id":33,"name":"lib"},{"id":41,"name":"linter"},{"id":28,"name":"lms"},{"id":16,"name":"logging"},{"id":76,"name":"low-code"},{"id":90,"name":"message-queue"},{"id":42,"name":"mobile-app"},{"id":18,"name":"monitoring"},{"id":36,"name":"networking"},{"id":7,"name":"node-version"},{"id":55,"name":"nosql"},{"id":57,"name":"observability"},{"id":46,"name":"orm"},{"id":52,"name":"os"},{"id":14,"name":"parser"},{"id":74,"name":"react"},{"id":82,"name":"real-time"},{"id":56,"name":"robot"},{"id":65,"name":"runtime"},{"id":32,"name":"sdk"},{"id":71,"name":"search"},{"id":63,"name":"secrets"},{"id":25,"name":"security"},{"id":85,"name":"server"},{"id":86,"name":"serverless"},{"id":70,"name":"storage"},{"id":75,"name":"system-design"},{"id":79,"name":"terminal"},{"id":29,"name":"testing"},{"id":12,"name":"ui"},{"id":50,"name":"ux"},{"id":88,"name":"video"},{"id":20,"name":"web-app"},{"id":35,"name":"web-server"},{"id":43,"name":"webassembly"},{"id":69,"name":"workflow"},{"id":87,"name":"yaml"}]" returns me the "expected json"