Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

Introducing Dynamic zk-SNARKs—a breakthrough from the Lagrange research team Weijie Wang, Charalampos (Babis) Papamanthou, Shravan Srinivasan, and Dimitris Papadopoulos Dynamic zk-SNARKs mark a major step forward in making real-time, updatable cryptographic proofs a reality Here’s what that means and why it matters 🧵

lagrangedev's profile picture

LAGRANGE

100,144 subscribers

640,176 Aufrufe • vor 1 Jahr •via X (Twitter)

Wissenschaft & TechnologieNachrichten & PolitikBildung
LIVE

Anya Rossi• Live Now

Private livecam show

0 Kommentare

Keine Kommentare verfügbar

Kommentare vom Original-Post werden hier angezeigt

Ähnliche Videos

Introducing DeepProve—Lagrange’s zkML Library—a breakthrough in verifiable AI inference. We can now verify AI decisions instead of blindly trusting black-box models. And we can do it up to 158x faster than ever before. The future of AI is ZK. The future of humanity is Lagrange: 🧵
2:10

Introducing DeepProve—Lagrange’s zkML Library—a breakthrough in verifiable AI inference. We can now verify AI decisions instead of blindly trusting black-box models. And we can do it up to 158x faster than ever before. The future of AI is ZK. The future of humanity is Lagrange: 🧵

LAGRANGE

1,740,772 Aufrufe • vor 1 Jahr

I’m incredibly excited to share a sneak peak of Wayve’s GAIA-1, a major step forward in action and language-conditioned world models for #AutonomousDriving. Here’s a glimpse of what GAIA-1 can do - more in the 🧵. (These are not real videos!) But what's a world model?
0:30

I’m incredibly excited to share a sneak peak of Wayve’s GAIA-1, a major step forward in action and language-conditioned world models for #AutonomousDriving. Here’s a glimpse of what GAIA-1 can do - more in the 🧵. (These are not real videos!) But what's a world model?

Jamie Shotton

198,918 Aufrufe • vor 3 Jahren

Arbitrum embraces ZK Succinct has signed exclusive partnership with Tandem (Offchain Labs’ venture arm) to bring ZK proving to Arbitrum chains. Uma Roy: “Every rollup will become a ZK rollup. We gave OP Stack that option with OP Succinct; now Arbitrum’s massive ecosystem gets it too.” What changes for users - Finality: withdrawals and settlements go from 7 days to minutes. - Capital efficiency: funds are no longer locked during week-long challenge periods. - User experience: bridges become smoother, safer, and significantly faster. - Security: execution is enforced by ZK proofs at L1, reducing dependence on sequencer honesty. Steven Goldfeder: “Using ZK proofs brings the network closer to something like Stage 2 decentralization — security enforced at L1, not just by trusting the sequencer.” What changes for the ecosystem - Flexibility: more than 40 Arbitrum chains, including projects like Robinhood and Converge, will be able to choose ZK proving. - Modular design: Succinct provers integrate without requiring a rewrite of the stack. - Governance: Arbitrum One itself is DAO-governed and will not flip overnight, but the stack now supports ZK from the ground up. - Hybrid paths: optimistic and ZK approaches can coexist, giving teams cost and latency trade-offs. What it means for Succinct - SP1 zkVM is already used by 35+ projects including Across, Avail, Celestia, Mantle, Polygon. - Succinct Prover Network, secured and powered by the PROVE token, expands beyond OP Stack chains to cover Arbitrum. - The addressable market effectively doubles. Monetizing even a fraction of Arbitrum’s L2 value could mean hundreds of millions in revenue distributed to provers, stakers, and partners. The ZK era is upon us
5:04

