[Research] Explore the possible UTXO set commitment schemes

[ozankaymak]

As the title suggests, we need a UTXO set commitment scheme that will efficiently:

1. Insert UTXOs
2. Produce and verify the inclusion (or exclusion) of UTXOs
3. Update the state of the UTXOs (from unspent to spent) (or remove)

inside the zkVM.

Possible options:

• Merkle Patricia Trie
• Verkle Tree
• Jellyfish Merkle Tree

What to do:

• Investigate these schemes
• Decide which can be better for our needs
• Benchmark these schemes in terms of performance (cycle count)

[ozankaymak]

An example use (for JMT) can be found here.

[ozankaymak]

Example implementations:

• Merkle Patricia Trie
• Verkle Tree

[ozankaymak]

• Merkle Patricia Trie
• Verkle Tree