Pragma Paris 2023
2023-07-20
Paris, France
who it's for
protocol engineers, zk engineers, rollup builders, Ethereum developers, wallet developers, infrastructure operators, security auditors, blockchain product managers
topics
STARK validity proofs; recursive zk proofs; zk rollups and zkEVM; Polygon 2.0 supernets; RETH Rust execution client; modular smart accounts (ERC-4337); SUAVE decentralized block building; Succinct zk light client; Worldcoin biometric onboarding; OP Stack Bedrock (Base); EigenDA data availability; GPU prover (Boojum/RedShift)
| title | author | length |
|---|---|---|
| Recap | Alex Gluchowski, Georgios Konstantopoulos, Eli Ben-Sasson, Ahmed Al-Balaghi, Jesse Pollak, Sandeep Nailwal, Jordi Baylina, Mihailo Bjelic, Uma Roy, Robert Miller, Remco Bloemen, Martin Derka, RENE REINSBERG, Zac Williamson | 03m |
Claims that Ethereum scales now using STARKs as primary validity proofs and rollups, with Polygon 2.0 as an interoperable rollup fabric built on Ethereum… | ||
| Welcome & Introduction | Kartik Talwar | 06m |
Opening remarks outline Pragma as a one-stage summit with 375 attendees from 47 countries and a focus on Ethereum scalability, pragmatism, and product… | ||
| Ethereum at Hyperscale | Alex Gluchowski, Kartik Talwar | 40m |
Claims a new proof system called Boojum proof system (an implementation of RedShift) and a GPU prover that runs on consumer 6GB GPUs, cutting prover costs by… | ||
| RETH & Ethereum Resilience | Georgios Konstantopoulos | 14m |
A new Rust execution client called RETH claims 10x–100x RPC latency improvement in benchmarks, uses the rev EVM and an Ergon/Argon storage design, and ships an… | ||
| SNARKs n’ STARKs | Eli Ben-Sasson, Kartik Talwar | 26m |
Argues STARKs trade shorter trust and quantum safety for larger proof sizes and deliver far greater amortized scale in practice: current STARK proofs land… | ||
| Modular User Experience | Ahmed Al-Balaghi | 11m |
Biconomy announces Modular Smart Accounts V2 live now with the SDK shipping to developers in the next weeks, claiming a programmable, mostly stateless contract… | ||
| Ethereum’s “Onchain” Future | Jesse Pollak, Kartik Talwar | 23m |
Base launches an internal testnet on OP Stack Bedrock that proves a chain can ship inside a public company, and teams up with Paradigm on Opera to add a second… | ||
| Polygon & Ethereum | Sandeep Nailwal, Jordi Baylina, Mihailo Bjelic | 43m |
Panel lays out concrete progress: Polygon zkEVM in production using Plonky2 recursion and a DSL for zkVMs built on Circom/snark.js roots, with Plonky3 next… | ||
| The Future of MEV is SUAVE | Robert Miller | 13m |
SUAVE is a decentralized block‑building network that runs a modified EVM (MEVM) with new pre‑compiles so developers can write MEVM smart contracts that… | ||
| Succinct Demo | Uma Roy | 10m |
Succinct presents a zero-knowledge light client protocol that verifies Ethereum consensus on other EVM chains for about 300K gas per update, running on mainnet… | ||
| Worldcoin Announcement | Remco Bloemen | 11m |
Worldcoin announces a biometric-onboarding stack using iris-scans via the Orb that generates on-device uniqueness codes and Semaphore-style zero-knowledge… | ||
| Celo's Return to Ethereum | RENE REINSBERG | 12m |
Celo announces a plan to migrate to Ethereum L2 while keeping sub‑cent fees and gas paid in stablecoins, leveraging EigenDA for data availability and an… | ||
| Quantstamp Announcement | Martin Derka, Jan Gorzny | 12m |
Quantstamp unveils a modular L2 block explorer API published as an open API spec on GitHub that maps data models from Optimism, Arbitrum, zkSync, Scroll, etc… | ||
| Privacy is Sooner Than You Think | Zac Williamson | 29m |
Company pivots from TradFi tooling to a private programmable L2 that actually runs private state and account abstraction, claims client-side proving and… | ||
| nothing matches | ||