open-standards/sandbox/sandbox-rs/crates
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science db65d20be0 sec: close the advisory backlog across every workspace, and move the WASM sandbox off a runtime with three critical escapes
`cargo audit` over all 47 workspace lockfiles reported 142 vulnerability
instances. The dangerous ones were not exotic: the S2 executor was pinned to
wasmtime 43.0.2, which carries eight advisories including RUSTSEC-2026-0379
(9.9), -0327 (9.3) and -0269 (8.8). That crate is the one component whose whole
job is to execute untrusted guest code, so a sandbox-escape class defect there
is not a dependency hygiene matter — it is the confinement claim itself.

wasmtime moves 43.0.2 -> 49.0.4, the single version every one of the eight
advisories names as patched (50.0.0 exists but no advisory lists it as fixed,
so it is not yet the safe choice). WASMTIME_VERSION is updated with it: the
constant is attested into the mechanism commitment under SPEC §7.9, so leaving
it stale would attest confinement to a runtime that did not run. The crate's
own `wasmtime_version_matches_the_lockfile` test enforces that pairing.

The rest are semver-compatible bumps carrying no API change: rustls 0.23.46,
rustls-webpki 0.103.16, webpki-roots/webpki-root-certs 1.0.10, quinn-proto
0.11.18 (RUSTSEC-2026-0340/-0343, both 7.5), tokio 1.54.1, crossbeam-epoch
0.9.20, rtrb 0.3.5.

Not fixed here, and deliberately so rather than silently: zip (>=9.0.0),
hpke-rs (>=0.6.0), quick-xml (>=0.41.0) and libcrux-kem (>=0.0.10) are all
semver-major moves, three of them transitive, so each needs its dependent
assessed on its own. rsa RUSTSEC-2023-0071 has no fixed version at all.

Co-Authored-By: Claude Opus 5 <[email protected]>
2026-10-22 09:44:59 -04:00
..
sandbox-attest sandbox-conformance: hold the committed pack to what the builders emit 2026-10-21 20:30:24 -04:00
sandbox-build sandbox: one report_data binding for a run, a relying-party challenge, and evidence a third party can verify 2026-10-21 07:41:40 -04:00
sandbox-capability sandbox: flow across a run's checkpoints — an untrusted read closes the sinks that follow 2026-10-21 10:49:52 -04:00
sandbox-cli sandbox: TDX on the run path, through a pinned PCK 2026-10-21 12:44:36 -04:00
sandbox-conformance sandbox-conformance: hold the committed pack to what the builders emit 2026-10-21 20:30:24 -04:00
sandbox-exec-microvm sandbox-exec-microvm: the liveness tick advances the fake counters itself 2026-10-11 10:52:05 -04:00
sandbox-exec-os sandbox: an S1 executor — a native program confined by the operating system, earning the rung by probe 2026-10-16 10:09:35 -04:00
sandbox-exec-wasm sec: close the advisory backlog across every workspace, and move the WASM sandbox off a runtime with three critical escapes 2026-10-22 09:44:59 -04:00
sandbox-jcp jcp: a ModelIn caveat says which model a grant authorizes, and the frame names the model it runs 2026-10-17 04:21:21 -04:00
sandbox-mcp sandbox: one report_data binding for a run, a relying-party challenge, and evidence a third party can verify 2026-10-21 07:41:40 -04:00
sandbox-meter energy meters: a GPU counter reading low is refuted in sandbox-meter, eoc-meter and jcp-energy too 2026-10-20 04:15:36 -04:00
sandbox-proof sandbox-proof: name the hook type in the panicking-hook test 2026-10-10 18:19:11 -04:00
sandbox-proof-wasm sandbox: give the S7 locality claim something that can falsify it (SPEC §7.7) 2026-08-26 11:52:33 -04:00
sandbox-runtime sandbox: a confidential run sealed on TDX hardware, its PCK checked to Intel's root 2026-10-22 06:51:40 -04:00
sandbox-schema Add aac, map, sandbox standards; catalog the standards family 2026-06-07 17:04:36 -04:00
sandbox-tee Merge pull request 'sandbox-tee: check a TDX quote's PCK chain to a pinned Intel root' (#415) from feat/tdx-pck-chain into main 2026-10-22 06:51:24 -04:00