[MPT - stack trie] circuit implementation - tx leaf

[Kimi Wu]

Describe the feature you would like

This issue is to implement stack trie for transaction leaves. Targeting to separate this into two (one is stack trie gadget and the other is tx leaf) if possible.

Here and here was written by Miha for more details.