Loading video...

Video Failed to Load

There was a problem loading this video. This could be due to a temporary network issue or the video might be unavailable.

Brevis has shifted Ethereum's verifiable computing paradigm. At Bankless Summit II, Michael (michael) presented how Brevis can scale Ethereum 100x via parallel computing. "By leveraging GPUs in the proving stack, we chop the big block into sub-blocks... with the same verification cost, the block can be 100x bigger." A... show more

Brevis

384,916 subscribers

44,074 views • 6 months ago •via X (Twitter)

Science & Technology

Anya Rossi• Live Now

Private livecam show

0 Comments

No comments available

Comments from the original post will appear here

Related Videos

Ethereum has a 12-second blocktime. By slicing the block into sub-blocks, Realtime Ethereum moves in milliseconds ⚡️ No more waiting. No more uncertainty. Just 100x faster. The era of Realtime Ethereum starts now. Go Realtime at :

Ethereum has a 12-second blocktime. By slicing the block into sub-blocks, Realtime Ethereum moves in milliseconds ⚡️ No more waiting. No more uncertainty. Just 100x faster. The era of Realtime Ethereum starts now. Go Realtime at :

ETHGAS

183,019 views • 4 months ago

A transaction on Ethereum is executed 1 million times if there are 1 million nodes. Brevis solves this redundancy. At Epic Vibe 🧞‍♂️|🔜 Vibecon's AdoptionCon, Michael michael explains the power of "Verifiable Computation." See how Brevis scales Ethereum up. 👇

A transaction on Ethereum is executed 1 million times if there are 1 million nodes. Brevis solves this redundancy. At Epic Vibe 🧞‍♂️|🔜 Vibecon's AdoptionCon, Michael michael explains the power of "Verifiable Computation." See how Brevis scales Ethereum up. 👇

Brevis

43,649 views • 6 months ago

How do we scale the ETHEREUM L1 10x ?? 🚨 Part 1: Block-Level Access Lists (EIP-7928) (0:00) Intro to BALS (0:34) How Ethereum L1 works now (2:49) Parallel IO + Parallel EVM (4:18) Modification in Block Structure Like & RT for Ethereum

How do we scale the ETHEREUM L1 10x ?? 🚨 Part 1: Block-Level Access Lists (EIP-7928) (0:00) Intro to BALS (0:34) How Ethereum L1 works now (2:49) Parallel IO + Parallel EVM (4:18) Modification in Block Structure Like & RT for Ethereum

Uttam

121,451 views • 1 year ago

🔍 Verifiable computing 101: Why recompute when you can prove? 🧠 Co-Founder michael explains how #ZK proofs decouple computation from verification—saving time, cost, and trust. Full vid EthCC - Ethereum Community Conference below ↓

🔍 Verifiable computing 101: Why recompute when you can prove? 🧠 Co-Founder michael explains how #ZK proofs decouple computation from verification—saving time, cost, and trust. Full vid EthCC - Ethereum Community Conference below ↓

Brevis

23,050 views • 11 months ago

$Verifiable computing is the key. One node does the complex work. The entire network verifies it in a blink—for a fraction of the cost. This is the magic of ZK proofs, and the foundation of Brevis. Infinite scalability is here.$

Verifiable computing is the key. One node does the complex work. The entire network verifies it in a blink—for a fraction of the cost. This is the magic of ZK proofs, and the foundation of Brevis. Infinite scalability is here.

Brevis

101,518 views • 8 months ago

A barrel of crude oil becomes more valuable once it’s refined into products like gasoline, jet fuel, and kerosene. Ethereum blockspace works the same way. ETHGas breaks a block into ~100 sub-blocks, turning 12-second waits into 50ms updates. That’s how we make Ethereum 100x faster.⚡ Interview on Korea Economic TV (한국경제TV 글로벌)⬇️

A barrel of crude oil becomes more valuable once it’s refined into products like gasoline, jet fuel, and kerosene. Ethereum blockspace works the same way. ETHGas breaks a block into ~100 sub-blocks, turning 12-second waits into 50ms updates. That’s how we make Ethereum 100x faster.⚡ Interview on Korea Economic TV (한국경제TV 글로벌)⬇️

ETHGAS

35,609 views • 1 month ago

