Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

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...

brevis_zk's profile picture

Brevis

382,264 subscribers

44,091 görüntüleme • 8 ay önce •via X (Twitter)

Bilim & Teknoloji
LIVE

Anya Rossi• Live Now

Private livecam show

0 Yorum

Yorum bulunmuyor

Orijinal gönderinin yorumları burada görünecek

Benzer Videolar

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 :
0:49

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

199,924 görüntüleme • 6 ay önce

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 글로벌)⬇️
1:15

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,682 görüntüleme • 3 ay önce

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
56:07

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

15,143 görüntüleme • 4 ay önce

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.
1:24

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,577 görüntüleme • 5 ay önce

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.
5:24

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 görüntüleme • 1 yıl önce

I think the Ethereum Barbell strategy will prove right. This is how Vitalik explains it: "Ethereum's barbell strategy of L1 and L2 is basically that L2s do the thing that require centralization and they get the benefits of centralization which includes the ability to do HFT but at the same time they benefit from L1 providing security and censorship resistance" HFT = high frequency trading. He's saying speeding up slot times to the millisecond enters you into a reduce bandwidth increase latency arms race that leads to centralization of block production and validation - see nasdaq. If we know this is the inevitable destination of hyperfast chains then we can put the "dictator in a box" by incenting them to become L2s on Ethereum Ethereum L1 = store of value + slower defi Ethereum L2s = high velocity + HFT defi Ethereum playing 3D chess.
4:12

I think the Ethereum Barbell strategy will prove right. This is how Vitalik explains it: "Ethereum's barbell strategy of L1 and L2 is basically that L2s do the thing that require centralization and they get the benefits of centralization which includes the ability to do HFT but at the same time they benefit from L1 providing security and censorship resistance" HFT = high frequency trading. He's saying speeding up slot times to the millisecond enters you into a reduce bandwidth increase latency arms race that leads to centralization of block production and validation - see nasdaq. If we know this is the inevitable destination of hyperfast chains then we can put the "dictator in a box" by incenting them to become L2s on Ethereum Ethereum L1 = store of value + slower defi Ethereum L2s = high velocity + HFT defi Ethereum playing 3D chess.

RYAN SΞAN ADAMS - rsa.eth 🦄

64,050 görüntüleme • 1 yıl önce

LIVE NOW -- x402 & The Agentic Internet | Lincoln Murr In our twelfth talk of the Bankless Summit, Coinbase 🛡️ product lead lincoln.base.eth explains how x402 revives the long-dormant internet payment standard and why the rise of AI agents makes it newly essential. He outlines how agents will consume and pay for services across the web, why internet native payments need stablecoin rails, and how x402 can unlock agentic commerce at global scale by giving both humans and bots a simple, universal way to send value online. ----- [Bankless Summit in partnership with M0]
19:03

LIVE NOW -- x402 & The Agentic Internet | Lincoln Murr In our twelfth talk of the Bankless Summit, Coinbase 🛡️ product lead lincoln.base.eth explains how x402 revives the long-dormant internet payment standard and why the rise of AI agents makes it newly essential. He outlines how agents will consume and pay for services across the web, why internet native payments need stablecoin rails, and how x402 can unlock agentic commerce at global scale by giving both humans and bots a simple, universal way to send value online. ----- [Bankless Summit in partnership with M0]

Bankless

31,394 görüntüleme • 8 ay önce

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,632 görüntüleme • 5 ay önce

Quantum computing is coming. Google’s recent breakthrough in quantum computing serves as a great reminder that, while we don’t know exactly when, quantum computing is on its way—and it’s closer than we might have thought. The implications for the current blockchain space could be far more severe than we can imagine. Why? Because when quantum computers become operational, security methods that currently take hundreds of years to hack could be broken in minutes. Like the turkey oblivious to the 1001st day, failing to anticipate the risks posed by quantum computing could leave us vulnerable to devastating consequences when the time comes. At StarkWare, we’ve anticipated this risk and developed STARK, a proving technology for blockchains that is quantum-resistant. This cutting-edge innovation currently powers Starknet (BTCFi arc). If you want to stay ahead of the curve and future-proof your systems, now is the best time to migrate your stack to a STARK-powered one. As the inventors of this technology, we believe our team is uniquely positioned to assist you with this migration. Moreover, we are more than open to collaborating with the Ethereum Foundation and other relevant parties to build Ethereum’s quantum resistance as soon as the community is ready.
1:25

