Content
@
0 reply
0 recast
0 reaction
Marek
@zkmarek
🎙️ New zkMarek episode is live! We're diving deep into cryptography with some fascinating topics: 🤫 Trusted setup in PLONK & Verkle trees 👭 Pairings explained 🕵️ Secret polynomial calculations 🎥 Watch now: https://www.youtube.com/watch?v=IDKn2Y9Kkc4
1 reply
3 recasts
28 reactions
avi
@avichalp
great video! didn’t verkle tries uses IPA?
1 reply
0 recast
1 reaction
Marek
@zkmarek
Nope, vector commitments
1 reply
0 recast
0 reaction
avi
@avichalp
interesting! so is this outdated? https://ihagopian.com/posts/anatomy-of-a-verkle-proof
1 reply
0 recast
0 reaction
Marek
@zkmarek
Interesting. So Ethereum is using kzg as vector commitment in verkle trees (which we will talk about in next video). But it seems you can also use ipa instead (which I didn’t know about).
1 reply
0 recast
0 reaction
avi
@avichalp
my understanding is that ethereum will use IPAs and hence won’t need pairings or a trusted setup but, yes, you could implement verkle tries with KZG (from the post I shared above)
1 reply
0 recast
0 reaction
Marek
@zkmarek
You got me investigating. I looked at several repos and they have both ipa and crs in dependencies, but no kzg. I do remember a ceremony for verkle trees though last year. I guess it went unused or crs is used for sth else. Will digg deeper before next movie.
1 reply
0 recast
0 reaction
avi
@avichalp
oh that KZG ceremony last year! wasn't that for 4844 blob commitments?
2 replies
0 recast
0 reaction
Marek
@zkmarek
Exactly. Mu understanding is blobs use kzg based verkle trees.
0 reply
0 recast
0 reaction
