Create specification for the Verkle State Network

ethereum / portal-network-specs

Official repository for specifications for the Portal Network

313 stars 85 forks source link

Create specification for the Verkle State Network #295

Closed morph-dev closed 5 months ago

morph-dev commented 6 months ago

This is just the first version of the spec.

Plan is to keep updating and refining as we progress.

pipermerriam commented 6 months ago

Once merged, it would be good to open an issue that outlines the attack vector that was discussed today so that it is documented somewhere.

morph-dev commented 6 months ago

Once merged, it would be good to open an issue that outlines the attack vector that was discussed today so that it is documented somewhere.

I'm very confident that it is possible to prevent the attack. I created an issue to discuss the problem and solution: https://github.com/ethereum/portal-network-specs/issues/297

Once more research is done and finalized, we can include it in the specification as well.

My current main concern is that proof size is more than doubling the size of the root nodes, which might not be too bad (considering that majority of nodes are not root nodes).

morph-dev commented 5 months ago

I updated the spec:

It follows new directory structure
Renaming "mini-trie" nodes to bundle (upper level) and fragment (lower level)
Reference to recursive gossip is removed
- this allowed us to use smaller proof (using IPA and multiproof)
Restructure content key/value types
- there were some small issues with original spec, and now they are aligned with new proofs

I'm sure there will be more fixes and polishing later on, but I would say we can merge this as it is and iterate afterwards.