Facilitate knowledge transfer between applied ZK developers at different levels of the stack, demonstrate the importance of application-specific ZK technology, and increase the legibility of ZK crypto to the crypto space broadly.

Applied ZK Workshop

Day #1

Day #2

Opening remarks

Brian Gu

This talk presents zkAttestor, a project to produce trustless zkSNARK-based on-chain attestations to data from any Ethereum state or block. These attestations are trustlessly verified on-chain in a smart contract which caches historical block hashes.  We envision use cases including identity, dapp primitives involving history, and on-chain reputation.

zkAttestor: Block and State Attestations on Ethereum

Yi Sun

Interep is an anti-sybil mechanism providing a bridge from an established identity source to the Ethereum ecosystem. It does so while preserving privacy. We'll discuss the potential use cases.

Interep - Identity in the web3 world

Geoff Lamperd/ Cedoor

Exploration of the cryptography primitives and data structures used in UniRep, a protocol enabling users to give, receive and prove reputation anonymously. We’ll also demo UniRep Social, a Reddit-like social app using the UniRep protocol.

Unirep and Unirep Social

Vivian Jeng and Barry Whitehat

We'll look at Waku, the communication layer for Web3, and how it uses ZK for its service network. Specifically, we'll look at RLN-RELAY, a privacy-preserving p2p economic spam protection mechanism. We'll also look briefly at the history of different implementations, and how we plan to get the best of both worlds with Rust and Circom using ark-circom and Zerokit.

Private, economic spam protection in Waku with RLN

Oskar Thoren

We're presenting cabal.xyz, a way to gate discord servers with ETH information while hiding your identity.

cabal: anonymous internet clubs

Lakshman Sankar (+ Uma Roy)

Minion fight is a zero-knowledge incomplete-information card game where private information such as hands and decks are simulated on chain. Each player gets a set of cute minion cards with different abilities and battles against a friend!

zk card game

Abby Lu

Diving into the design of a generalized marketplace that can exchange any asset type. Introduce a new token interface for private data and a demo of its use.

ZK Data Marketplace

Nick Ulven

We present a demo, explanation, hack, and fix of stealthdrop, the first OSS zero knowledge airdrop protocol.

Stealthdrop

Aayush Gupta

Nalin Bhardwaj

Adhyyan Sekhsaria

We introduce and demonstrate a dApp with a zkSNARK prover/verifier for a simple computer vision deep learning convolutional neural network for handwritten digit recognition (MNIST). This enables on-chain verification of off-chain, private data. Potential applications of this type of zk technology may include the protection of sensitive and private information such as personal financial info, personal biometric info, or private video/audio/image data.

A zkMNIST dApp

Francis Ho and Horace Pan

We'll describe what RLN is, why it is important, as well as recent developments and real world applications.

RLN and RLNapplications in the real world

Blagoj Dimovski

UltraPLONK is an extension of PLONK that supports custom gates and lookup arguments. In this talk, we introduce abstractions such as the "matrix" picture of the circuit, regions, and gates; then, we break these down to understand how they translate into polynomials that constrain a witness. We also explain optimisations, like floor-planning and selector combination, that improve the circuit layout.

UltraPLONK Arithmetisation

Ying Tong Lai

We present implementations of ECDSA, elliptic curve pairings, and RSA in circom, as well as some of their applications.

Elliptic Curves, Pairings, and RSA in Circom

Brian Gu / Yi Sun

Ecne

Franklyn Wang

Presenting ongoing work on formal verification for ZK circuits using symbolic compilation, showing preliminary results and potential directions for future work.

Formal Verification for ZK Circuits Using Symbolic Compilation

Yu Feng

zkREPL is a fully in-browser development environment for zk-SNARKs written in Circom

zkREPL

Kevin kwok

Building, playing, and hacking on crypto-native games. Participants: Dark Forest, Lattice, Conquest.eth, Topology, DFDAO, 0xCurio, and Moving Castles.

D.E.F.CON

DeFi Day is dedicated to everything DeFi, hosted in Amsterdam, on the 25th of April. We are excited to further the Defi ecosystem by bringing DeFi developers, working on applications and infrastructure layer together.  

DEFI DAY

DeFi Day

Amsterdam will be hosting Devconnect for a week, gathering the brightest developers and Ethereum builders. This event is for all the curious minds, technically inclined and generally interested people wanting to learn from the best contributors of the Ethereum ecosystem.

ETH DAY

Morning

Afternoon

Launch of ETH day

