# Ignacio (jsign) - Update 1 # Reading This week I dived into reading articles related to my main areas of interest. - [RLP encoding](https://ethereum.org/en/developers/docs/data-structures-and-encoding/rlp/) (refresher) - [Understanding Ethereum Smart Contract Storage](https://programtheblockchain.com/posts/2018/03/09/understanding-ethereum-smart-contract-storage/) - Verkle Tries / Statelessness: - [Verkle Trie for eth1](https://dankradfeist.de/ethereum/2021/06/18/verkle-trie-for-eth1.html) by Dankrad - [Verkle Trees](https://vitalik.ca/general/2021/06/18/verkle.html) by Vitalik - [The verkle tree upgrade](https://www.youtube.com/watch?v=4fL7hi8SZMs) by Guillaume (video) - [Verkle Tree Structure](https://blog.ethereum.org/2021/12/02/verkle-tree-structure) by Guillaume and Dankrad - [Why stateless](https://dankradfeist.de/ethereum/2021/02/14/why-stateless.html) by Dankrad - [IPAs](https://dankradfeist.de/ethereum/2021/07/27/inner-product-arguments.html) by Dankrad - [Statelessness & Verkle Trees](https://www.youtube.com/watch?v=f7bEtX3Z57o) by Guillaume (video) - [Verkle tries for Ethereum state](https://www.youtube.com/watch?v=RGJOQHzg3UQ) by Dankrad - Sharding: - [Kate commitments](https://dankradfeist.de/ethereum/2020/06/16/kate-polynomial-commitments.html) by Dankrad. - [Why Sharding is Great](https://vitalik.ca/general/2021/04/07/sharding.html) by Vitalik - [Data availability checks](https://dankradfeist.de/ethereum/2019/12/20/data-availability-checks.html) by Dankrad # Infra I ran synced a local node to the Goerli network using Geth+Lighthouse. I thought this would be useful if I end up exploring doing code changes in geth around my topics of interests. # Exploring interests My main interests revolve around engineering and research around sharding and verkle tries. I'm getting in touch with mentors related to these areas of interests to get their input. From my side, my self-directed plan now is: - Diving into the [go-verkle](https://github.com/gballet/go-verkle) repository, to understand more in detail how the oficial Go implementation works. Also indirectly touch [go-ipa](https://github.com/crate-crypto/go-ipa) since it's used for cryptographic operations. - Looking for any 'in progress' branches around integrating `go-verkle` in `geth` - Analyze areas of improvements to share later with mentors. I'll probably know better after the first calls with mentors.
Last changed by  
 
Ignacio Hagopian
github.com/jsign, @ignaciohagopian
268

Read more

Verkle Trees - Preimages generation & distribution strategy

block execution: 99.992976msINFO [07-15|13:10:28.917] Collected key values from base tree count=10000 duration=293.583654ms last account=008f65…483efbINFO [07-15|13:10:29.300] Prepared key values from base tree duration=382.488744msINFO [07-15|13:10:30.000] Inserted key values in overlay tree count=10000 duration=1.083027557smigration took: 1.376893246sfillLevels took 4.422121mscollecting nodes took 56.29µstoFrMultiple took 208.536µsupdating commitments took 3.090994mscollecting nodes took 5.472675mstoFrMultiple took 21.644539msupdating commitments took 52.035324mscollecting nodes took 2.3216mstoFrMultiple took 13.16166msupdating commitments took 54.440922mscollecting nodes took 127.455µstoFrMultiple took 639.024µsupdating commitments took 15.478009msFinalize: 211.469993msblock execution: 293.354953msINFO [07-15|13:10:30.971] Collected key values from base tree count=10000 duration=330.318923ms last account=008f65…483efbINFO [07-15|13:10:31.372] Prepared key values from base tree duration=400.638925msINFO [07-15|13:10:32.097] Inserted key values in overlay tree count=10000 duration=1.126096392smigration took: 1.456677516sfillLevels took 2.508844mscollecting nodes took 47.249µstoFrMultiple took 247.035µsupdating commitments took 4.936315mscollecting nodes took 7.428826mstoFrMultiple took 15.575423msupdating commitments took 50.524827mscollecting nodes took 2.413472mstoFrMultiple took 12.737298msupdating commitments took 41.038935mscollecting nodes took 139.996µstoFrMultiple took 648.065µsupdating commitments took 15.552383msFinalize: 193.08911msblock execution: 252.886918msINFO [07-15|13:10:32.963] Collected key values from base tree count=10000 duration=282.597556ms last account=00ab98…a45379INFO [07-15|13:10:33.531] Prepared key values from base tree duration=567.853577msINFO [07-15|13:10:33.900] Inserted key values in overlay tree count=10000 duration=937.057289msmigration took: 1.219926088sfillLevels took 7.629195mscollecting nodes took 136.204µstoFrMultiple took 414.446µsupdating commitments took 7.367287mscollecting nodes took 14.461581mstoFrMultiple took 18.437174msupdating commitments took 81.609759mscollecting nodes took 3.4579mstoFrMultiple took 19.02924msupdating commitments took 70.383834mscollecting nodes took 121.622µstoFrMultiple took 631.732µsupdating commitments took 15.461385msFinalize: 281.168431msblock execution: 239.645635msfillLevels took 269.784µscollecting nodes took 7.291µstoFrMultiple took 25.958µsupdating commitments took 641.648µscollecting nodes took 345.906µstoFrMultiple took 779.019µsupdating commitments took 5.172558mscollecting nodes took 198.328µstoFrMultiple took 601.982µsupdating commitments took 5.064353mscollecting nodes took 48.999µstoFrMultiple took 390.531µs

5/19/2024
Preimages slides

Why is this relevant for the Verkle conversion? We have to migrate all the data from MPT to VKT The keys in MPT are hashed We need the preimage of the hash to rekey it into the VKT Thus, we need all the preimages of the MPT tree Overlay Tree overview & timeline mental model image Current proposed strategy

5/16/2024
EOF + Verkle

EOF Verkle slides

4/22/2024
Verkle Trees - Another iteration of VKTs MSM

This document attempts to do another round of optimizations to the Verkle Tree related Multiscalar Multiplications (MSM).

3/21/2024
Read more from Ignacio Hagopian
Published on HackMD