Skip to content

Add an appendix that explains the proof procedures #150

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
davidben merged 18 commits into from
Oct 17, 2025
Merged

Add an appendix that explains the proof procedures #150

Changes from all commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
cfc9cc4
Add an appendix that explains the proof procedures
davidben Oct 3, 2025
3ffb3a1
Use BIT_WIDTH instead of log2
davidben Oct 6, 2025
f9ba9de
Consistently capitalize Merkle Tree
davidben Oct 12, 2025
7afc5bd
Add example subtree consistency and inclusion proofs
davidben Oct 12, 2025
d3020e0
Fix typos
davidben Oct 12, 2025
d57ccce
Clarify that the rightmost edge is the path to the last element
davidben Oct 12, 2025
a970be7
Clarify how we iterate by bit
davidben Oct 12, 2025
818dfec
Clarify the starting node business
davidben Oct 12, 2025
83bc984
Explain fn/sn/tn
davidben Oct 12, 2025
86d39b8
Expand on consistency proof evaluation
davidben Oct 12, 2025
f7da5bc
Merge remote-tracking branch 'origin/main' into proof-explain
davidben Oct 12, 2025
81ef41b
Tweak description of the consistency proof
davidben Oct 15, 2025
0f492f4
Make two diagrams
davidben Oct 15, 2025
bc3b3b3
Split structure and verification into different sections
davidben Oct 15, 2025
f200c20
Consistency proof verification tweaks
davidben Oct 15, 2025
07988d2
Path directions are too hard
davidben Oct 15, 2025
03dd65d
Fix typo
davidben Oct 16, 2025
c595971
Missing words
davidben Oct 16, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading