Exécute du Python en sandbox avec MicroPython et WebAssembly

Pourquoi une sandbox ?

Simon Willison maintient des projets comme Datasette et sqlite-utils qui s'appuient sur des plugins Python. Le problème : un plugin bugué ou malveillant s'exécute avec tous les droits. Un while True: s += "x" peut bloquer l'appli, un plugin curieux peut lire tes fichiers privés ou atteindre le réseau.

Il voulait une sandbox où le code ne peut pas :

• ▸Lire/écrire que les fichiers approuvés
• ▸Se connecter au réseau
• ▸Monopoliser le CPU/RAM sans limite

Mais il fallait aussi que ce soit :

• ▸Installable via PyPI sans effort supplémentaire
• ▸Maintenu et documenté (pas un projet zombie)
• ▸Capable d'exposer des fonctions hôtes sélectionnées

Pourquoi WebAssembly ?

Les navigateurs exécutent du code hostile tous les jours. Les moteurs JavaScript (V8, SpiderMonkey) sont très sécurisés mais énormes et mal documentés pour l'intégration embarquée. WebAssembly a été conçu pour ça depuis le début : conception simple, éprouvée 10 ans en production, et wasmtime (le runtime Python) est maintenu avec des binaires pré-compilés.

Pour Python en WASM, Pyodide existe mais uniquement en navigateur. Simon a essayé MicroPython—une implémentation légère de Python 3 optimisée pour les microcontrôleurs. Pourquoi pas ? C'est un environnement contraint, WebAssembly aussi.

Comment ça marche ?

Le plus technique : GPT l'a aidé à déterrer une PR MicroPython sur le support WASI expérimental, puis il a demandé aux agents IA de compiler une version WASM personnalisée.

Le plus astucieux : l'état persistant. Le binaire WASM de base démarre l'interpréteur, exécute le code, puis l'arrête. Pour conserver des variables entre appels, Simon a créé une boucle à l'intérieur de MicroPython qui :

1. ▸Appelle une fonction hôte get_next_python_code()
2. ▸Cette fonction bloque et attend du code via une file d'attente (thread côté Python)
3. ▸Exécute le code via eval()
4. ▸Renvoie le résultat via __session_result__()

Résultat : tu peux faire ça :

from micropython_wasm import MicroPythonSession
with MicroPythonSession() as session:
    print(session.run("x = 10\nprint(x)").stdout)  # 10
    print(session.run("x += 5\nprint(x)").stdout)   # 15
    print(session.run("print(x * 2)").stdout)       # 30

Les variables survivent d'un appel à l'autre.

Le reste ?

78 lignes de C pour exposer les fonctions hôtes, compilées dans un blob WASM de 362 KB. Simon a demandé aux IA d'expliquer le C après coup—bon signe qu'il ne comprend pas tout mais teste agressivement.

C'est en alpha. Le code est sur GitHub. À tester si tu construis quelque chose qui exécute du Python utilisateur.