How do you actually formally verify the code underpinning Ethereum's future? In this episode (the finale of the lean Ethereum miniseries), Nico sits down with Alex Hicks (Alexander Hicks), lead of Protocol Snarkification at the Ethereum Foundation, to break down formal verification from first principles. They cover: – What formal verification actually is and the trust boundaries between proof assistants, SMT solvers, and kernels – The full verification stack for RISC-V ZKVMs: from SAIL specs to constraint extraction to soundness proofs – Why writing constraints directly in Lean makes proofs 10–100x more ergonomic – How AI is now proving hard theorems in hours for $200 — and what that unlocks for the whole pipeline They also explore the boundaries problem, why specs can have bugs too, and the end goal of a full Lean stack that bypasses Rust and LLVM entirely. Listen to the full episode ------------------------------------------------------------ TIMECODES: 09:16 – What is formal verification? Proof assistants vs SMT solvers 18:33 – Formal verification of code: specs, semantics, and trust boundaries 29:30 – Formally verifying the Lean Ethereum stack: RISC-V ZKVMs in focus 33:02 – Extracting ZKVM constraints into Lean and proving soundness 36:35 – Writing constraints directly in Lean: 10–100x better proof ergonomics 44:02 – Proving Polishchuk–Spielman in 8 hours for $200 with AI 51:01 – The end goal: a full Lean stack bypassing Rust and LLVM

How do you actually formally verify the code underpinning Ethereum's future? In this episode (the finale of the lean Ethereum miniseries), Nico sits down with Alex Hicks (Alexander Hicks), lead of Protocol Snarkification at the Ethereum Foundation, to break down formal verification from first principles. They cover: – What formal verification actually is and the trust boundaries between proof assistants, SMT solvers, and kernels – The full verification stack for RISC-V ZKVMs: from SAIL specs to constraint extraction to soundness proofs – Why writing constraints directly in Lean makes proofs 10–100x more ergonomic – How AI is now proving hard theorems in hours for $200 — and what that unlocks for the whole pipeline They also explore the boundaries problem, why specs can have bugs too, and the end goal of a full Lean stack that bypasses Rust and LLVM entirely. Listen to the full episode ------------------------------------------------------------ TIMECODES: 09:16 – What is formal verification? Proof assistants vs SMT solvers 18:33 – Formal verification of code: specs, semantics, and trust boundaries 29:30 – Formally verifying the Lean Ethereum stack: RISC-V ZKVMs in focus 33:02 – Extracting ZKVM constraints into Lean and proving soundness 36:35 – Writing constraints directly in Lean: 10–100x better proof ergonomics 44:02 – Proving Polishchuk–Spielman in 8 hours for $200 with AI 51:01 – The end goal: a full Lean stack bypassing Rust and LLVM

Zero Knowledge Podcast

14,996 views • 3 months ago

Block from the ... bridge?! Ridiculous touch from Michael Block to avoid disaster. (Presented by CDW Corporation)

Block from the ... bridge?! Ridiculous touch from Michael Block to avoid disaster. (Presented by CDW Corporation)

PGA TOUR

893,613 views • 3 years ago

We took a walk around the Block with Michael at Aronimink. 🔊

We took a walk around the Block with Michael at Aronimink. 🔊

PGA of America

43,660 views • 1 month ago

On block by block with Denelle Dixon, @AnthonySoohoo made a call to TradFi: don't think about how the world has always worked. Think about where the world can go. The opportunity for innovation might be a lot bigger than you think.

On block by block with Denelle Dixon, @AnthonySoohoo made a call to TradFi: don't think about how the world has always worked. Think about where the world can go. The opportunity for innovation might be a lot bigger than you think.

Stellar

11,559 views • 3 months ago

🟢Leaf Litter is a new type of decorative block which can be found in the Forests, Dark Forests and Wooded Badlands 🟢 Leaf Litter can have different amounts of leaves in one block space Up to four Leaf Litter pieces can be placed in the same block space 🟢Placing a Leaf Litter into an already placed Leaf Litter block increases the amount of leaves - Leaf Litter can be placed in four orientations - Leaf Litter can be created by smelting any type of - Leaves block - Leaf Litter can be used as fuel for smelting - Leaf Litter has unique block sounds

🟢Leaf Litter is a new type of decorative block which can be found in the Forests, Dark Forests and Wooded Badlands 🟢 Leaf Litter can have different amounts of leaves in one block space Up to four Leaf Litter pieces can be placed in the same block space 🟢Placing a Leaf Litter into an already placed Leaf Litter block increases the amount of leaves - Leaf Litter can be placed in four orientations - Leaf Litter can be created by smelting any type of - Leaves block - Leaf Litter can be used as fuel for smelting - Leaf Litter has unique block sounds

Scott (ECKOSOLDIER)

48,278 views • 1 year ago

The Brevis Proving Grounds are now live! We've built an arena showcasing every protocol and application that Brevis ZK technology has enhanced. Step inside and experience what intelligent smart contracts actually feel like. Your mission: explore the ecosystem, become part of the ZK community, and stack as many Brevis Sparks points as possible. Start proving yourself today. 🧵

The Brevis Proving Grounds are now live! We've built an arena showcasing every protocol and application that Brevis ZK technology has enhanced. Step inside and experience what intelligent smart contracts actually feel like. Your mission: explore the ecosystem, become part of the ZK community, and stack as many Brevis Sparks points as possible. Start proving yourself today. 🧵

Brevis

3,413,368 views • 8 months ago