Arbitrum embraces ZK Succinct has signed exclusive partnership with Tandem (Offchain Labs’ venture arm) to bring ZK proving to Arbitrum chains. Uma Roy: “Every rollup will become a ZK rollup. We gave OP Stack that option with OP Succinct; now Arbitrum’s massive ecosystem gets it too.” What changes for users - Finality: withdrawals and settlements go from 7 days to minutes. - Capital efficiency: funds are no longer locked during week-long challenge periods. - User experience: bridges become smoother, safer, and significantly faster. - Security: execution is enforced by ZK proofs at L1, reducing dependence on sequencer honesty. Steven Goldfeder: “Using ZK proofs brings the network closer to something like Stage 2 decentralization — security enforced at L1, not just by trusting the sequencer.” What changes for the ecosystem - Flexibility: more than 40 Arbitrum chains, including projects like Robinhood and Converge, will be able to choose ZK proving. - Modular design: Succinct provers integrate without requiring a rewrite of the stack. - Governance: Arbitrum One itself is DAO-governed and will not flip overnight, but the stack now supports ZK from the ground up. - Hybrid paths: optimistic and ZK approaches can coexist, giving teams cost and latency trade-offs. What it means for Succinct - SP1 zkVM is already used by 35+ projects including Across, Avail, Celestia, Mantle, Polygon. - Succinct Prover Network, secured and powered by the PROVE token, expands beyond OP Stack chains to cover Arbitrum. - The addressable market effectively doubles. Monetizing even a fraction of Arbitrum’s L2 value could mean hundreds of millions in revenue distributed to provers, stakers, and partners. The ZK era is upon us

jaehaerys.eth

17,453 Aufrufe • vor 10 Monaten

What happens when ZK wraps around AI instead of trying to prove it? In this talk from @Zk_Hub_Global, Brandon Kase (CEO of o1Labs (httpz)/Mina Protocol (httpz) 🪶) argues that the real near-term value of ZK x AI is in control, privacy, and coordination - not proving LLMs. Brandon introduces the idea of ZK as the "boundary layer" for AI agents - governing access to data, payments, and identity. He also teases a little bit about “Project Untitled”, a new decentralized private state layer for agent memory and coordination 🤝
7:59

What happens when ZK wraps around AI instead of trying to prove it? In this talk from @Zk_Hub_Global, Brandon Kase (CEO of o1Labs (httpz)/Mina Protocol (httpz) 🪶) argues that the real near-term value of ZK x AI is in control, privacy, and coordination - not proving LLMs. Brandon introduces the idea of ZK as the "boundary layer" for AI agents - governing access to data, payments, and identity. He also teases a little bit about “Project Untitled”, a new decentralized private state layer for agent memory and coordination 🤝

House of ZK

102,064 Aufrufe • vor 1 Jahr

HUDL Testnet Act II: The Nexus is now LIVE💫 We're now one step closer to decentralizing real-time connectivity and making it accessible to all. Be a part 🫵 Join the Nexus now: Here’s what the Nexus has in store for users, builders, creators & more 🧵
1:02

HUDL Testnet Act II: The Nexus is now LIVE💫 We're now one step closer to decentralizing real-time connectivity and making it accessible to all. Be a part 🫵 Join the Nexus now: Here’s what the Nexus has in store for users, builders, creators & more 🧵

Huddle01

882,708 Aufrufe • vor 1 Jahr

#ICCV2025 🤩3D world generation is cool, but it is cooler to play with the worlds using 3D actions 👆💨, and see what happens! — Introducing *WonderPlay*: Now you can create dynamic 3D scenes that respond to your 3D actions from a single image! Web: 🧵1/7
0:46

#ICCV2025 🤩3D world generation is cool, but it is cooler to play with the worlds using 3D actions 👆💨, and see what happens! — Introducing *WonderPlay*: Now you can create dynamic 3D scenes that respond to your 3D actions from a single image! Web: 🧵1/7

Hong-Xing (Koven) Yu

57,761 Aufrufe • vor 1 Jahr

What if blockchains didn’t just scale, but spoke the same language? Boundless is making that real with Mainnet Beta and The Signal, a universal proof layer broadcasting Ethereum state across chains. This isn’t some vague vision. It’s live. Here’s how it works: • Anyone can request a proof → each one strengthens The Signal • Provers earn directly by running nodes and generating proofs • Communities vote to decide which chain gets integrated next It’s a new kind of interoperability where computation is verifiable, incentives are aligned, and blockchains become part of a shared ZK fabric. This is what connected infrastructure looks like. Explore more here
0:57

