ModExtensionGadget

[miha-stopar]

Description

Support for modified extension nodes.

This happens when an extension node is replaced by another (shorter or longer) extension node. For example, we have an extension node at n1 n2 n3 n4 n5 n6 with branch with two leaves at positions n and m. If we add a leaf at n1 n2 n3 n4 n7 where n5 != n7, a new extension node is inserted at n1 n2 n3 n4 with a new branch with an extension node at position n5 (with only one nibble n6) and a leaf at position n7. In this case, the S proof contains the extension node at n1 n2 n3 n4 n5 n6 and no underlying branch and leaf (the modification happens at n1 n2 n3 n4 n7 and only an extension node is find there), thus we need to add a placeholder branch and a placeholder leaf.

Type of change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• This change requires a documentation update

[miha-stopar]

Closed in favour of #1685.