A Rust HTTP service that generates STARK proofs on demand, so appchains and tooling can request a proof over the network instead of running their own proving infrastructure.