--- /dev/null
+namespace dnssec_prover {
+ string verify_byte_stream(bytes stream, string name_to_resolve);
+ ProofBuilder? init_proof_builder(string name, u16 ty);
+};
+
+interface ProofBuilder {
+ void process_query_response(bytes response);
+ bytes? get_next_query();
+ bytes? get_unverified_proof();
+};