Pragma Prague 2025
2025-05-29
Prague, Czechia
who it's for
web3 developers, zk engineers, protocol engineers, wallet engineers, security engineers, developer experience engineers, governance engineers
topics
ZK rollup sequencing; real-time proof generation; hardware wallet OS signer; EVM-equivalent ZK rollup; Zerion developer API; account abstraction sendWalletCall; business ZK payments (Nightfall); private Solidity to ZK circuits (Starlight); on-chain GRC20 schema; AI-powered sequencer security; NFT ticketing and wallet wristbands
| title | author | length |
|---|---|---|
| Welcome & Introduction | Kartik Talwar | 11m |
Welcome to a one-day single-track summit with 13 sessions (7 interviews, 6 talks) attended by 300 attendees from 45 countries focused on pragmatic web3… | ||
| Fireside Chat | Kartik Talwar, Vitalik Buterin | 01h 13m |
Argues DAOs stall because governance defaults to public forums, few hacks appear since 2021, and negotiation transparency enabled bad outcomes like the… | ||
| Fireside Chat | Kartik Talwar, Tomasz Kajetan Stanczak | 21m |
Monthly EF town halls finalize a plan to restructure protocol and ecosystem teams, run interop meetings with client teams in Berlin, and staff a new P2P… | ||
| Fireside Chat | Kartik Talwar, Evgeny Yurtaev | 20m |
Zerion shifts from a user wallet into a developer product, exposing the Zerion API that powers wallets like Rainbow and returns multi-chain token and tx data… | ||
| Business Privacy, Harder & More Valuable Than You Think | Paul Brody | 20m |
Business privacy proves far harder than consumer privacy and becomes essential to unlock cross‑company tokenized workflows that claim 99% less cycle time… | ||
| Growing the Infinite Garden With Knowledge | Yaniv Tal | 20m |
Launches a concrete on‑chain schema called GRC20 for batching entity and relation updates and shows a developer library and near‑final spec ready for comment… | ||
| Fireside Chat | Kartik Talwar, Friederike Ernst | 23m |
Circles moves money issuance to individuals using public‑key cryptography, letting every account mint 24 personal circles/day with 7% annual demurrage… | ||
| Fireside Chat | Kartik Talwar, Jordi Baylina | 25m |
ZISK by Polygon ZKVM aims for real-time proof generation and trades cost for subsecond latency, using a transpiler that runs RISC5 logic as Intel assembly to… | ||
| Fireside Chat | Kartik Talwar, Austin Griffith | 25m |
Curriculum and tooling focus shifts from infrastructure to product: a hands-on pipeline led by Speedrun Ethereum (≈100k seen, ~10k started, 3,000+ completions)… | ||
| Fireside Chat | Bogdan Habic, Kartik Talwar | 23m |
Started as a hackathon project to put public procurement on-chain, Tenderly pivots from an open-source stack-trace extractor to a paid infra suite that now… | ||
| When an Intelligent Sequencer Guards a Chain | Martin Derka | 21m |
Zircuit deploys an EVM-equivalent ZK rollup that runs AI-powered sequencer-level security to detect and quarantine exploit transactions before they make chain… | ||
| dGEN1 The Hardest Hardware Wallet | Markus Haas | 08m |
dGEN1 is a hardware wallet that forks Android to add a global OS-level signer, shipping after a 3-year OS build and demoed at Pragma last October, and it… | ||
| Shipping zkPassport, Shipping Self Protocol Into Production | MAREK OLSZEWSKI | 27m |
A decentralized identity system that reads biometric passport NFC chips, constructs ZK proofs (Groth16), and posts verifications to Celo; claims Sybil… | ||
| How to Make Real Time Proving Possible Today and Why | Orest Tarasuik | 22m |
T1 claims real-time proving under 12s by combining TEEs, ZKPs and cryptoeconomic restaking so a node can follow other rollups and produce verifiable state… | ||
| Pragma Prague 2025 Recap Video | Vitalic Budan | 03m |
Recap of a curated Pragma Prague 2025 day held at Trafo Gallery in May, claiming over 300 attendees from 45 countries. Focus is long term Ethereum: mentorship… | ||
| nothing matches | ||