The cryptocurrency industry is made of visionaries and ruthless money makers, the perfect mix for a monetary revolution, and Eléonore is all in. Thrilled to be part of an ongoing social and financial experiment, she's passionate about p2p cash, voluntarism and economic freedom.
She founded CryptoCanal in 2019, offering education, events and consultancy services (marketing and business development). She's worked with industry leaders such as BTC.com, Luno, OKEx, Bitcoin.com, Cyber Capital and Bitvavo. She  hosts the bi-monthly CryptoCanal meetup in Amsterdam and teaches an online Crypto 101 for all and an in-depth class for more advanced cryptocurrency investors. She’s the host of the Humans of Crypto Podcast.

Eléonore Blanc

Welcome to Devconnect!

Aya originally became fascinated in the blockchain space for its potential to impact financial inclusion in emerging economies. In early 2013, she joined Kraken and educated the public, regulators, VCs and media on cryptocurrencies and blockchain innovation globally as Managing Director of Japan. Her passion for creating lasting sustainable impact led her to join the Ethereum Foundation as Executive Director. There, she leads the Foundation’s work to support the Ethereum ecosystem through core research and development activities, financial support and guidance, and cross-sector educational efforts. Aya’s goal is to help Ethereum maintain its soul as an Infinite Garden, or a decentralized creative space that is open-source, inclusive and permissionless.

Aya Miyaguchi

Time for an Update on the Ethereum Roadmap

Tim Beiko is the coordinator for Ethereum's AllCoreDevs calls. Prior to this, we worked on ConsenSys's Ethereum client, Hyperledger Besu.

Tim Beiko

Why community funded core developent is a Public Good

Ethereum community member that has been involved with a number of public goods projects through Stateful Works. Currently working at the EF on the Protocol Support team, connecting client teams and researchers with the broader ecosystem.

Trent van Epps

First principles for DAO design

Andrej Berlin

Learn from the serial DAOists

Rolf is a serial DAOist, Member of the @Meta_Cartel Mages, Owner at @cultur3capital & Builder at @numomoart

Rolf Hoefer

Ryan is a DAO coordinator working to build a better world full of vibrant Public Goods.

Ryan Coordinator

Project Lead (SES), Co-Founder (CW), Co-host (meetup)

Lenka Hudáková

Digging Into DeFi

Jeremy Musighi is Head of Growth at Balancer Labs, supporting the community-driven growth and sustainability of the Balancer Protocol. He has also been a crypto investor and researcher since 2013 and is the founder and CIO of Immutable Capital. Jeremy previously co-founded, grew, and sold two consumer Internet technology companies.

Jeremy Musighi

DeFi surfing the highs and lows

Blockchain OG. DeFi Builder. HW Eng. First Flash Loan of the history. Massive tech investor "The more your share, the more you get”

Julien Bouteloup

Alex Vinas is the marketing manager at CowProtocol, a spinoff of GnosisDAO that offers a batch settlement layer for decentralized trading. Prior to joining CoW, Alex worked as a financial and innovation consultant specializing in enterprise blockchain for leading institutions in Spain.

Alex Vinyas

Pushing forward blockchain adoption #BUIDL

Jonathan Knegtel

Tools & Infrastructure

Simon is enthusiastic about simplifying the complexities of our interconnected world. He applies this passion as a Solutions Engineer at Edge & Node to enable the amazing projects in web3 building exceptional decentralised experiences leveraging The Graph. He joined the blockchain space professionally in 2017 as Head of Front-end/UX at Melonport which is now know as Enzyme Finance, one of the pioneering projects using The Graph.

Simon Emanuel Schmid

DevRel and Community lead @Consensys & Early Stage Investor at @ouicapital , Former Developer Community at @digitalassetcom and NFT lover

Francesco Andreoli

Austin Griffith

Debate: NFTs

After studying philosophy at the University of Auckland in New Zealand, Justin discovered crypto assets in 2013 and immersed himself in this new technology. This led him to actively invest and research cryptocurrencies full-time in 2014 as a generalist with a specialization in the politics and decentralized governance of cryptocurrencies. In BTC’s development, Justin was involved in block-size debates in favor of larger blocks and supported the software implementations of BTC XT, BTC Classic and became a member of BTC Unlimited. Over time, with a critical mindset towards evaluating cryptocurrencies including, Justin has developed his own theories on blockchain governance as a major factor to the competitive evolution of cryptocurrencies. Through writing articles, giving lectures and regularly participating in public debates surrounding cryptocurrencies, he gains insights to further hone the fundamental analysis-based investment strategy that remains his primary focus.

Justin Bons

Adrian is the founder of @EthBlockArt, the NFT protocol and creative engine for blockchain based data art.

Adrian le Bas

Working in Web3

