Загрузка видео...

Не удалось загрузить видео

Возникла проблема при загрузке этого видео. Это может быть связано с временными проблемами сети или видео может быть недоступно.

На главную

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

382,264 subscribers

44,091 просмотров • 8 месяцев назад •via X (Twitter)

Наука и технологии

Anya Rossi• Live Now

Private livecam show

Комментарии: 0

Нет доступных комментариев

Здесь появятся комментарии из оригинального поста

Похожие видео

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

200,757 просмотров • 6 месяцев назад

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,682 просмотров • 3 месяцев назад

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

15,143 просмотров • 4 месяцев назад

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,577 просмотров • 5 месяцев назад

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]

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 просмотров • 8 месяцев назад

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

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 просмотров • 5 месяцев назад

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.

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 просмотров • 1 год назад

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

.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 просмотров • 3 месяцев назад

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

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 просмотров • 8 месяцев назад

"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”

"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 просмотров • 5 месяцев назад

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

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 просмотров • 1 год назад

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.

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 просмотров • 1 месяц назад

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

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 просмотров • 2 месяцев назад

Vitalik Buterin is prioritizing Quantum resistance for Ethereum vitalik.eth has unveiled the 2026 "Strawmap," detailing a structural shift in Ethereum's development to counter emerging cryptographic and scaling challenges. The updated architecture elevates quantum safety to a primary priority by introducing LeanSPHINCS signatures and "zkzk frames" to facilitate native rollups. This transition marks a pivot away from the traditional EVM toward more efficient, AI-verifiable ISAs such as RISC-V, to maintain a "Lean" protocol core that can be formally verified at scale.

Vitalik Buterin is prioritizing Quantum resistance for Ethereum vitalik.eth has unveiled the 2026 "Strawmap," detailing a structural shift in Ethereum's development to counter emerging cryptographic and scaling challenges. The updated architecture elevates quantum safety to a primary priority by introducing LeanSPHINCS signatures and "zkzk frames" to facilitate native rollups. This transition marks a pivot away from the traditional EVM toward more efficient, AI-verifiable ISAs such as RISC-V, to maintain a "Lean" protocol core that can be formally verified at scale.

BSCN

18,866 просмотров • 9 дней назад