What if blockchains didn’t just scale, but spoke the same language? Boundless is making that real with Mainnet Beta and The Signal, a universal proof layer broadcasting Ethereum state across chains. This isn’t some vague vision. It’s live. Here’s how it works: • Anyone can request a proof → each one strengthens The Signal • Provers earn directly by running nodes and generating proofs • Communities vote to decide which chain gets integrated next It’s a new kind of interoperability where computation is verifiable, incentives are aligned, and blockchains become part of a shared ZK fabric. This is what connected infrastructure looks like. Explore more here

Jaymz.eth

14,436 Aufrufe • vor 1 Jahr

People ask me all the time why/how I’m a democrat. It always goes back to this 1960 speech from JFK. In this speech he outlined a compassionate and progressive forward looking philosophy while challenging the right’s definition and perception of what it means to be a liberal.
0:57

People ask me all the time why/how I’m a democrat. It always goes back to this 1960 speech from JFK. In this speech he outlined a compassionate and progressive forward looking philosophy while challenging the right’s definition and perception of what it means to be a liberal.

Maine

78,951 Aufrufe • vor 9 Monaten

👨‍💻The CRE8 dApp just hit a major milestone in development. We’ve successfully implemented full on-chain service tokenization: from dynamic token creation, to automatic marketplace listing, to real-time purchasing and trading by external buyers, fully integrated. With over 80% of the platform finalized, this brings us one step closer to launching the first decentralized service economy on Solana. Here’s a preview of the functionality in action. 📽️👇 #Solana #RWS #Services #Tokenization
1:35

👨‍💻The CRE8 dApp just hit a major milestone in development. We’ve successfully implemented full on-chain service tokenization: from dynamic token creation, to automatic marketplace listing, to real-time purchasing and trading by external buyers, fully integrated. With over 80% of the platform finalized, this brings us one step closer to launching the first decentralized service economy on Solana. Here’s a preview of the functionality in action. 📽️👇 #Solana #RWS #Services #Tokenization

CRE8 Finance

11,928 Aufrufe • vor 1 Jahr

BITCOIN RAILS EPISODE #24: The History of Zero-Knowledge Proofs | with ZK “Godfather” Eli Ben Sasson In 2013, computer science professor Eli Ben-Sasson | Starknet.io presented his research on zero-knowledge proofs at a small Bitcoin conference outside of Standford University. The presentation immediately sparked interest from Bitcoin Core developer Greg Maxwell—leading Eli into over a decade of sustained work advancing ZK-based solutions for blockchain scalability and privacy. Today, zero-knowledge proofs are widely considered some of the most powerful and promising cryptographic primitives for scaling—with their full potential for Bitcoin simmering just beneath the surface of active development. This episode shares Eli’s early discussions of ZKPs for scaling, the use of proofs in privacy-enhancing technologies like Zcash, the explosion of ZKPs for Layer 2s on Ethereum… and his recent return to exploring ZKPs for Bitcoin. As always, you can view this episode on YouTube or Spotify via the linktree in my bio—YouTube link in comments as well. This episode is powered by Best In Slot—the leading API for Ordinals and BRC20 data aggregation and indexing. TIMESTAMPS: 00:51 Eli Ben-Sasson: Godfather of ZKPs 02:15 Revealing Proof Research to Bitcoiners 04:15 Meeting Greg Maxwell; Mike Hearn 06:10 ZCash: Bringing ZK Based Privacy for Crypto 07:05 SNARKs and STARKs Explained 08:10 Would Satoshi Approve of Bitcoin STARKs? 11:41 ZCash Privacy Versus Monero 13:45 When did the ZKP era begin on Ethereum? 16:34 What’s different about ZK STARKs? 18:40 Vitalik and STARKs on Ethereum with Starkware 21:10 Academics finally appreciating STARKs 23:18 Healthy competition in the ZK industry 24:20 What is Starknet? 25:50 What is an L2, in Eli’s view? 27:20 Focustree, an app on Starknet 30:00 How Eli arrived at Bitcoin Season 2 34:45 When did ZK look realistic for Bitcoin? 36:55 Eli first heard about OP_CAT 39:30 Why Lightning isn’t good enough 40:30 When did Starkware start focusing on OP_CAT? 44:20 Runes bridge to Starknet! 46:00 Expanding Starknet staking to BTC 48:20 Why is OP_CAT “barely enough” for Bitcoin L2s? 51:00 The real reason people oppose OP_CAT, per Eli 53:00 The risks of *not* changing Bitcoin 55:35 The weakness of Bitcoin’s lack of governance 01:00:15 We will need to softfork for quantum!
1:02:08

