

About us
Ethereum meet-up for software engineers and everyone else! YouTube: https://www.youtube.com/c/ethereumengineeringgroup
Merch Store: https://ethereum-engineering-group-shop.fourthwall.com/
More info: https://drinkcoffee.github.io/projects/meetup/
The events use Zoom as a simple Zoom meeting. This has advantages of allowing everyone to talk and ask questions. It however does mean that the meetings can at times be disrupted by time wasters. To help reduce the risk of this, a waiting room is enabled. Please aim to join the calls before the events start. Please ensure your Zoom display name matches your Meetup user name.
Upcoming events
4

Formal Verification for Ethereum’s Next Scalability Era
·OnlineOnlineOnline event: https://us06web.zoom.us/j/84513468897?pwd=SEd5TEN3Zi9XaThQRVpsVzZ4OFVmdz09
Mooly Sagiv, founder of Certora, will discuss how his team's research. The Ethereum Foundation has awarded a research grant to Certora to formally verify core components of the zkEVM, Ethereum’s next-gen zero-knowledge execution engine.
10 attendees
XChainWatcher: Identifying Anomalies in Crosschain Bridges
·OnlineOnlineOnline event: https://us06web.zoom.us/j/84513468897?pwd=SEd5TEN3Zi9XaThQRVpsVzZ4OFVmdz09
André Augusto will present this talk.
Description: We analyze $4.2 B in token transfers in two cross-chain bridges, and uncover a range of previously unexplored anomalies in bridges, arising not only from security vulnerabilities but also from 𝐬𝐢𝐠𝐧𝐢𝐟𝐢𝐜𝐚𝐧𝐭 𝐮𝐬𝐚𝐛𝐢𝐥𝐢𝐭𝐲 𝐢𝐬𝐬𝐮𝐞𝐬 that can impact real users in practice.
The analysis was based on 𝐫𝐞𝐚𝐥-𝐰𝐨𝐫𝐥𝐝 𝐝𝐚𝐭𝐚, performing 𝐦𝐚𝐧𝐮𝐚𝐥 𝐢𝐧𝐯𝐞𝐬𝐭𝐢𝐠𝐚𝐭𝐢𝐨𝐧 𝐨𝐟 𝐞𝐚𝐜𝐡 𝐢𝐝𝐞𝐧𝐭𝐢𝐟𝐢𝐞𝐝 𝐚𝐧𝐨𝐦𝐚𝐥𝐲. As such, we provide insights with strong practical relevance and a clear real-world dimension.
13 attendees
Past events
206