Th proof logic currently only supports leaf keys, it should be updated so that we can generate and verify proofs of inner nodes (which requires using keys rather than felts). I will also add tests to generate and verify proofs of non-set leaf keys. This means that the Generate and Verify proof logic should be able to handle all scenarios.
Th proof logic currently only supports leaf keys, it should be updated so that we can generate and verify proofs of inner nodes (which requires using keys rather than felts). I will also add tests to generate and verify proofs of non-set leaf keys. This means that the Generate and Verify proof logic should be able to handle all scenarios.