BITCOIN RAILS EPISODE #24: The History of Zero-Knowledge Proofs | with ZK “Godfather” Eli Ben Sasson In 2013, computer science professor Eli Ben-Sasson | Starknet.io presented his research on zero-knowledge proofs at a small Bitcoin conference outside of Standford University. The presentation immediately sparked interest from Bitcoin Core developer Greg Maxwell—leading Eli into over a decade of sustained work advancing ZK-based solutions for blockchain scalability and privacy. Today, zero-knowledge proofs are widely considered some of the most powerful and promising cryptographic primitives for scaling—with their full potential for Bitcoin simmering just beneath the surface of active development. This episode shares Eli’s early discussions of ZKPs for scaling, the use of proofs in privacy-enhancing technologies like Zcash, the explosion of ZKPs for Layer 2s on Ethereum… and his recent return to exploring ZKPs for Bitcoin. As always, you can view this episode on YouTube or Spotify via the linktree in my bio—YouTube link in comments as well. This episode is powered by Best In Slot—the leading API for Ordinals and BRC20 data aggregation and indexing. TIMESTAMPS: 00:51 Eli Ben-Sasson: Godfather of ZKPs 02:15 Revealing Proof Research to Bitcoiners 04:15 Meeting Greg Maxwell; Mike Hearn 06:10 ZCash: Bringing ZK Based Privacy for Crypto 07:05 SNARKs and STARKs Explained 08:10 Would Satoshi Approve of Bitcoin STARKs? 11:41 ZCash Privacy Versus Monero 13:45 When did the ZKP era begin on Ethereum? 16:34 What’s different about ZK STARKs? 18:40 Vitalik and STARKs on Ethereum with Starkware 21:10 Academics finally appreciating STARKs 23:18 Healthy competition in the ZK industry 24:20 What is Starknet? 25:50 What is an L2, in Eli’s view? 27:20 Focustree, an app on Starknet 30:00 How Eli arrived at Bitcoin Season 2 34:45 When did ZK look realistic for Bitcoin? 36:55 Eli first heard about OP_CAT 39:30 Why Lightning isn’t good enough 40:30 When did Starkware start focusing on OP_CAT? 44:20 Runes bridge to Starknet! 46:00 Expanding Starknet staking to BTC 48:20 Why is OP_CAT “barely enough” for Bitcoin L2s? 51:00 The real reason people oppose OP_CAT, per Eli 53:00 The risks of *not* changing Bitcoin 55:35 The weakness of Bitcoin’s lack of governance 01:00:15 We will need to softfork for quantum!

Isabel Foxen Duke⚡️

46,012 Aufrufe • vor 1 Jahr

DROPS E24: Francis - Co-Founder & CEO of zkPass: ZK Privacy Is About to Go Mainstream! We deep-dive into why private data is the next trillion-dollar battlefield and how ZK-TLS flips the internet from "trust me" to "prove it" without revealing anything. We talk about: - How ZK-TLS makes the entire HTTPS internet verifiable - Why private data will eclipse public data in value - Crypto use cases from reputation-based lending to accredited investor checks - Protecting medical records, killing data brokers, and enabling safer AI training - Lessons from eight startup failures and the long-game mindset founders need - The journey that led from bow ties → startups → ZK infrastructure And much more! Timestamps 0:00 Meet Francis of zkPass 1:50 The Fundamentals of Growing a Crypto Startup 3:17 From Congo to New York: Francis’ Journey 4:06 Launching a Bow Tie Business in College 7:07 Adaptability from a Global Childhood 8:35 Eight Failures and What They Taught 13:07 Surviving Burnout and Mental Struggles 15:15 Small Successes That Fueled the Fire 18:04 Crypto Rollercoasters & Sustainable Growth 18:30 From Bow Ties to Blockchain: The Crypto Pivot 21:33 What Is Zero Knowledge (ZK)? 23:12 ZK + TLS: Making the Internet Verifiable 25:20 Explaining zkPass to Your Mom 28:22 Chainlink for Private Data? zkPass vs Public Oracles 30:16 Why APIs Can’t Cover the Web 32:00 Crypto Use Cases for zkPass 33:38 Beyond Collateral: Trustless Reputation Lending 35:13 Medical Privacy & Stablecoin Bank Transfers 38:26 What Makes zkPass Tech Unique 40:29 Yes/No Verifications: Trusting the zk Black Box 43:34 Why Data Privacy Is the Future
48:02

