pub trait Prover { // Required method fn prove(&self, input_words: &[u32]) -> Result<ProveResult>; }
Host prover interface.