Expand description
Composite document query (page plus derived sub-queries)
verification methods on proofs — one merged proof verified as one
composed statement.
Composite document query proof verification — the verifier half of
composite_document_query.