zkevm-circuits icon indicating copy to clipboard operation
zkevm-circuits copied to clipboard

Published 20 hours ago • verified publisher icon privacy-scaling-explorations

[MPT] meta: support stack trie

Open KimiWu123 opened this issue 2 years ago • 3 comments

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

KimiWu123 avatar Oct 11 '23 05:10 KimiWu123

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 avatar Nov 02 '23 09:11 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!

ed255 avatar Dec 14 '23 09:12 ed255

This issue separated into two,

  • [ ] https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/1752
  • [ ] https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/1753

KimiWu123 avatar Feb 05 '24 06:02 KimiWu123