Dragan Pilipovic

@ethereum fellow, grantee @starknet, contributor @onlydust_xyz, ex @nethermindeth intern, ex Drupal dev. Interested in applied cryptography in blockchains

[Dragan Pilipovic @gagadrupal]

Just got my @EFDevcon with @themu_xyz ❤️

If you’re curious what Ethereum actually does, don't miss Devconnect. Nov 17–22 in Buenos Aires 🇦🇷

You coming? https://t.co/hBvqIbhoh1

[Dragan Pilipovic @gagadrupal]

@pumatheuma hi, just DM'd. I already did some work regarding this for halo2 lib (but that framework seems to be stale), would be happy to explore sp1 :)

[Daniel Lubarov @dlubarov]

I wrote a little note to explore the ZK-friendliness of Verkle proofs: https://t.co/KaFw1uydLT

TLDR: Compared to binary Merkle proofs, it's hard to say which is more ZK-friendly; it will come down to a bunch of implementation details.

[Dragan Pilipovic @gagadrupal]

@gballet @dlubarov @colludingnode @VitalikButerin @MihailoBjelic IIUC there are 2 separate things here:

- data used in the block (verkle proof)

- state transition proof(execution proof, zkevm proof)

[Dragan Pilipovic @gagadrupal]

@colludingnode for proving the state transition, my understanding is that you only need to prove that the trie root calculation is done "correctly". This means that you need to prove MSM on each node in the trie (so no IPA)

[Dragan Pilipovic @gagadrupal]

@dlubarov if my understanding is correct, trie root calculation (update of the trie) is done once at the end of the block processing, so could the design be that the EVM operations(opcodes) and trie root calculation could use different proof systems?

[Dragan Pilipovic @gagadrupal]

Bandersnatch curve is native to zkevms which use KZG as PCS (with EIP 2537), but im wondering how performant will the 255bit field when emulating with small fields and STARKs?

This has been something i've been learning about past 6 months. Its very interesting problem!

[vitalik.eth @VitalikButerin]

@MihailoBjelic ZK-ifying keccak merkle patricia trees with worst case 300 MB witness sizes is a non-starter.

The verkle tree spec is designed to be zk friendly (eg. choice of curve, using pedersen as the hash)

So switching to verkle helps with ZKing the L1.

[vitalik.eth @VitalikButerin]

@MihailoBjelic ZK-ifying keccak merkle patricia trees with worst case 300 MB witness sizes is a non-starter.

The verkle tree spec is designed to be zk friendly (eg. choice of curve, using pedersen as the hash)

So switching to verkle helps with ZKing the L1.

[0xMilica | ZK education @0xMilica]

Today from the ZK community gathering by @ethbelgrade:

@gagadrupal presented stateless Ethereum with (of course, his favourite) Verkle tries and the Verge 💡

Did you know that each node in that trie has 256 children? 🤯

Many thanks to @gagadrupal and Aleksandar Veljković 🤗

[Belgrade Blockchain Week @belgradebw]

We're excited to announce the next @ethbelgrade meetup dedicated to ZK! 🚀

Join us and don't miss this unique gathering with amazing speakers Aleksandar Veljković and @gagadrupal, great company, and beer. 🍻
📍@attic42

Sign up here: https://t.co/mfoFU3IU3i

[ETH Belgrade @ethbelgrade]

Live for ETH Belgrade Community meetup #7 Novi Sad edition 🙌

Thanks HTECH for hosting us, and thanks @Neon_EVM for sponsoring this meetup 🥰

[stokes @ralexstokes]

anyone want to implement `hash_to_curve` (following this comment https://t.co/enjxsGnuWU) in solidity?

happy to explore a grant for the work

[Fede’s intern 🥊 @fede_intern]

We wrote a new blog post.

Our (@class_lambda) highly subjective view on the history of Zero-Knowledge Proofs
https://t.co/sQN8vmPFyY

[Greg Gambatto @GregoireGambatt]

93% of open-source contributors on @OnlyDust_com are eligible for the @Starknet airdrop.
Keep building the future of tech, devs.
You will be rewarded.

[Mario Havel @TMIYChao]

EPF Study Group has been cooking for a while and it's finally here! An education program for anyone interested in the internals of Ethereum core protocol. With @joshdavislight, we will take you on a 10-week journey into the protocol and development👇
https://t.co/FOYNBIBnuP
Ethereum is an open but complex machine. And as the pace of core R&D is not slowing down, it becomes quite hard to keep up with everything. I believe it's important for the Ethereum community to understand what's under the hood and demand a focus on security, decentralization.

This program is for everybody with a desire to technically understand the core of Ethereum. Whether you are a developer, student, or just a crypto enthusiast, EPFsg can help you safely dive into the scary depths of the protocol.

Especially if you are considering joining EPF and starting your path as a core developer, the study group is a great place to begin your journey. Starting with a general overview and diving deeper into the architecture and specific domains, it's up to you what topics you want to focus on.

As a part of this program, we are launching a Protocol Wiki. A knowledge base for gathering resources about all domains of the protocol. It's a community effort that will help EPFsg participants gain experience as contributors.

If you are curious about the study group, considering joining or have any questions, join us for a town hall on Monday. All info in the announcement blog post:

[Dragan Pilipovic @gagadrupal]

@shrameetweets great work! I recently started a project for benchmarking EC operations(only scalar mul and point add on different curve) with cairo0 but struggling a bit with cairo0, looking at your code seems like I can use cairo1 too? Here's the link: https://t.co/GGxIi5IrnQ

[Starknet (Privacy Arc) @Starknet]

L2 peace https://t.co/ZlDoih0Y0t

[Ignacio Hagopian @ignaciohagopian]

I wrote a deep dive into Verkle proofs and the stateless clients.

https://t.co/qGaBHjA1NA

[vitalik.eth @VitalikButerin]

By popular demand, an updated roadmap diagram for 2023!

[ETH Belgrade @ethbelgrade]

🔊 Calling all speakers!

Today, we officially open speaker applications for ETH Belgrade 2024.

Last June, over three conference days, nearly 💯speakers shared their knowledge, experiences, and brought immense value to the community.

Can we exceed that this year?

Absolutely 💪

Be a speaker at ETH Belgrade ▶️ https://t.co/143v1RhdyF