In the white paper, a function O(T,l) is described as the “the Merkle opening for leaf with index l” and “value of sister nodes on the way from
leaf l to the root, denoted by R”
To me, this seems kinda like the Merkle Proof, which is a sequence of all the sister nodes along the path to the leaf node. Is this correct?
In the description of the statement of Knowledge, O is referred to as the the opening of H2(k||r) at position l to R. Does this refer to the fact that H2 is used to determine the value of each node along the path in the tree? Thanks!