"Make sure layer queries hash into leaves of layer proof"

Question

"Make sure layer queries hash into leaves of layer proof"

RobinLinus opened this issue a year ago · comments

In this line there's a TODO saying "make sure layer queries hash into leaves of layer proof". Sounds like the verifier currently does not verify that, or is it verified somewhere else?

Irakliy Khaburzaniya · Answer 1 · Tue Feb 28 2023 12:05:14 GMT+0800 (China Standard Time)

This is more for a "debug" type check to make sure the code which actually computes hashes of leaves works correctly. The code that does this is located here.

I do think that this structure is more complicated than it needs to be and I'd love to refactor it at some point (i.e., by abstracting away Merkle trees behind a VectorCommitment trait).