Honest parent block of least common ancestor
dionyziz opened this issue · comments
The security proof discusses the LCA block b shared between the adversarial and honest chains. However that block may have been adversarially-generated. This should be fixed by saying that it will have a most-recent honest predecessor and the argument will follow from there.