reference code for validating Merkle consistency proofs

[Winston de Greef]

Hi,

Is there any code I can reference that implements validating Merkle consistency proofs?

Sincerely,

Winston de Greef

[Philippe Boneff]

Hi Winston,

https://github.com/transparency-dev/merkle implements a bunch of operations on Merkle Trees, including verifying consistency proofs. You can see it being used by an RFC6962 CT client here, and by a static-ct-api client here.

Cheers,

Philippe

--
You received this message because you are subscribed to the Google Groups "certificate-transparency" group.
To unsubscribe from this group and stop receiving emails from it, send an email to certificate-transp...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/certificate-transparency/341df49e-6a68-4927-9d38-609fc8e6102dn%40googlegroups.com.

[Filippo Valsorda]

There is also https://pkg.go.dev/golang.org/x/m...@v0.24.0/sumdb/tlog#TreeProof which uses the same proof format.

To view this discussion visit https://groups.google.com/d/msgid/certificate-transparency/CAOzAejTWwS0aKfydSXf6RbE%3DVBRM0DPhBMUt1FYHztER6yyOLw%40mail.gmail.com.

[Bas Westerbaan]

Winston, you also might find the expanded text on consistency proofs in RFC 9162 helpful: https://www.rfc-editor.org/rfc/rfc9162.html#name-merkle-consistency-proofs

To view this discussion visit https://groups.google.com/d/msgid/certificate-transparency/466e3117-ab6f-4809-a005-820ec3be4512%40app.fastmail.com.