DROPS E24: Francis - Co-Founder & CEO of zkPass: ZK Privacy Is About to Go Mainstream! We deep-dive into why private data is the next trillion-dollar battlefield and how ZK-TLS flips the internet from "trust me" to "prove it" without revealing anything. We talk about: - How ZK-TLS makes the entire HTTPS internet verifiable - Why private data will eclipse public data in value - Crypto use cases from reputation-based lending to accredited investor checks - Protecting medical records, killing data brokers, and enabling safer AI training - Lessons from eight startup failures and the long-game mindset founders need - The journey that led from bow ties → startups → ZK infrastructure And much more! Timestamps 0:00 Meet Francis of zkPass 1:50 The Fundamentals of Growing a Crypto Startup 3:17 From Congo to New York: Francis’ Journey 4:06 Launching a Bow Tie Business in College 7:07 Adaptability from a Global Childhood 8:35 Eight Failures and What They Taught 13:07 Surviving Burnout and Mental Struggles 15:15 Small Successes That Fueled the Fire 18:04 Crypto Rollercoasters & Sustainable Growth 18:30 From Bow Ties to Blockchain: The Crypto Pivot 21:33 What Is Zero Knowledge (ZK)? 23:12 ZK + TLS: Making the Internet Verifiable 25:20 Explaining zkPass to Your Mom 28:22 Chainlink for Private Data? zkPass vs Public Oracles 30:16 Why APIs Can’t Cover the Web 32:00 Crypto Use Cases for zkPass 33:38 Beyond Collateral: Trustless Reputation Lending 35:13 Medical Privacy & Stablecoin Bank Transfers 38:26 What Makes zkPass Tech Unique 40:29 Yes/No Verifications: Trusting the zk Black Box 43:34 Why Data Privacy Is the Future

MR SHIFT 🦁

48,983 Aufrufe • vor 8 Monaten

Today we present Morpheus, a persistent enterprise simulation platform designed to make Continual Learning a reality. Morpheus is the world’s first real world Reinforcement Learning environment. Every Reinforcement Learning environment operates in the game world. Benchmarks like Atari, OpenAI Gym, MuJoCo, and Procgen are all small, game-like worlds that reset every few minutes. But the real world never resets. A business keeps running and evolving everyday. We tested how frontier LLMs would perform in realistic and dynamic business environments 🧬on Morpheus. The main conclusion was that LLMs are not continual learners. 🧵Here’s how we did it and what we learned:
1:18

Today we present Morpheus, a persistent enterprise simulation platform designed to make Continual Learning a reality. Morpheus is the world’s first real world Reinforcement Learning environment. Every Reinforcement Learning environment operates in the game world. Benchmarks like Atari, OpenAI Gym, MuJoCo, and Procgen are all small, game-like worlds that reset every few minutes. But the real world never resets. A business keeps running and evolving everyday. We tested how frontier LLMs would perform in realistic and dynamic business environments 🧬on Morpheus. The main conclusion was that LLMs are not continual learners. 🧵Here’s how we did it and what we learned:

Skyfall AI

261,954 Aufrufe • vor 4 Tagen

