To close this issue, the spec tests should both verify the provided proof and generate the proof to ensure equivalence.
Note, as of March 2024, the light_client runner test only test Merkle proofs for some of the light client types and so we should be able to already pass those.
To close this issue, the spec tests should both verify the provided proof and generate the proof to ensure equivalence.
Note, as of March 2024, the
light_clientrunner test only test Merkle proofs for some of the light client types and so we should be able to already pass those.