Quantum computing is coming. Google’s recent breakthrough in quantum computing serves as a great reminder that, while we don’t know exactly when, quantum computing is on its way—and it’s closer than we might have thought. The implications for the current blockchain space could be far more severe than we can imagine. Why? Because when quantum computers become operational, security methods that currently take hundreds of years to hack could be broken in minutes. Like the turkey oblivious to the 1001st day, failing to anticipate the risks posed by quantum computing could leave us vulnerable to devastating consequences when the time comes. At StarkWare, we’ve anticipated this risk and developed STARK, a proving technology for blockchains that is quantum-resistant. This cutting-edge innovation currently powers Starknet (BTCFi arc). If you want to stay ahead of the curve and future-proof your systems, now is the best time to migrate your stack to a STARK-powered one. As the inventors of this technology, we believe our team is uniquely positioned to assist you with this migration. Moreover, we are more than open to collaborating with the Ethereum Foundation and other relevant parties to build Ethereum’s quantum resistance as soon as the community is ready.

StarkWare (BTCFi arc)

62,316 görüntüleme • 1 yıl önce

.Beff (e/acc) explains how thermodynamic computing fits into the current computing stack: "We don't do GPUs. They're called TSUs, thermodynamic sampling units. We think people are gonna put them next to GPUs or whatever their favorite accelerator is." "You don't need to run the whole workload on the TSU, but it could run certain parts of the workload, just like the GPU is complementary to the CPU initially." "The TSU is gonna help give you more performance per watt in your data center when combined with existing build-outs." "Let's say you're serving a large diffusion model. What we showed is that by using a TSU, you can use something called an energy-based model instead of a simple probabilistic kernel." "Overall you can have basically 100 times the performance per watt of just running on pure GPUs because our chips are much lower wattage."
3:48

.Beff (e/acc) explains how thermodynamic computing fits into the current computing stack: "We don't do GPUs. They're called TSUs, thermodynamic sampling units. We think people are gonna put them next to GPUs or whatever their favorite accelerator is." "You don't need to run the whole workload on the TSU, but it could run certain parts of the workload, just like the GPU is complementary to the CPU initially." "The TSU is gonna help give you more performance per watt in your data center when combined with existing build-outs." "Let's say you're serving a large diffusion model. What we showed is that by using a TSU, you can use something called an energy-based model instead of a simple probabilistic kernel." "Overall you can have basically 100 times the performance per watt of just running on pure GPUs because our chips are much lower wattage."

MTS

42,570 görüntüleme • 2 ay önce

During an Ethproofs Day panel in Argentina, our CEO michael addressed the rumors about how Brevis ships so fast. Some suspected something fishy, but he finally shared the only real "cheat code" we use: "Our team works... at least a hundred hours per week, for 300 days. No vacation, no national holidays, no weekends... You guys can learn from it, basically." The grind never stops. 🏃
0:22

During an Ethproofs Day panel in Argentina, our CEO michael addressed the rumors about how Brevis ships so fast. Some suspected something fishy, but he finally shared the only real "cheat code" we use: "Our team works... at least a hundred hours per week, for 300 days. No vacation, no national holidays, no weekends... You guys can learn from it, basically." The grind never stops. 🏃

Brevis

48,721 görüntüleme • 8 ay önce

"Michael Saylor has invented our fantasy" - Yves Choueifaty on The State of Bitcoin Markets. He covers: - The “dream” trade: borrow from big banks against Bitcoin, pay interest, never repay principal - How Saylor has built this model at scale via MicroStrategy - Why buying MSTR effectively plugs investors into that structure - How leverage can compound Bitcoin exposure like a “rocket on a rocket”
3:41