🕹️ DOOM Just Ran on JAM! Today, Gavin Wood demoed DOOM running on JAM at Fudan University in Shanghai. JAM shows blockchains can go beyond transactions, enabling decentralized computing with continuous execution flow. It’s a breakthrough moment for Web3 computing.

🕹️ DOOM Just Ran on JAM! Today, Gavin Wood demoed DOOM running on JAM at Fudan University in Shanghai. JAM shows blockchains can go beyond transactions, enabling decentralized computing with continuous execution flow. It’s a breakthrough moment for Web3 computing.

Pala Labs

103,631 views • 1 year ago

In thermodynamics, heat flows from the hotter block to the cooler one until both blocks reach the same temperature. But what if you want to transfer all the heat from block A to block B, not just equalize temperatures? Just chop up the blocks like in this animation:

In thermodynamics, heat flows from the hotter block to the cooler one until both blocks reach the same temperature. But what if you want to transfer all the heat from block A to block B, not just equalize temperatures? Just chop up the blocks like in this animation:

Thomas Ahle

391,123 views • 1 year ago

Zerve has been the best platform for writing data science code for a while. It's 100x better than Jupyter notebooks. Now, they have a specialized, fine-tuned AI assistant who knows all about data science code and how to use the platform. This is a killer feature. A generalist model will never be better than a specialized one. Watch the video. I promise you'll be jealous in 3 minutes. Some other features, in case you've never used Zerve: 1. It's web-based 2. You can share and work with your team on the same canvas 3. You can deploy your code with a click 4. Blocks are the center of attention. Promotes code modularity 5. You can combine multiple languages in a single canvas 6. You can run code blocks in parallel Zerve organizes your code as a DAG. Each block inherits the state of every block before it. Everything runs in a serverless architecture. By the way, you can use Zerve for FREE. Visit this link: Thanks to the team for partnering with me on this post.

Zerve has been the best platform for writing data science code for a while. It's 100x better than Jupyter notebooks. Now, they have a specialized, fine-tuned AI assistant who knows all about data science code and how to use the platform. This is a killer feature. A generalist model will never be better than a specialized one. Watch the video. I promise you'll be jealous in 3 minutes. Some other features, in case you've never used Zerve: 1. It's web-based 2. You can share and work with your team on the same canvas 3. You can deploy your code with a click 4. Blocks are the center of attention. Promotes code modularity 5. You can combine multiple languages in a single canvas 6. You can run code blocks in parallel Zerve organizes your code as a DAG. Each block inherits the state of every block before it. Everything runs in a serverless architecture. By the way, you can use Zerve for FREE. Visit this link: Thanks to the team for partnering with me on this post.

Santiago

27,942 views • 1 year ago

"How do you square Ethereum's block times with the speed required for a perp DEX?" kain.inx tells David Hoffman how Synthetix has managed to build a lightning-fast perp DEX on the Ethereum Layer 1.

"How do you square Ethereum's block times with the speed required for a perp DEX?" kain.inx tells David Hoffman how Synthetix has managed to build a lightning-fast perp DEX on the Ethereum Layer 1.

Synthetix ⚔️

42,388 views • 9 months ago

$Ethereum Part 14: L1 zkEVM Every ETH validator re-executes every transaction in every block, millions of nodes, same computation. ZK proofs eliminate that entirely. One proof, at fraction of the cost. Same security. This is how Ethereum scales without breaking. Watch now👇$

Ethereum Part 14: L1 zkEVM Every ETH validator re-executes every transaction in every block, millions of nodes, same computation. ZK proofs eliminate that entirely. One proof, at fraction of the cost. Same security. This is how Ethereum scales without breaking. Watch now👇

marilyn100x.eth

35,953 views • 2 months ago

Great video by 42 Index on the paradigm of computing we are pursuing Extropic

Great video by 42 Index on the paradigm of computing we are pursuing Extropic

Beff (e/acc)

12,402 views • 29 days ago

Ethereum Part 17: Gigagas Ethereum's gas limit caps how much computation fits in a block. Right now that's 60 million gas, the Strawmap target is 1 billion. That's where 10,000 TPS on L1 comes from. Ethereum is targeting 60M > 1B gas per block in 3 years. Watch now👇

Ethereum Part 17: Gigagas Ethereum's gas limit caps how much computation fits in a block. Right now that's 60 million gas, the Strawmap target is 1 billion. That's where 10,000 TPS on L1 comes from. Ethereum is targeting 60M > 1B gas per block in 3 years. Watch now👇

marilyn100x.eth

31,112 views • 1 month ago

"He's a block, just an absolute block...the pace he attacks the ball at, his ferocity in the tackle" We spoke about Sean Rafferty and how a player like him can be inspirational

"He's a block, just an absolute block...the pace he attacks the ball at, his ferocity in the tackle" We spoke about Sean Rafferty and how a player like him can be inspirational

Smaller Fish

42,871 views • 11 months ago