Dragan Pilipovic

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? devconnect.org/argentina/tick…

@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 :)

If anyone is interested in evaluating how zkVM friendly Verkle Trees are vs. the Ethereum MPT, would be happy to sponsor a grant for it. SP1 has precompiles for bls12-381 arithmetic. Curious to see how performance nets out. Feel free to DM or reply!

I wrote a little note to explore the ZK-friendliness of Verkle proofs: @dlubarov/B1rVbPgb0" target="_blank" rel="nofollow noopener">hackmd.io/@dlubarov/B1rV… 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.

@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)

@dlubarov @colludingnode @VitalikButerin @MihailoBjelic It's not just the proof, it's the data that you need to pass around to meaningfully use the network.

Btw, are we sure we want to switch Ethereum to Verkle trees, given that its zk-fication is quite likely?

@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)

rather than recomputing KZG commitments in-circuit, you can verify them non-deterministically using fiat-shamir can you do the same with IPAs? / is that needed to validity-prove the creation of a verkle trie?

@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?

@gagadrupal AFAIK, there isn't a great way for STARKs (or any ZKPs) across unrelated fields to communicate. I think we would need to hash a list of results, using some neutral hash (in could be a native arithmetic hash for one, but not the other).

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!

@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.

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ć 🤗

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: lu.ma/1zwkoam5

Live for ETH Belgrade Community meetup #7 Novi Sad edition 🙌 Thanks HTECH for hosting us, and thanks @Neon_EVM for sponsoring this meetup 🥰

anyone want to implement `hash_to_curve` (following this comment ethereum-magicians.org/t/eip-2537-bls…) in solidity? happy to explore a grant for the work

We wrote a new blog post. Our (@class_lambda) highly subjective view on the history of Zero-Knowledge Proofs blog.lambdaclass.com/our-highly-sub…

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.

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👇 blog.ethereum.org/2024/02/07/epf… 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:

@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: github.com/dragan2234/ban…

Tate pairing for BN254 (aka BN128) in Cairo 2 (powered by Sierra)

L2 peace twitter.com/i/broadcasts/1…

I wrote a deep dive into Verkle proofs and the stateless clients. ihagopian.com/posts/anatomy-…

By popular demand, an updated roadmap diagram for 2023!

🔊 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 ▶️ ethbelgrade.rs