"Michael Saylor has invented our fantasy" - Yves Choueifaty on The State of Bitcoin Markets. He covers: - The “dream” trade: borrow from big banks against Bitcoin, pay interest, never repay principal - How Saylor has built this model at scale via MicroStrategy - Why buying MSTR effectively plugs investors into that structure - How leverage can compound Bitcoin exposure like a “rocket on a rocket”

Roxom

133,414 görüntüleme • 5 ay önce

NVIDIA CEO: “I have computing anxiety if I don’t have enough computers” > You know at nvidia, we do A LOT > chips, systems, networking, algorithms, software > none of it is possible without AI now > so we built ourselves many supercomputers for our engineers > but guess what > they still have COMPUTING ANXIETY > every day it’s "Jensen, I guess we need 10x more GPUs" > welcome to the new era of computing > AI MACHINE LEARNING > You wish you have FASTER machines, LARGER machines, so you can tackle and solve problems that are BIGGER and FASTER > “I think we are going to have computing anxiety for a decade. > It won’t go away. > Anybody who’s in engineering has it” Doubters BTFO
1:00

NVIDIA CEO: “I have computing anxiety if I don’t have enough computers” > You know at nvidia, we do A LOT > chips, systems, networking, algorithms, software > none of it is possible without AI now > so we built ourselves many supercomputers for our engineers > but guess what > they still have COMPUTING ANXIETY > every day it’s "Jensen, I guess we need 10x more GPUs" > welcome to the new era of computing > AI MACHINE LEARNING > You wish you have FASTER machines, LARGER machines, so you can tackle and solve problems that are BIGGER and FASTER > “I think we are going to have computing anxiety for a decade. > It won’t go away. > Anybody who’s in engineering has it” Doubters BTFO

NIK

268,135 görüntüleme • 1 yıl önce

One of the best investing lessons I learned came from Michael Rubin. Years ago on Shark Tank, he kept asking entrepreneurs the same question: “How big can this be?” At first, I thought it was an odd way to evaluate a business. Then he explained it perfectly, if you already know a business can never become large, why invest in it at all? Since then, I’ve adopted the same mindset. You can never know with certainty how successful a business will become, but every entrepreneur should be able to articulate the size of the opportunity they’re pursuing. The biggest winners often start with a simple idea, but they have the potential to scale into something much larger.
0:50

One of the best investing lessons I learned came from Michael Rubin. Years ago on Shark Tank, he kept asking entrepreneurs the same question: “How big can this be?” At first, I thought it was an odd way to evaluate a business. Then he explained it perfectly, if you already know a business can never become large, why invest in it at all? Since then, I’ve adopted the same mindset. You can never know with certainty how successful a business will become, but every entrepreneur should be able to articulate the size of the opportunity they’re pursuing. The biggest winners often start with a simple idea, but they have the potential to scale into something much larger.

Kevin O'Leary aka Mr. Wonderful

44,017 görüntüleme • 1 ay önce

NEW: Inside PsiQuantum's Silicon Photonic Chipset *Never-Before-Seen* With Er-Xuan Ping, SVP, Barium Titanate (BTO) Development Backdrop: the U.S. government just announced a $2B push into domestic quantum computing manufacturing - but what does that actually fund? The U.S. Department of Commerce Department recently awarded PsiQuantum $100M to accelerate development of BTO, giving a rare look into the underlying manufacturing stack required to scale fault-tolerant quantum computing. We profiled PsiQuantum last September following its $1B Series E, including how the company produces the world’s highest-performing optical switch - a core component of its silicon photonics platform. PsiQuantum is currently the only company or institution in the world manufacturing this BTO material for optical switches at 300mm scale. While the company built this silicon photonics platform for fault-tolerant quantum computing (FTQC)*, the implications may extend far beyond quantum itself. As AI data centers increasingly shift from copper to optical networking, PsiQuantum’s photonics stack could also become foundational infrastructure for next-generation AI systems. *Fault-tolerant quantum computing (FTQC) refers to quantum computers that can continue operating accurately even when individual quantum bits (“qubits”) are noisy or error-prone. Shoutout to Pete Shadbolt
13:45