Maria Magenes entered the world of Blockchain and in particular of Decentralized Finance (DeFi) in 2018. Today she is Marketing Lead of Oasis App, the DApp that allows access to the Maker protocol and the creation of Dai. In addition, she collaborates with Balancer Labs, another important DeFi project and with other projects related to the blockchain. Previously Maria held the role of Community & Marketing Lead Europe & Africa for the Maker Foundation and Head of Marketing for Aave for 2 years. Before entering the world of blockchain, she was part of the Marketing Strategy team at Sky Italia for several years. Maria studied International Business at Bocconi University and is passionate about technology and innovation.

Maria Magenes

ETH as an economic asset is critical to the security of Ethereum. RIG, economists, and others spend a day teasing apart the economics of ETH

ETHconomics

Ask Remix Anything and play the Remix virtual obstacle course through contract development.

Game Day Remix

Main

Layer 1 R&D

A two-day technical conference dedicated to Ethereum L2 Scaling. Meet industry leaders: builders and developers, learn during talks and panels and dig deeper by attending workshops.

Layer Two Amsterdam

Keynote - Still no flying cars, but at least we get rollups

Dankrad Feist is an Ethereum researcher with a background in Theoretical Physics and Technology. Since joining the Ethereum Foundation in 2019, he has worked on topics that involve applied cryptography, such as sharding, statelessness, the proof of custody and other topics.

Dankrad Feist

Introducing Risk Framework 2.0

Bartek Kiepuszewski is a Blockchain Researcher working for MakerDAO Protocol Engineering team where he is primarily responsible for risk assessment  of various scaling solutions for Ethereum. He is also a co-founder of l2beat.com, the community-focused, vendor-neutral portal educating users about Ethereum Layer2 ecosystem.

Bartek Kiepuszewski

Are current rollups sufficiently decentralized?

Independent Ethereum educator, angel investor and advisor. Anthony is a founder of The Daily Gwei and a Co-Founder of EthHub.

Anthony Sassano

Ed Felten is Co-founder and Chief Scientist at Offchain Labs, the makers of Arbitrum. He was previously the Kahn Professor of Computer Science and Public Affairs at Princeton University, and served on the White House staff as Deputy United States Chief Technology Officer. He is a member of the U.S. National Academy of Engineering and a Fellow of the ACM.

Ed Felten

Ben "Weird ETH Yankovic" Jones is a co-founder and Chief Scientist at Optimism. Prior to Optimism he worked on Ethereum's CBC Casper team.  In his free time he works on crypto music.

Ben Jones

Ohad Barta has been a product manager at StarkWare for two years. He is involved in numerous projects building on both StarkNet and StarkEx. Ohad came to StarkWare with 9 years of prior experience in theoretical cryptography and code development.

Ohad Barta

StarkNet New Horizons

Rollups and the Future of Ethereum Scaling

Induced Demand from Blockchain Resource Pricing

John is a PhD dropout (for real) and co-founder of Celestia Labs and Fuel Labs. Previously, he was a scalability researcher at ConsenSys, where he created the optimistic rollup design paradigm.

John Adler

Internals of Matter Lab's zkEVM - design goals, technical challenges and tricks

Ethereum enthusiast, Co-founder of Matter Labs.

Aleksandr Vlasov

Hybrid Compute: Realizing the Full Potential of Web3

Alan is Founder and CEO of Boba Network. He has more than 20 years of company building and investing experience, with a background in distributed systems, enterprise software, and fintech. Alan serves on the Stanford Graduate School of Business Alumni Board, as well as the board of Stanford Angels and Entrepreneurs as Co-President.

Alan Chiu

Fire the Cannons: Optimism's Next-Gen Fault Proofs

Discord into Discourse: Organizational Infrastructure

A visionary and transformative leader, with a hybrid skill set of technology and business. Yuan received his Bachelor of Computer Science with Honors at Acadia University and his Master of Business Administration (M.B.A.), Corporate Strategy, and Leadership at the University of Toronto. Quickly ascended the ranks to become Technical & Engagement Lead at IBM Canada, and moved on to become Co-Founder & Tech Lead at Metis.

Yuan Su

Cross chain operations made easy with OpenZeppelin

Hadrien is French, has a Ph.D. in computer science from the École Normale Supérieure de Lyon, and has been working as a smart-contracts engineer since 2017. Currently he is a part of the OpenZeppelin development team, working on the open-source smart-contracts library and the associated tooling.

Hadrien Croubois

How we are building the zkEVM

Jordi leads the technical development of the Polygon Hermez zkRollup and is currently working on the implementation of the zkEVM. He is the co-founder of the White Hat Group, the author of the MiniMe token contract, the elliptic curves Solidity library, as well as numerous other established contracts in the Ethereum space. Jordi is also a well-respected auditor as well as the co-founder of the donation platform Giveth, DAppNode, Iden3 and most recently, Polygon Hermez.

Jordi Baylina

