[ysleepy]

The proof is just the nodes in the path of the merkle tree to the root. (or all sibling nodes of the path to the root).

So proof "generation" is just fetching the nodes and sending them to the client.