[MPT] meta: support stack trie

[KimiWu123]

Describe the feature you would like

We need MPT stack trie for tx and withdrawal cirucits. This stack trie also support RLP as it is in the state trie.

Additional context

No response

[ed255]

If we can define an interface for the MPT stack trie we will unlock #1649 and #1369
The high level idea interface of the MPT stack trie is that we need a way to iterate over a list of elements and prove that they all form an MPT identified by a root (where each element has a sequential index). This interface could be a lookup table to insert elements in the MPT and we use it to build a tree from scratch.

[ed255]

Currently @miha-stopar is working on the Extension Node support and also fixing MPT circuit/witness gen bugs found by testing from the zk light client. This task is open for anyone who would like to help!

[KimiWu123]

This issue separated into two,

• [MPT - stack trie] fix witness generation #1752
• [MPT - stack trie] circuit implementation - tx leaf #1753