Module runtime 

Runtime traits for VM execution, proving, and deployment.

Trident is the weapon. Warriors wield it. Trident defines these traits; warriors implement them. A warrior is a target-specific tool (separate crate) that takes compiled Trident output and handles execution, proving, and deployment for a particular VM+OS combination.

Example: Trisha (Triton + Neptune warrior) implements Runner via triton_vm::simulate(), Prover via triton_vm::prove(), and Deployer via Neptune RPC — all using Trident’s PrimeField, Poseidon2, and Claim primitives from crate::field.

No heavy dependencies here — only the interface contract and the serializable ProgramBundle artifact format.

Re-exports

pub use artifact::ProgramBundle;

Modules

artifact

Program bundle: self-contained compilation artifact for warrior consumption.

Structs

ExecutionResult

VM execution result.

GuessResult

Result of a successful nonce search.

ProgramInput

Input specification for program execution.

ProofData

Proof artifact: claim + opaque proof bytes.

Traits

Deployer

Deploy a program to a chain or runtime.

Guesser

Search for a nonce that satisfies a difficulty target.

Prover

Generate a proof of correct execution.

Runner

Run a compiled program on a VM.

Verifier

Verify a proof against its claim.