Remove n_leaves?
Open
- Dominant language
- F*
- Stars
- 0
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
`n_leaves` is redundant with the `direct_path_nodes` field in membership proofs. Every direct path in a tree with 2n leaves has `n` entries.
For the requirement that `n_leaves` to be equal in order for two proofs to represent the same tree -- you would replace that with a requirement that the node vectors have the same length in both proofs.
Contributor guide
Assessment
This issue has not been assessed yet.