Redundant marker version proof in lookup proofs
kevinlewi opened this issue · comments
Kevin Lewi commented
If the lookup proof is for a version which is already a power of 2, then the existence proof and marker version proof will be identical. This means that we can shorten the overall lookup proof by removing the marker proof.