What we're about

A remote Meetup group focused on the hosting and aggregation of the best virtual events in the Ethereum space.

Upcoming events (4)

Eth2 Deposit Contract:Verification of the Incremental Merkle Tree Alg with Dafny

Online event: https://consensys.zoom.us/j/99473632726

Speaker: Franck Cassez
Abstract: The Deposit Smart Contract (DSC) is an instrumental component of the Ethereum 2.0 Phase 0 infrastructure. We have developed the first machine-checkable version of the incremental Merkle tree algorithm used in the DSC. We present our new and original correctness proof of the algorithm along with the Dafny (mechanised) version. The main results are: 1) a new proof of total correctness; 2) a software artefact with the proof in the form of the complete Dafny code base and 3) the identification of provably correct optimisations of the algorithm.

Networking & Recruitment Event

Online event

Online event: https://consensys.zoom.us/j/99473632726

This event will allow people to meet others in the blockchain ecosystem. Additionally, this event will give employers and candidates the opportunity to meet and discuss possible roles. Please message me ahead of the event if you are an employer.

Scaling Ethereum using Roll-ups and Sidechains

Online event

Online event: https://consensys.zoom.us/j/99473632726

Peter Robinson will explain the scalability landscape of Ethereum including Roll-ups, and Sidechains.

Regulation of Central Bank Digital Currencies

Online event

Online event: https://consensys.zoom.us/j/99473632726

Simeon Lawson (https://www.linkedin.com/in/simeon-lawson-275214b1) is going to talk about Regulation of Central Bank Digital Currencies.

Past events (47)

Networks of Automated Market Makers

Online event

Photos (30)