Polygon Nightfall and testnet launch update

Chaitanya is a Cryptography and Blockchain Researcher working in EY's Blockchain R&D team. She works on scalable privacy solutions for public blockchains. She led the development of Nightfall 1 project and currently is leading the deployment of Polygon Nightfall to mainnet in partnership with Polygon.

Chaitanya Konda

Building Scalable L2s with ZK

Brendan studied math and philosophy before starting Mir, a ZK L1 designed to provide privacy and scalability. The Mir team joined Polygon, becoming Polygon Zero, and released Plonky2, which set a new benchmark for ZKP performance. Polygon Zero is focused on building a scalable ZK L2 to onboard the next billion users to Ethereum.

Brendan Farmer

Miden VM: the heart of Polygon Miden

Bobbin Threadbare is a project lead for Polygon Miden. Prior to joining Polygon, Bobbin was a core ZK researcher at Facebook's Novi where he led the development of Winterfell, a highly-performant STARK prover and verifier. Bobbin has made numerous contributions to the STARK-based systems including genSTARK library, Distaff VM, as well as AirScript and AirAssembly languages.

Bobbin Threadbare

Anonymity for a billion people

Desire: To see humanity explore and enjoy the full extend of what is possible within the limits of the laws of physics, and to find ways to hack around those limitations where I can!

Remco Bloemen

A look into the zk-evm

Olivier Bégassat is part of the ConsenSys Applied Research RnD team. His current interest is around developping a zk-evm.

Olivier Begassat

Theodore Chapuis-Chkaiban is an applied researcher in Cryptography at ConsenSys Protocols R&D team. His research interests lie at the intersection of cryptography and computer architecture design. He is the co-author of a paper recently published on EthResearch specifying a model for a zk-EVM which is currently being implemented.

Théodore Chapuis-Chkaiban

zkEVM challenges and solutions

Ye Zhang is the co-founder and zk-researcher at Scroll Tech. He used to work on hardware acceleration for ZKP algorithms and theoretical constructions behind ZKP protocols. Now his focus is on optimizing the zkEVM.

Ye Zhang

Do we need zkEVM equivalence or is EVM compatibility sufficient?

Justin is a researcher at the Ethereum Foundation.

Justin Drake

Starknet dApps: How we built DeFi 3.0 with Cairo

Vitaly is the CTO at ZKX, where he leads all aspects of the technology and innovation of a suite of Web3 products. He is a strategic, business-driven leader with 20+ years of experience and specializes in developing operational strategies to assure business growth through emerging technologies and product-market-fit.

Vitaly Yakovlev

Why account abstraction on L2 matters

Julien is the Chief Science Officer and co-founder of Argent. He holds a PhD in Physics from Université libre de Bruxelles with a focus on Quantum Information and Quantum Cryptography. He has authored several publications in leading peer reviewed scientific journals and is the author of three patents: for quantum random number generation, distribution and use in novel cryptographic schemes.

Julien Niset

Choosing an L2 solution for the Tornado Cash Nova dapp

Security auditor and solidity dev. Worked on many dapps including Tornado Cash.

Alexey Pertsev

A history and present-day overview of Ethereum scaling solutions

Product Design Lead at Arbitrum, former web2 founder, current handstand aficionado.

Valeria Yermakova

L2: Our one chance to fix the mistakes of the past

Barry has been working with ethereum since January 2016. He has developed dapps . He has had bugs accepted to the ethereum foundation's bug bounty. And performed security reviews of numerous projects. More recently he has become interested in zksnarks.

Barry Whitehat

A note on bridges and layer-2

Patrick McCorry is an Engineer (more like Intern) at Infura. He was an Assistant Professor at King's College London in Cryptocurrencies and Security Engineering. As well, he was a researcher at University College London, University of Illinois at Urbana-Champaign and Newcastle University.

Patrick McCorry

True Bridges vs Liquidity Networks

Ethereum Researcher, Co-Founder@SocketDotTech, L2 guy.

Vaibhav Chellani

Rollup Glue - enabling users on L2 to access cross-chain DeFi

Will is the founder of DeversiFi, an application specific L2 powered by zero-knowledge proofs, as well as the co-founder of ZKValidator. DeversiFi is focused on making DeFi yield and trading opportunities accessible from one easy and low-friction interface.

Will Harborne

Improving Rollups: The Power of State Pools

Jacobo Toll-Messia, Founder and CEO at Nahmii AS, was a managing consultant for IBM Global Business services before launching Nahmi AS. At IBM, he specialized in product and business development, strategic planning, distributed systems, and data management. Before that, he was a program manager and country manager at Epsis. Jacobo is a thought leader and expert in cryptocurrency, blockchain, and the Web3 industry.