“Trust key?” tab, prover framework, no WebView, many proofs filled in