Enhancing Smart Contract Security through AI: Promises and Limitations
Keynote
Talk
Ecosystem Track
Coming soon...
Speaker:
Arthur GervaisProf. of Information Security, UCL & Co-Founder, D23E
Building a Greener Future: How Blockchain Powers Sustainable ESG Strategies
Coming Soon...
Speaker:
Prof. Jens StrükerDirector, Fraunhofer Blockchain Lab & Professor, University of Bayreuth
Introduction to Regulation of Crypto Assets
Coming Soon...
Speaker:
Alireza SiadatCrypto & DLT Advisor
Ethereum Protocol R&D Roadmap
The talk explains the latest roadmap of Ethereum protocol development. It provides a technical dive into the current state of the protocol, recent and upcoming upgrades. We will dive into proposed solutions like PeerDAS, EOF, verkle trees and more.
Speaker:
Mario HavelProtocol Supporter, Ethereum Foundation
Blockchain 101: The Historic Evolution of Blockchain
Coming Soon...
Speaker:
Filip RezabekPhD, TUM
The Transformative Power of Chain Fusion
Keynote
Talk
Ecosystem Track
Blockchains today operate independently, like isolated atoms. Chain Fusion is the catalyst that unites them, releasing a surge of energy in the process. This presentation shows how Chain Fusion, powered by the Internet Computer's unique capabilities, enables dapps to transfer information and value across different blockchains. By eliminating the need for complex intermediaries like oracles and bridges, we can harness the strengths of multiple blockchains to create innovative and powerful applications and unlock new possibilities and opportunities.
Speaker:
Yvonne-Anne PignoletDirector of Research, DFINITY Foundation
Demystifying Crypto Taxes: Everything You Need to Know
Coming Soon...
Speaker:
Werner HoffmannCEO & Co-Founder, Pekuna
Blockchain Scalability: A Holistic Recap
Coming Soon...
Speaker:
KianPolkadot Fellow
The Future of Societies is Decentralized: Unlocking the Potential of the XRP Ledger
Coming Soon...
Speaker:
David BchiriPresident, XRPL Commons
Deploying Native Multichain Token With Customizable Security Models
The landscape of blockchain technology is evolving rapidly, with cross-chain interoperability becoming a cornerstone of the future. One significant advancement in this space is the deployment of native multichain tokens. Imagine the ability to configure sophisticated security measures, set precise rate limits at the contract level, and select from a variety of deployment models—all tailored to your specific needs.
Join us for an in-depth workshop on deploying native multichain tokens with customizable security models. Learn how to seamlessly implement rate limits directly on the contract to enhance security and prevent abuse. Discover the nuances between different deployment strategies, such as the burn and mint model versus the hub and spoke model, and understand how to choose the best fit for your use case.
Whether you're a seasoned developer or new to the multichain world, this workshop will equip you with the knowledge and tools needed to easily deploy your own multichain token, while maintaining robust security and flexibility. Speaker:
Evgeni KozyrDevRel Engineer, Wormhole Foundation
METHODA: Framework for Large Scale Distributed Systems Evaluation
The talk covers the differences between process- and VM-based TEEs and their impact on blockchain scalability. It will review the current state of TEE research. The talk introduces a framework for researching TEEs in both local and cloud settings.
Speaker:
Filip RezabekPhD, TUM
A new Paradigm: Modular Blockchains and Data Availability
Coming Soon...
Speaker:
Kilian GlasPhD Student, TUM
Anti-Money Laundering and Crypto-Assets - Risks and Regulatory Framework in the EU
Coming Soon...
Speaker:
Dr. Lars HaffkeAML / AFC Manager, Regpit
Panel Discussion
Ecosystem Track
Coming Soon...
Speakers:
Prof. Dr.-Ing. Georg CarleChair Holder, TUM
Prof. Florian MatthesProfessor of Informatics, TUM
Prof. Sebastian SteinhorstProfessor of Embedded Systems and Internet of Things, TUM
Filip RezabekPhD, TUM
Update on MiCAR for Token Issuers (other than ART/EMT)
Coming Soon.....
Speaker:
Dr. Nina-Luisa SiedlerRechtsanwältin, Chair of the Board of thinkBLOCKtank, Lehrbeauftragte HTW Berlin
ZK 101: The Magic of Proving Without Revealing
Coming Soon...
Speaker:
Jan LauingerPhD, TUM
XRP Ledger: Everything is a Payment Away
This hands-on XRPL workshop is perfect for anyone eager to dive into the XRP Ledger, offering practical insights into setting up your wallet, sending and receiving tokens, and developing on the XRPL. You'll also explore the XRP Ledger's best real-world use cases, learn more about its upcoming features, and find out how to get more involved in the XRPL community! Speaker:
VetCo-Founder, xrp.cafe
The Evolution of Payments and the Stable Coin Revolution
Coming Soon...
Speaker:
Prof. Philipp MaumeProfessor of Corporate Governance and Capital Markets Law, TUM
zkLogin: Privacy-preserving blockchain authentication with existing credentials
For many users, a private key based wallet serves
as the primary entry point to blockchains. Commonly recommended wallet authentication methods, such as mnemonics
or hardware wallets, can be cumbersome. This difficulty in
user onboarding has significantly hindered the adoption of
blockchain-based applications.
We develop zkLogin, a novel technique that leverages
identity tokens issued by popular platforms (any OpenID
Connect enabled platform e.g. Google, Facebook, etc.) to authenticate transactions. At the heart of zkLogin lies a signature
scheme allowing the signer to sign using their existing OpenID
accounts and nothing else. This improves the user experience
significantly as users do not need to remember a new secret
and can reuse their existing accounts.
zkLogin provides strong security and privacy guarantees.
By design, zkLogin builds on top of the underlying platform’s
authentication mechanisms, and derives its security from there.
Unlike prior related works however, zkLogin avoids the use of
additional trusted parties (e.g., trusted hardware or oracles)
for its security guarantees. zkLogin leverages zero-knowledge
proofs (ZKP) to ensure that the link between a user’s off-chain
and on-chain identities is hidden, even from the platform itself.
The signature scheme at the heart of zkLogin enables a
number of important applications outside blockchains. Most
fundamentally, it allows billions of users to produce verifiable
digital content leveraging their existing digital identities, e.g.,
email address. For example, a journalist can use zkLogin
to sign a news article with their email address, allowing
verification of the article’s authorship by any party.
We have implemented and deployed zkLogin on the Sui
blockchain as an alternative to traditional digital signaturebased addresses. Due to the ease of web3 on-boarding just with
social login, without requiring mnemonics, many hundreds
of thousands zkLogin accounts have already been generated
in various industries such as gaming, DeFi, direct payments,
NFT collections, ride sharing, sports racing, cultural heritage,
construction and electricity sectors and many more.
Speaker:
Kostas ChalkiasChief Cryptographer & Co-Founder, Mysten Labs / Sui
Countdown to Compliance: MiCA's Sustainability Disclosure and associated Risks for Issuers and Service Providers
MiCA mandates sustainability disclosures from crypto issuers and service providers by the end of 2024. Ulrich from CCRI highlights the requirements, how crypto orgs ensure compliance and why time is running out.
Speaker:
Dr. Ulrich GallersdörferCTO & Co-Founder, CCRI
L2BEAT.com is your Layer 2 police: We watch Ethereum scaling solutions and make their risks and trust assumptions transparent for users. For this we have a risk framework that looks like a pizza. I will give an overview of Ethereum scaling progress.
Speaker:
Sebastian KuglerResearcher, L2BEAT
STIR: Reed–Solomon Proximity Testing with Fewer Queries
Coming Soon...
Speaker:
Giacomo FenziPhD in ZK and PQC, EPFL
MiCAR Implementation: Current Status and Challenges
Panel Discussion
Regulation Track
Coming Soon...
Speakers:
Dr. Christian StollCEO & Co-Founder, CCRI
Alireza SiadatCrypto & DLT Advisor
Philipp SandorBusiness Development & Sales, Tangany
Jonas JüngerRegional Director, Binance
Blockchains verify by recomputation. That doesn't scale. Client-side zero-knowledge proofs (users create their own proofs) are easier to verify and give us privacy. Blockchains using client-side proofs look a bit different but make much more sense.
Speaker:
Dominik SchmidZero Knowledge, Polygon Miden
Solana Superteam Ideathon
Join us for a half-day Ideathon — whether you're new to blockchain or an experienced dev, this Ideathon will be the perfect platform to explore new concepts, collaborate with like-minded individuals, and bring your ideas to life.
The Ideathon will start with a workshop to introduce some of the key areas of emerging blockchain innovation, explain what makes a successful project and how to turn your idea into reality. Participants will form teams and pitch their projects at the end of the day for prizes 🔥
13:30 — Ideathon intro
14:00 — Team Building & Co-Working/Ideation
16:30 — Pitches & Prizes
You can also take your ideas to the next level and compete for over $600k in prizes (and millions in pre-seed funding) in the Global Solana Hackathon (https://arena.colosseum.org/register?ref=stde) is happening from Sept 2 - Oct 8th. L2s Interoperability Landscape
Ethereum has adopted a rollup-centric scaling roadmap. This approach comes at the cost of state fragmentation and deteriorated composability. In this talk, we will explore the landscape of interoperability solutions for L2s.
Speaker:
MohammadSenior Protocol Researcher, Scroll
Scaling is a challenge for decentralized networks. Rollups are seen as an L1 scaling solution, but effective methods are lacking. This talk shows how sharding improves both network and application scalability, providing a flexible and robust solution.
Speaker:
Ilya MarozauSenior Decentralised Engineer, =nil; Foundation
How Regulation is Shifting the DeFi Landscape for Protocols and Users
Panel Discussion
Regulation Track
Coming Soon...
Speaker:
Joanna RindellHead of Legal, Trilitech
Panel Discussion
Ecosystem Track
Coming Soon...
Speakers:
MohammadSenior Protocol Researcher, Scroll
Dominik SchmidZero Knowledge, Polygon Miden
Recent Advancements in Zero-Knowledge Proofs
Coming Soon...
Speaker:
Benedikt BünzChief Scientist, Espresso Systems & Asst. Professor, NYU
Navigating the Future of Crypto: AMA with Jonas Jünger
Coming Soon...
Speaker:
Jonas JüngerRegional Director, Binance
Riverguard - Fishing for Loss of Funds
Riverguard is a novel tool, to find vulnerabilities in smart contracts deployed on the Solana Mainnet. In this talk we showcase the software and some recently identified vulnerabilities.
Speaker:
Tobias MadlDirector of Neodyme
Mova: Nova folding without committing to error terms
We present Mova, a folding scheme for R1CS instances that does not require committing to error or cross terms, nor makes use of the sumcheck protocol. We compute concrete costs and provide benchmarks showing that, for reasonable parameter choices, Mova's Prover is about 5 to 10 times faster than Nova's Prover, and about 1.05 to 1.3 times faster than Hypernova's Prover (applied to R1CS instances) -- assuming the R1CS witness vector contains only small elements. Mova's Verifier has a similar cost as Hypernova's Verifier, but Mova has the advantage of having only 3 rounds of communication, while Hypernova has a logarithmic number of rounds.
Speaker:
Ignacio ManzurCryptography Researcher, Nethermind
SNARK-Friendly Hash Functions: Past, Present, Future
Coming Soon...
Speaker:
Markus SchofneggerCryptography Researcher
AML in the Blockchain Era: The Role of On-Chain Transaction Analysis
Panel Discussion
Regulation Track
Coming Soon...
Speakers:
Dr. Lars HaffkeAML / AFC Manager, Regpit
Maik JordtHead of Sales & Marketing, Iknaio Cryptoasset Analytics
BitVM: Better Bitcoin Bridges
BitVM is a computing paradigm to express smarter Bitcoin contracts. Rather than executing computations on Bitcoin, they are merely verified, similarly to optimistic rollups. Using this mechanism, any computable function can be verified on Bitcoin.
Speaker:
Robin LinusCreator of BitVM
Bring Your Own Secrets, but Shout Them Out Loud: How to Bring Privacy to a Public Blockchain
Coming Soon...
Speaker:
Zé PedroDeveloper Relations Engineer, Aztec Labs
Hardware Acceleration for SNARKs
Coming Soon...
ETH + BTC: United by STARKs
Let's explore how Bitcoin scaling is being approached with OPCAT. Starkware is at the forefront of this innovation, potentially making StarKnet the first network with access to both Ethereum and Bitcoin. This will be incredibly interesting.
Speaker:
Omar EspejelDeveloper Advocate, Starknet Foundation
Decentralized Confidential Computing: The End of Trust
Decentralized Confidential Computing (DeCC) enables secure, encrypted computation without central control. This talk explores how DeCC protects data across AI, DeFi, and more, ensuring privacy and security without relying on traditional trust models.
Speaker:
Yannik SchradeCEO & Co-Founder, Arcium
DLT Pilot Regime: Re-thinking capital markets in a decentralized ecoysystem
Coming soon...
Speaker:
Stephan MögelinSupervision of Financial Market Infrastructures Federal Financial Supervisory Authority, BaFin
Fireside-Chat: Sarah Gramberg & Prof. Philipp Maume
Panel Discussion
Regulation Track
Coming Soon...
Speakers:
Sarah GrambergBanking Supervision, Deutsche Bundesbank (ex EBA)
Prof. Philipp MaumeProfessor of Corporate Governance and Capital Markets Law, TUM
Ecosystem Fragmentation: What does the Future of Multichain look like
Panel Discussion
Ecosystem Track
Coming Soon...
Speaker:
Robert DörzbachMarketing, Staking Facilities
Web3 Use-Cases with Enterprise Focus
Panel Discussion
Ecosystem Track
Between 2015 and 2018, numerous companies ventured into exploring Web3 applications - and stopped after their Proof of Concepts. In this panel, industry experts will examine the evolution of web3 enterprise applications, discuss key changes and advancements, highlight promising enterprise use cases, and offer insights into the future landscape of this transformative technology.
Speakers:
Jürgen EckelManaging Director & Partner @ BCG X
Jens Hermann PaulsenLead Web3 Deloitte Central Europe
Kathrin AdamSustainability & Blockchain, EY
Stefan SchmittSales & Partnerships @ Blockdaemon
Coming Soon...
Speaker:
Nico SchapelerCTO, Arcium
Decentralized FHE Computer
A Decentralized Fully Homomorphic Encryption computer adds operation on encrypted data to decentralization’s security, privacy, and fault tolerance. Results stay safe, with only the data owner able to decrypt them, ensuring privacy and reliability.
Speaker:
Gurgen ArakelovCEO, Fair Math
Blockchain Meets Corporate Law: Tokenization of Shares and Equity
Coming Soon...
Speaker:
Dr. Mathias Frombergerattorney-at-law, Partner pikepartners. Rechtsanwälte
Blockchain & Enterprise - Visions of Top Corporates
Panel Discussion
Ecosystem Track
Coming Soon...
Speakers:
Andreas KindVP of Cybersecurity & Trust, Siemens
Leiming ZengSenior Solution Architect, Alibaba Cloud DACH
Institutional DeFi: The Next Frontier in Financial Innovation
Panel Discussion
Ecosystem Track
Coming Soon...
Speakers:
Hagen WeissDentons Head of Corporate Blockchain
Peter GrosskopfCo-Founder and CTO, Unstoppable Finance
Julian UllrichDeFi Founder and Advisor
Mahsa DoorfardSales and Marketing manager at coinIX
The Node Operator Risk Standard
Top staking providers have partnered with PwC to create the Node Operator Risk Standard (NORS). This standard targets staking providers, addressing gaps in SOC2 and ISO27001. In this presentation, we'll introduce NORS and its significance for web3.
Speaker:
Sebastian BanescuCEO, Chainproof & Head of Quantstamp Germany
Closing Words, Announce Evening Events
Coming soon...
Coming Soon...
Speaker:
Dr. Ramesh RamadossChair, IEEE Blockchain
Coming Soon......
Speaker:
Prof. Wolfgang M. HecklDirector General, Deutsches Museum
This presentation reveals how easily validators can be deanonymized in the Ethereum P2P network. We explore extracted data such as validator distribution and geolocation, discuss associated security risks, and propose solutions to improve privacy.
Speaker:
Yann VonlanthenPhD student, ETH Zurich
A Dive into the History of Tokens
Coming Soon...
Speaker:
Christoph JentzschCEO, Corpus Ventures & Tokenize.it
Private Group Management for Mix Networks: Enhancing Privacy in Decentralized Systems
Coming Soon...
Fully Homomorphic Encryption Beyond IND-CCA1 Security
We first give an overview of some common attack vectors on fully homomorphic encryption (FHE). We then introduce the security against verified chosen-ciphertext attack (vCCA) notion, that gives a theoretical framework for more robust FHE schemes.
Speaker:
Jérôme NguyenPhD Student, Unibw
Coming Soon...
Speaker:
Maximilian BaumDigital Currencies, Deutsche Bank
DeFi 101: A First Look at Decentralized Finance and the Phenomenon of Maximal Extractable Value
Coming Soon...
Speaker:
Burak ÖzPhD in MEV, TUM
Coming Soon...
Speaker:
Jian LuChief Intern
Janus: Fast Privacy-Preserving Data Provenance For TLS
The talk explains what verifiable data provenance is and why it is useful. Next, the talk systematizes solutions for data provenance and shows where and how the Janus optimizations improve the state of the art.
Speaker:
Jan LauingerPhD, TUM
Key Recovery, What Can We Do if We Ever Lose Access to Our Private Key?
Keynote
Talk
Ecosystem Track
Coming Soon...
Speaker:
Kostas ChalkiasChief Cryptographer & Co-Founder, Mysten Labs / Sui
Monetizing Energy Data: DePIN + Renewable Energy
Coming Soon...
Speaker:
Mr. John CalianCEO, Riddle&Code
An Efficient Status List for the EVM Ecosystem
A major open challenge in Self-Sovereign Identity (SSI) concerns the revocation of issued Verifiable Credentials. We are working with Bloom filter cascades to build a scalable and more privacy-preserving status list.
Speaker:
Felix HoopsPhD Candidate @ TUM
Coming Soon...
Speaker:
Jan SüßenguthProtocol Specialist, Lido
Join us for an interactive and engaging workshop designed for developers of all experience levels! Whether you’re new to Sui or already familiar, this session will dive into the Sui object model and equip you with the skills to jumpstart and enhance your journey developing on Sui. You’ll learn practical tips, hands-on techniques, and best practices to confidently build on-chain applications. Come ready to code, collaborate, and leave with a deeper understanding of Move and Sui! Speaker:
Daniel LeavittDeveloper Relations Engineer @ Sui Foundation
Unlocking Decentralized Storage for AI Workloads and Beyond
Coming Soon...
Speaker:
LukasOps & Strategy at web3mine
Formal Verification of the Kate-Zaverucha-Goldberg Polynomial Commitment Scheme
Coming Soon...
Restaking 101: Exploring the Potential and Risks of Restaking
Coming Soon...
Speaker:
James SmithStaking, ZK, and more, Ethereum Foundation
Verifiable Decentralized IPFS Cluster: Unlocking Trustworthy Data Permanency for Off-Chain Storage
In Decentralized Applications, off-chain storage solutions such as IPFS are crucial due to Blockchain storage limitations. However, data permanency in IPFS is not reliable. Our solution creates off-chain storage with trustworthy data permanency.
Speaker:
Sid LamichhaneStudent Research Assistant @SNET TU Berlin
TLSNotary - Proof of Data Authenticity
Coming Soon...
Speaker:
ThomasSoftware Engineer, TLSNotary
The Financial Market Infrastructure of the Future
Panel Discussion
Application Track
Coming Soon...
Speakers:
Maximilian BaumDigital Currencies, Deutsche Bank
Alexander BechtelHead of Digital Product Strategy, DWS
Product Lightning Pitches
Panel Discussion
Application Track
Coming Soon...
Introduction to Verus and its Unique DApp Model
Learn how to accomplish everything that's important on blockchain using software you already know, instead of writing new code in a new language you need to learn: Verus protocol-layer functions vs. smart contract architectures
This workshop will show you how to interface with the blockchain daemon via function calls to make use of Verus's novel Layer-1 features including but not limited to:
- VerusID: self-sovereign, revocable, recoverable and rent-free identities on the blockchain (e.g. YourName@)
- Publish, store and retrieve user data and dApp specific data on the blockchain
- Launch currencies (e.g. tokens & liquidity baskets) and complete blockchains
- Payment processing with Verus DeFi
Note: Verus would also provide some snacks for the participants of the workshop. Speaker:
Chris StainesCommunity Developer at Verus
Ethereum Vulnerability Detectors
Coming Soon...
Lessons from Saxony's 50,000 Bitcoin Sale
Coming Soon...
Speaker:
Philipp J.A. Hartmannsgruber Founder Bitcoin Bundesverband | Bitcoin Insights Newsletter, Podcast, YouTube | PJAH Consulting
Real Estate Tokens: Evaluating Long-Term Relationships with Major Asset Classes
We explore the long-term dynamics between real estate tokens and traditional assets such as REITs, oil, gold, and stock indices. Our findings show an evolving interconnectedness and varying intensity of cointegration effects over time.
Speaker:
Bertram SteiningerResearcher in RWA tokenization @ KTH
AMA – Legal Questions when Founding a Web3 Company
Coming Soon...
Speaker:
Dr. iur. Thomas NägeleManaging Partner, NÄGELE Law & Board member, INATBA
Enhancing Ethereum's Decentralization and Security with MEV BooTEE
MEV BooTEE uses TEEs to combine Builders' most profitable top of blocks with Proposers' rest of blocks, eliminating the need for trusted Relayers, reducing centralization risks, and strengthening censorship resistance.
Speaker:
Oana BarbuEngineer @ Automata Network
Building Cross-Chain Applications with Ethereum and the Internet Computer
Ethereum is the most popular platform to create decentralized applications in the form of smart contracts.Due to Ethereum's popularity and fee model, executing transactions can be quite costly, which limits its usability for applications that require many low-value transactions. On the other hand, the Internet Computer, a blockchain-based platform for the execution of general-purpose smart contracts, makes it possible to send transactions quickly and cheaply. Is it possible to combine both platforms? The answer is yes! As we will show in this workshop, you can build smart contracts that run on the Internet Computer but interact with Ethereum to generate powerful cross-chain applications. Speaker:
Thomas LocherStaff Researcher, DFINITY Foundation
Secure Blockchain Interoperability with Atomic Cross-Chain Transactions and Shared Sequencing
We propose a framework using dependency graphs to analyze security in blockchain interoperability. We show its effectiveness by identifying risks from atomic cross-chain transactions, and offer a solution to enhance the safety of interoperable chains.
Speaker:
Andreas PenzkoferSenior Research Engineer, Movement Labs
Why Providing Data doesn't make any Money and what Oracle Projects need to do to Survive
Coming Soon...
Speaker:
Ugur MersinStrategy Lead, API3
Panel Discussion
Application Track
Coming Soon...
Speakers:
Alexander BechtelHead of Digital Product Strategy, DWS
Patrick HansenSenior Director, EU Strategy & Policy @Circle
Exploring the Effects of Transaction Sequencing Rules in EVM Blockchains
The research examines transaction sequencing in decentralized exchanges (DEXs), introducing a taxonomy of mechanisms and analyzing their impact on trade execution.
Speaker:
Dias AlymbekovSoftware Engineer @ Dune Analytics
TradFi, What's Taking You So Long
Coming Soon...
Speakers:
Dr. Duc AuHead of Innovation, WM Datenservice
Maximilian BrucknerBusiness Development - Digital Assets @ WM Datenservice
Obol Distributed Validators (DVs) - What are they, how to get started
Coming Soon...
Speaker:
Max SherwoodContent & Comms, DV Labs
Who Wins Ethereum Block Building Auctions and Why?
Coming Soon...
Speaker:
Burak ÖzPhD in MEV, TUM
Mastering Dapp Development with the 1inch DevPortal
Take a dive into 1inch API's and features available on 1inch DevPortal. What are the use-cases for such API's? How to start? - These questions will be answered during the workshop. Speaker:
Alex NeufeldDeveloper Portal Lead, 1inch Labs
The European Digital Identity Wallets: A Promising Identity Initiative by the Public Sector
Coming Soon...
Speaker:
Johannes SedlmeirPost-Doc, SnT, University of Luxembourg
Blockchain Infrastructure for Real World Applications
Coming Soon...
Speaker:
Michael FIlip ToutonghiWallet Developer, Verus
Business Models in AI & Web3
Coming Soon...
Speaker:
Prof. Isabell WelpeProfessorship for Strategy and Organization, TUM
Searcher Competition in Block Building
I propose a model for searcher competition in the Ethereum block building market. I also present some data that confirm the theory that I propose. Moreover, I discuss how all of this can inform the design of refund policies for block builders.
Speaker:
ChristophResearch, Flashbots
Double auctions for cross-blockchain resource allocation
We will discuss challenges and difficulties of Shared sequencer marketplaces.
Speaker:
Bruno MazorraMechanism Design and Research, ComposableFDN
The People's Infrastructure: DePIN's Vision for the Next Generation of Services and Infrastructure
Panel Discussion
Application Track
Coming Soon...
Speakers:
Chris BruceBoard Member & MD, Helium
LukasOps & Strategy at web3mine
Theo MessererFounder, Silencio Network
Mr. John CalianCEO, Riddle&Code
Digital Identity at a Crossroads: Building Blocks and Governance Approaches for the Future of Identity Solutions
Panel Discussion
Application Track
Coming Soon...
Speakers:
Johannes SedlmeirPost-Doc, SnT, University of Luxembourg
Christian BormannSenior Expert, Robert Bosch GmbH
Fabian BodensteinerFounding Team Member & Managing Director, Worldcoin / Tools for Humanity
All AMMs are CFMMs. All DeFi markets have invariants. A DeFi market is arbitrage-free if and only if it has an increasing invariant
We extend invariant analysis to all DeFi systems (not just DEXes) and define arbitrages by partial orders “D” on general state spaces (balances, liquidity, etc). We prove that a DeFi system rules out D-arbitrage iff it has a D-increasing invariant.
Speaker:
Roger LeeAssociate Professor of Mathematics, and Faculty Director of Financial Mathematics program, University of Chicago
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
Coming Soon...
Speaker:
Jens ErnstbergerResearch Intern, a16z
Creating the Metaverse: Insights from Digital Art, Gaming, and beyond
Panel Discussion
Application Track
Coming Soon...
Speakers:
Dr. Annette DomsInnovation Lead, Web3
Sara TeixeiraForbes 30U30 | Web3 Marketing Executive
Anton ParamonovFounder Galaxy4Games, CPO Whimsygames
The Convergence of Web3 and AI: Transforming Technology and Society
Panel Discussion
Application Track
Coming Soon...
Speakers:
Vijay Pravin MaharajanCEO & Founder, bitscrunch
Pankhuri BansalBlockchain Expert, United Nations/ LTONetwork
Gurgen ArakelovCEO, Fair Math
Satisfiability Modulo Finite Fields
We present a decision procedure for the theory of finite fields and implement it for prime fields inside cvc5.
Speaker:
Gereon KremerResearcher, Certora
The Battle for Privacy: Relevance, Tensions, and how Technology can Help
Panel Discussion
Ecosystem Track
Coming Soon...
Speakers:
Johannes SedlmeirPost-Doc, SnT, University of Luxembourg
Daira-Emma HopwoodR&D Engineering Manager, Electric Coin Company
Nico SchapelerCTO, Arcium
Funding the Future: VCs Perspective on Blockchain and Web3
Panel Discussion
Ecosystem Track
Coming Soon...
Speakers:
MathijsGeneral Partner
Ciarán O’LearyGeneral Partner at BlueYard Capital
Henrik BredenbalsCo-Founder & Partner at w3.fund
From Entry to Excellence: Navigating a Career in Crypto for Women
Coming Soon...
Formal verification of Rust programs with coq-of-rust
Formal verification is about proving the absence of bugs in some code. We present the tool coq-of-rust that we developed to verify blockchain components written in Rust, and show how we apply it to verify Rust implementation of the EVM.
Speaker:
Guillaume ClaretFounder, Formal Land