LIVE NOW - Ethereum’s Last Big Upgrade: The zkEVM Ethereum scaling isn’t just “bigger blocks.” It’s a shift from re-executing everything → verifying once with proofs. ansgar.eth breaks down: - verifying blocks without re-execution - real-time proofs for L1 - optional → mandatory proofs roadmap - the 3 bottlenecks: compute / IO / bandwidth - why “L1 gets rollup-like” (without losing verifiability) 🎬 Enjoy. --- TIMESTAMPS 0:00 Intro 0:43 Ethereum’s Biggest Upgrade 4:35 The Core Idea: Verify Blocks Without Re-Executing 10:40 From Bitcoin’s “Verify Cheaply” to Verifying Full Execution 16:22 Cryptography 2.0: Proving Arbitrary Computation 22:56 Scaling All 3 Constraints: Compute, IO, Bandwidth 32:33 Why Ethereum Has Been “Slow” by Design 38:29 3× Per Year: Scaling Now, Not Someday 41:28 ZK Isn’t About Faster Blocks (But Speed Still Improves) 46:33 Rollout Plan: Optional Proofs → Mandatory Proofs 49:59 Dependencies: Block-in-Blobs, Repricing, New State Trees 54:14 Security Reality Check: Performance → Security → Production 1:01:24 Client Diversity in a ZK World 1:10:51 Timeline: ZK Ethereum, Around 2030 1:16:31 Second-Order Wins: L2 Bridging and Beyond Crypto 1:20:49 Closing: Build the Boring Infrastructure, Enable the Apps
1:23:35

LIVE NOW - Ethereum’s Last Big Upgrade: The zkEVM Ethereum scaling isn’t just “bigger blocks.” It’s a shift from re-executing everything → verifying once with proofs. ansgar.eth breaks down: - verifying blocks without re-execution - real-time proofs for L1 - optional → mandatory proofs roadmap - the 3 bottlenecks: compute / IO / bandwidth - why “L1 gets rollup-like” (without losing verifiability) 🎬 Enjoy. --- TIMESTAMPS 0:00 Intro 0:43 Ethereum’s Biggest Upgrade 4:35 The Core Idea: Verify Blocks Without Re-Executing 10:40 From Bitcoin’s “Verify Cheaply” to Verifying Full Execution 16:22 Cryptography 2.0: Proving Arbitrary Computation 22:56 Scaling All 3 Constraints: Compute, IO, Bandwidth 32:33 Why Ethereum Has Been “Slow” by Design 38:29 3× Per Year: Scaling Now, Not Someday 41:28 ZK Isn’t About Faster Blocks (But Speed Still Improves) 46:33 Rollout Plan: Optional Proofs → Mandatory Proofs 49:59 Dependencies: Block-in-Blobs, Repricing, New State Trees 54:14 Security Reality Check: Performance → Security → Production 1:01:24 Client Diversity in a ZK World 1:10:51 Timeline: ZK Ethereum, Around 2030 1:16:31 Second-Order Wins: L2 Bridging and Beyond Crypto 1:20:49 Closing: Build the Boring Infrastructure, Enable the Apps

Bankless

18,628 Aufrufe • vor 4 Monaten

What is the value of a domain name in the digital world? Is it just a piece of online real estate, or can it become something more liquid and dynamic? We spoke with Michael Ho of D3 about Doma Protocol (Doma Protocol) the blockchain infrastructure creating a new reality where the internet’s names become liquid, composable, and free from the friction of legacy markets. Watch the full interview 👇
14:18

What is the value of a domain name in the digital world? Is it just a piece of online real estate, or can it become something more liquid and dynamic? We spoke with Michael Ho of D3 about Doma Protocol (Doma Protocol) the blockchain infrastructure creating a new reality where the internet’s names become liquid, composable, and free from the friction of legacy markets. Watch the full interview 👇

The Defiant

17,428 Aufrufe • vor 8 Monaten

Another robot from Disney! 🕺🏻 Just look at this dancing fella created by Disney Research. Creating control policies that work on real robots and handling diverse, unseen motions in physics-based character control is still difficult. The Disney team proposes a two-state solution. The first step involves learning a latent space encoding with an autoencoder. After encoding, the policy is trained to map kinematic input to dynamic output, ensuring accurate and adaptable movement. This method eliminates common mode collapse issues and improves motion encoding by separating these stages. This technique has proven effective in real robots in simulations, marking a significant leap forward in robot control. Can't wait for it in action live in 2025 :) ~~~ RT to help 1 robot find a new workplace.
0:39

Another robot from Disney! 🕺🏻 Just look at this dancing fella created by Disney Research. Creating control policies that work on real robots and handling diverse, unseen motions in physics-based character control is still difficult. The Disney team proposes a two-state solution. The first step involves learning a latent space encoding with an autoencoder. After encoding, the policy is trained to map kinematic input to dynamic output, ensuring accurate and adaptable movement. This method eliminates common mode collapse issues and improves motion encoding by separating these stages. This technique has proven effective in real robots in simulations, marking a significant leap forward in robot control. Can't wait for it in action live in 2025 :) ~~~ RT to help 1 robot find a new workplace.

