1 namespace dnssec_prover {
2 string verify_byte_stream(bytes stream, string name_to_resolve);
3 ProofBuilder? init_proof_builder(string name, u16 ty);
6 interface ProofBuilder {
7 void process_query_response(bytes response);
8 bytes? get_next_query();
9 bytes? get_unverified_proof();