Replayable Execution for
Scientific Workflow Evidence.
Project Helio is experimental Rust and Wasm runtime research for replayable execution evidence. It explores fixed inputs, bounded environments, and signed artifacts for workflows that need reviewable computation.
Research stack
Execution evidence, not magic determinism
The runtime research focuses on bounded payload execution, replay context, and signed artifacts that reviewers can compare against recorded inputs and outputs.
Instruction-Level Determinism
Captures selected runtime inputs so scoped Wasm payloads can be replayed more consistently during review.
Capability-based Security
Restricts payload access to declared capabilities and bounded resources in the runtime environment.
Cryptographic Provenance
Records payload inputs, context, outputs, and ancestor references in a hash-linked graph using Canonical JSON (RFC 8785) and SHA-256.
Signature Authentication
Signs selected execution artifacts with Ed25519 so reviewers can compare outputs against the recorded proof bundle.