Skip to content

Add inclusion and consistency proof verification

Rasmus Dahlberg requested to merge proofs into main

Note that we are not storing signed tree heads, and there are some error-cases where we should ideally save more of what we observed. So, there is room for improvement but at least we do verification now.

Let's open separate issues for the above.

Closes #1.

Merge request reports