Rewrite MPTWG in Rust

[ChihChengLiang]

Describe the feature you would like

This is the step 3 of #1566

Rewriting MPT witness generator in Rust can make the integration to the circuit simpler.

Challenge (Will update when I have more confirmation):

1. https://hackmd.io/fkelBvKNTCKOrsXZwq4a9w#MPT-witness-generation Possible solution: Try to use Reth trie.

Additional context

No response

[ed255]

Update:

• We reviewed the MPT implementation in reth and currently the mpt proof generation is not complete, so we can't use it yet. It seems that they have been working on this recently, so maybe in a few weeks it could be ready
• The alternative is having our own MPT implementation in Rust. @zemse is interested in working on this.

Action item:

• [ ] It would be great to get in touch with reth and figure out their roadmap to get an estimate on when the mpt proof generation will be complete.