Implement c2sp.org/tlog-proof #207
Conversation
This adds support for constructing a log proof formatted per the specification, along with verifying a proof for a given leaf hash and log verifier. Signed-off-by: Hayden B <[email protected]>
|
@AlCutter @mhutchinson I'm looking for early feedback on where this should live. I was debating whether it made more sense under transparency-dev/formats or transparency-dev/merkle (or another repo entirely?). The construction of the proof could live under /formats, but verification of the proof seemed better aligned with /merkle, and I'd rather keep the two in the same package. This would mean that the merkle module will now depend on the formats module, and I wasn't sure if you wanted to keep these separate. In order to verify a proof, I needed the witness policy implementation, so I've temporarily duplicated it here. Would you be open to moving it to /formats? Tests are still a WIP, so please ignore those if you start looking over any code. |
1 participant
This adds support for constructing a log proof formatted per the specification, along with verifying a proof for a given leaf hash and log verifier.