Lukas Ziegler

65,887 Aufrufe • vor 1 Jahr

a senior engineer at Citadel Securities on why C++ still dominates in trading: "C++ lets us control space and time." "space, where objects are laid out, in what order, how much space they take. time, no GC pauses, how long things take." "control over space and time means making the trade." he explains why every major quant firm still uses it:
1:09

a senior engineer at Citadel Securities on why C++ still dominates in trading: "C++ lets us control space and time." "space, where objects are laid out, in what order, how much space they take. time, no GC pauses, how long things take." "control over space and time means making the trade." he explains why every major quant firm still uses it:

Goshawk Trades

53,220 Aufrufe • vor 1 Monat

ZK Talks 🎙 Ep. 9 – ZKsync: Prividium, Airbender, and the Masterplan | Alex Gluchowski In this episode of ZK Talks, we sit down with Alex Gluchowski (ALEX | ZKsync ∎), Co-Founder of Matter Labs, the creator of ZKsync (∎, ∆), to explore how one of the most promising ZK ecosystems is reshaping the crypto landscape. We cover ZKsync’s evolution into the Elastic Network, the launch of Airbender for home proving, the institutional breakthrough with Prividium, and how ZKsync quietly became the #2 RWA ecosystem in the world. Timestamps: 01:40 – Alex’s Journey: Freedom-Seeking Builder 04:45 – Discovering Bitcoin and Its Limitations 06:33 – From Ethereum’s Promise to the Scalability Challenge 08:37 – Founding Matter Labs & The Birth of ZKsync 11:57 – ZKsync in 2025: More Than Just a Chain 13:25 – From ZK EVM to the Elastic Network Vision 15:25 – Unlocking ZKsync’s Potential with Prividium 17:45 – Introducing Airbender: The Fastest Open-Source RISC-V Prover 20:27 – Unlocking Home Proving and Personal Chains 25:09 – Decentralized Infrastructure for Enterprises 26:37 – The Three Phases of Crypto-Regulation 30:11 – What Institutions Want from Crypto 31:51 – Why Prividium Matters 33:53 – ZKsync: The Second-Largest Ecosystem for Real-World Assets
36:02

ZK Talks 🎙 Ep. 9 – ZKsync: Prividium, Airbender, and the Masterplan | Alex Gluchowski In this episode of ZK Talks, we sit down with Alex Gluchowski (ALEX | ZKsync ∎), Co-Founder of Matter Labs, the creator of ZKsync (∎, ∆), to explore how one of the most promising ZK ecosystems is reshaping the crypto landscape. We cover ZKsync’s evolution into the Elastic Network, the launch of Airbender for home proving, the institutional breakthrough with Prividium, and how ZKsync quietly became the #2 RWA ecosystem in the world. Timestamps: 01:40 – Alex’s Journey: Freedom-Seeking Builder 04:45 – Discovering Bitcoin and Its Limitations 06:33 – From Ethereum’s Promise to the Scalability Challenge 08:37 – Founding Matter Labs & The Birth of ZKsync 11:57 – ZKsync in 2025: More Than Just a Chain 13:25 – From ZK EVM to the Elastic Network Vision 15:25 – Unlocking ZKsync’s Potential with Prividium 17:45 – Introducing Airbender: The Fastest Open-Source RISC-V Prover 20:27 – Unlocking Home Proving and Personal Chains 25:09 – Decentralized Infrastructure for Enterprises 26:37 – The Three Phases of Crypto-Regulation 30:11 – What Institutions Want from Crypto 31:51 – Why Prividium Matters 33:53 – ZKsync: The Second-Largest Ecosystem for Real-World Assets

The ZKnomist

30,475 Aufrufe • vor 1 Jahr

