Pragma Denver 2025
| title | author | length |
|---|---|---|
| Recap | 04m | |
Every person on stage is a founder and sessions focus on concrete progress: demos and roadmaps for ZK and rWAs and privacy, practical UX work that abstracts… | ||
| RWA's, Another Rug Or Is This Time Different | Chris Yin | 19m |
Asks whether RWAs are another rug or actually different and answers with concrete metrics and a product roadmap: notes BlackRock’s $650M tokenized money… | ||
| Boundless | Jeremy Bruestle, Kartik Talwar | 22m |
Boundless is a universal ZK protocol that routes off‑chain execution to a decentralized marketplace of provers, using RISC Zero’s risk-5 ZKVM and hardware/GPU… | ||
| Introducing Self Protocol | MAREK OLSZEWSKI | 16m |
Self Protocol verifies machine-readable biometric passports with zero-knowledge proofs and an open-source trusted execution environment that accelerates NFC… | ||
| Agents With Allowances, Embedded Wallet Tools For A New Economy | Itai Turbahn | 18m |
Dynamic presents a threshold-signature key management platform that uses TSS MPC to issue ephemeral key shares (examples: two-of-three re-sharing) and an… | ||
| Fireside Chat With | Andrew Koller, Kartik Talwar | 20m |
Ink Protocol describes an Optimistic L2 built on the OP Stack to move Kraken users on-chain, citing 14 million Kraken clients with only ~20% ever withdrawing… | ||
| Shared Security, Coordinating the Chaos | Misha Putiatin | 15m |
Symbiotic argues shared security lets new L1s and rollups onboard billions of dollars of security without raising $100M by sharing validators, capital and risk… | ||
| The Future of AI is Specialized, Why General Models Aren't Enough | Ram Shankar Siva Kumar | 12m |
Argues that Web3 needs domain-tuned models not generic LLMs, showing a pipeline: tokenized model proposals, contributor-curated datasets, LoRA fine-tuning… | ||
| Backbone of a Verifiable & Interoperable Agentic Web | Yaoqi Jia | 23m |
Autonome is a live platform that claims verifiable agent hosting with a PEVS heartbeat and monitoring system that enforces 99.9% availability and can slash… | ||
| Fireside chat with | Alex Gluchowski, Kartik Talwar | 21m |
Elastic Network describes a ZK rollup cluster of independent application-specific chains that interoperate under a shared ZK-secured engine. Chains choose data… | ||
| Who Will Fight For ETH | Jill Gunter | 25m |
Argues that Ethereum’s value is its unstoppable, composable, permissionless properties and that recent events expose real risks the ecosystem must fix now: a… | ||
| Ethereum Cultural Victory | Ameen Soleimani | 23m |
Argues that Gitcoin communism and Marxist-style “woke” dynamics actually shape funding and hiring, cites the ENS/Brantly cancellation and Protocol Guild’s… | ||
| Provers Networks from First Principle | Uma Roy | 20m |
Succinct Labs presents a decentralized SP1 ZK VM that runs normal Rust code into zero‑knowledge programs, coordinated by a Prover Network using a proof‑contest… | ||
| Privacy, the Missing Link | Zac Williamson | 20m |
Aztec launches a privacy-first L2 that runs encrypted smart contracts compiled from Noir 1.0 pre-release into ZK proofs, with a public testnet imminent and a… | ||
| Beyond the Blacklist, The Compliant Way To Do Private Transactions | Howard Wu | 19m |
Claims that only 0.01% encrypted of last year’s crypto payments (a $27 trillion market) motivates a new L1, Alo, that combines zero-knowledge proofs with view… | ||
| Monad Architecture and Benchmarks | Keone Hon | 17m |
Monad publishes a live testnet with 300 million gas/sec budget today (500 ms blocks, 1 s finality), 57 validators and ~250–300 TPS, and targets 1 billion… | ||
| Virtual Chains on Autopilot | Alex Shevchenko | 18m |
Aurora Cloud runs full EVM chains as smart contracts on NEAR, deploying a customizable chain in under 30 seconds for free, with USDT/USDC available from day… | ||
| nothing matches | ||