NEW: Inside PsiQuantum's Silicon Photonic Chipset *Never-Before-Seen* With Er-Xuan Ping, SVP, Barium Titanate (BTO) Development Backdrop: the U.S. government just announced a $2B push into domestic quantum computing manufacturing - but what does that actually fund? The U.S. Department of Commerce Department recently awarded PsiQuantum $100M to accelerate development of BTO, giving a rare look into the underlying manufacturing stack required to scale fault-tolerant quantum computing. We profiled PsiQuantum last September following its $1B Series E, including how the company produces the world’s highest-performing optical switch - a core component of its silicon photonics platform. PsiQuantum is currently the only company or institution in the world manufacturing this BTO material for optical switches at 300mm scale. While the company built this silicon photonics platform for fault-tolerant quantum computing (FTQC)*, the implications may extend far beyond quantum itself. As AI data centers increasingly shift from copper to optical networking, PsiQuantum’s photonics stack could also become foundational infrastructure for next-generation AI systems. *Fault-tolerant quantum computing (FTQC) refers to quantum computers that can continue operating accurately even when individual quantum bits (“qubits”) are noisy or error-prone. Shoutout to Pete Shadbolt

Molly O’Shea

36,749 görüntüleme • 2 ay önce

We discussed decentralization with the Co-Founder of Solana (toly 🇺🇸). “Solana has always been about decentralizing how blocks are made, how transactions are ordered… where it counts.” “The validator cost is higher because we’ve prioritized throughput, but anyone can still participate in block production.” “Solana Labs doesn’t even employ anyone who builds the protocol anymore. We’re mostly focused on building a phone.”
2:32

We discussed decentralization with the Co-Founder of Solana (toly 🇺🇸). “Solana has always been about decentralizing how blocks are made, how transactions are ordered… where it counts.” “The validator cost is higher because we’ve prioritized throughput, but anyone can still participate in block production.” “Solana Labs doesn’t even employ anyone who builds the protocol anymore. We’re mostly focused on building a phone.”

TBPN

54,071 görüntüleme • 1 yıl önce

"finally, the market is back to fundamentals" - Lucian Mincu Multiversᕽ is one of the only L1s from 2017 still delivering on its original vision: a live, full-state sharded blockchain with real composability across shards. their architecture scales like a gpu—not a single-threaded vm. multiple shards. parallel execution. atomic cross-shard messaging. while ethereum leaned into rollups (and now leaning back into the L1), multiversx stayed the course. the result: 3 execution shards and a beacon chain running since genesis. this year they’re going further: one-block finality and block times dropping from 6s to 600ms, then 200ms by year-end. a new application stack is coming—purpose-built for this kind of low-latency, high-bandwidth infra. chapters 00:00 introduction 03:10 multiversx origins 06:24 why ethereum chose rollups 10:43 sharding vs. rollups 18:37 sub-second finality 24:34 stablecoins & payments 31:39 future of blockchain
44:43

"finally, the market is back to fundamentals" - Lucian Mincu Multiversᕽ is one of the only L1s from 2017 still delivering on its original vision: a live, full-state sharded blockchain with real composability across shards. their architecture scales like a gpu—not a single-threaded vm. multiple shards. parallel execution. atomic cross-shard messaging. while ethereum leaned into rollups (and now leaning back into the L1), multiversx stayed the course. the result: 3 execution shards and a beacon chain running since genesis. this year they’re going further: one-block finality and block times dropping from 6s to 600ms, then 200ms by year-end. a new application stack is coming—purpose-built for this kind of low-latency, high-bandwidth infra. chapters 00:00 introduction 03:10 multiversx origins 06:24 why ethereum chose rollups 10:43 sharding vs. rollups 18:37 sub-second finality 24:34 stablecoins & payments 31:39 future of blockchain

seb3point0 🌶️

31,888 görüntüleme • 1 yıl önce