Closed ralexstokes closed 5 months ago
the merkle proof tests relevant for testing the proving are under the light_client
runner.
we should be able to run these tests after the functionality in https://github.com/ralexstokes/ssz-rs/commit/d42b0bb5cbd9277abe4c8c71c931c6cfcf64f4bd
To close this issue, the spec tests should both verify the provided proof and generate the proof to ensure equivalence.