Just finished an absolute monster of a podcast with Justin Drake, and it’s packed with brain-melting insights on the future of Ethereum. Here are the juiciest takeaways from Part I 👇 Ethereum’s future could turn the L1 into a rollup itself and making it the best type of rollup. Justin lays out how the L1, L2s, and new designs like Beamchain, native rollups, and based sequencing all come together into a unified vision for Ethereum as the credibly neutral internet of finance. What’s Broken Today • L2s are siloed — synchronous composability is dead. • Most rely on centralized sequencers, multisigs & slow exit bridges. • L2-native assets break Ethereum’s trustless bridge model. • Governance delays, security councils, & EVM reimplementation = attack surfaces. The Fix: Ethereum-native Infrastructure • Based Rollups: Use Ethereum L1 validators as the sequencer. Removes centralization risk, restores censorship resistance. • Native Rollups: No more reimplementing the EVM. No more Security Council multisigs. They inherit Ethereum’s execution layer by design. •Preconfirmations: Users get fast UX (e.g., instant trading feedback) via ETH-backed inclusion guarantees from L1 validators, with slashing if they lie. • Real-Time ZK Proofs: Slot-by-slot proving is here. ZK-enabled rollups with instant finality are becoming possible. To get there, Ethereum is moving toward real-time, slot-by-slot proving using ZK SNARKs. This enables constant-time verification and removes the need for validators to re-execute blocks. Native rollups use a new EXECUTE precompile to introspect and reuse Ethereum’s state transition function. There is no EVM emulation, no governance lag, and no reliance on Security Councils. Preconfirmations offer ETH-backed execution guarantees per slot, priced to offset MEV opportunity loss, while based rollups decentralize sequencing by aligning with Ethereum’s validator set. Beamchain pushes this vision further: a clean-slate Ethereum L1 design that is post-quantum secure, radically simplified (validators could run on a Raspberry Pi), and ossified through optimality. It proposes gigagas/s throughput via ZK proofs, validator statelessness, and Attester-Proposer-Separation (APS) to maximize decentralization and censorship resistance, allowing Ethereum L1 to scale as a high-performance rollup itself. If you're building on Ethereum or betting on its future, this convo is mandatory listening. To be continued in Part II....
2:18:34

Just finished an absolute monster of a podcast with Justin Drake, and it’s packed with brain-melting insights on the future of Ethereum. Here are the juiciest takeaways from Part I 👇 Ethereum’s future could turn the L1 into a rollup itself and making it the best type of rollup. Justin lays out how the L1, L2s, and new designs like Beamchain, native rollups, and based sequencing all come together into a unified vision for Ethereum as the credibly neutral internet of finance. What’s Broken Today • L2s are siloed — synchronous composability is dead. • Most rely on centralized sequencers, multisigs & slow exit bridges. • L2-native assets break Ethereum’s trustless bridge model. • Governance delays, security councils, & EVM reimplementation = attack surfaces. The Fix: Ethereum-native Infrastructure • Based Rollups: Use Ethereum L1 validators as the sequencer. Removes centralization risk, restores censorship resistance. • Native Rollups: No more reimplementing the EVM. No more Security Council multisigs. They inherit Ethereum’s execution layer by design. •Preconfirmations: Users get fast UX (e.g., instant trading feedback) via ETH-backed inclusion guarantees from L1 validators, with slashing if they lie. • Real-Time ZK Proofs: Slot-by-slot proving is here. ZK-enabled rollups with instant finality are becoming possible. To get there, Ethereum is moving toward real-time, slot-by-slot proving using ZK SNARKs. This enables constant-time verification and removes the need for validators to re-execute blocks. Native rollups use a new EXECUTE precompile to introspect and reuse Ethereum’s state transition function. There is no EVM emulation, no governance lag, and no reliance on Security Councils. Preconfirmations offer ETH-backed execution guarantees per slot, priced to offset MEV opportunity loss, while based rollups decentralize sequencing by aligning with Ethereum’s validator set. Beamchain pushes this vision further: a clean-slate Ethereum L1 design that is post-quantum secure, radically simplified (validators could run on a Raspberry Pi), and ossified through optimality. It proposes gigagas/s throughput via ZK proofs, validator statelessness, and Attester-Proposer-Separation (APS) to maximize decentralization and censorship resistance, allowing Ethereum L1 to scale as a high-performance rollup itself. If you're building on Ethereum or betting on its future, this convo is mandatory listening. To be continued in Part II....

Luis

17,653 Aufrufe • vor 1 Jahr