正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

How can Bitcoin support verifiable, stateful computation without relying on soft forks or fraud proofs? 🟠 At House of ZK’s Bitcoin Economy Conference, StarkWare 🐺🐱 CPO Avihu Levy ✨🐺 introduced ColliderVM: a new design for verifiable onchain computation with logic and data persistence, built using pre-signed transactions and collision-based... show more

House of ZK

76,342 subscribers

13,275 次观看 • 1 年前 •via X (Twitter)

Anya Rossi• Live Now

Private livecam show

6 条评论

House of ZK 的头像

House of ZK1 年前

Key takeaways from the keynote “ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs” by @StarkWareLtd CPO @avihu28 at House of ZK’s @Bitcoin Economy Conference 👇 1️⃣ Why Stateful Computation? • Enables multi-step logic and cross-tx data flow • Essential for Bitcoin-native smart contracts and long-form computation 2️⃣ Existing Solutions (and Limitations): • Multisig: either insecure (low threshold) or fragile (high threshold) • Covenants: offer strong guarantees but require soft forks • BitVM: verifiable, but needs fraud proofs + active monitoring 3️⃣ ColliderVM: A New Model • Logic flow managed via pre-signed transactions • Shared state encoded using collision-based hash commitments (input + nonce) 4️⃣ Benefits • Fully onchain execution - no fraud detection cycles • Open participation: anyone (even miners) can push txs • Simple, deterministic flow with no need for coordination 5️⃣ Tradeoffs • Setup is storage-heavy: many tx copies to pre-sign • Collision-finding offchain demands serious compute (mining-grade in some cases) • Onchain proving like STARK verifiers remains costly today 6️⃣ What’s Next • Proof-of-concept demo in progress • Exploring Bitcoin-friendly hash functions to enable efficient proving • With CTV, setup overhead (signers, storage) could be eliminated entirely

Mobile Scanner 的头像

Mobile Scanner1 年前

Scan any documents, convert images into text, PDF files, etc. 👍

BROTHER CRYPTO_SAVIOLA 的头像

BROTHER CRYPTO_SAVIOLA1 年前

@Bitcoin @StarkWareLtd @avihu28 This is the kind of Bitcoin native design that doesn’t wait for consensus upgrades. Collision-based state + pre-signed tx flows = a new dev paradigm. Can’t wait to see the proof of concept land

llx 的头像

llx1 年前

@Bitcoin @StarkWareLtd @avihu28 scam

𝙅𝙖𝙮𝙈☂️ 的头像

𝙅𝙖𝙮𝙈☂️1 年前

@Bitcoin @StarkWareLtd @avihu28 ColliderVM’s approach to stateful onchain logic without soft forks or fraud proofs could revolutionize Bitcoin smart contracts by reducing onchain verification costs and increasing participation efficiency

harihari 🧩🥕| Carmine Options 的头像

harihari 🧩🥕| Carmine Options1 年前

@Bitcoin @StarkWareLtd @avihu28 ColliderVM is a 🔥 new model

相关视频

1/ We’re excited to announce our research on ColliderVM, a new protocol built on top of Bitcoin. It enables stateful computation without fraud proofs. 🧵👇

1/ We’re excited to announce our research on ColliderVM, a new protocol built on top of Bitcoin. It enables stateful computation without fraud proofs. 🧵👇

StarkWare (BTCFi arc)

68,315 次观看 • 1 年前

Where will sustainable Bitcoin-native yield come from - without compromising decentralization? 🟠 At House of ZK’s Bitcoin Economy Conference, this panel explored the tradeoffs behind BTC-native lending, institutional inflows, and yield mechanisms - and what it takes to build sustainable yield models that preserve decentralization and align with Bitcoin’s core values. Featuring: 🔸 norbert, Global Growth at A Lee 🔸 Ben Sigman, CEO of Libre | Bitcoin L2 🔸 Hobart of StarkWare 🥷 🔸 Professor Redouane Elkamhi, Chief Economist at GOAT Network 🔸 Toby Lewis, Co-founder of OrdinalsBot ⚡ Also available on YouTube ▶️

Where will sustainable Bitcoin-native yield come from - without compromising decentralization? 🟠 At House of ZK’s Bitcoin Economy Conference, this panel explored the tradeoffs behind BTC-native lending, institutional inflows, and yield mechanisms - and what it takes to build sustainable yield models that preserve decentralization and align with Bitcoin’s core values. Featuring: 🔸 norbert, Global Growth at A Lee 🔸 Ben Sigman, CEO of Libre | Bitcoin L2 🔸 Hobart of StarkWare 🥷 🔸 Professor Redouane Elkamhi, Chief Economist at GOAT Network 🔸 Toby Lewis, Co-founder of OrdinalsBot ⚡ Also available on YouTube ▶️

House of ZK

94,302 次观看 • 1 年前

VAAP product highlight: zKYC zKYC, built on top of zkPass. zKYC enables privacy-first KYC using zero-knowledge proofs, letting users prove compliance without exposing or storing raw identity data. It replaces data custody with verifiable proofs, reducing risk for platforms and friction for users. VAAP (Verifiable Application Acceleration Program) supports teams building real-world applications on verifiable infrastructure like zkTLS.

VAAP product highlight: zKYC zKYC, built on top of zkPass. zKYC enables privacy-first KYC using zero-knowledge proofs, letting users prove compliance without exposing or storing raw identity data. It replaces data custody with verifiable proofs, reducing risk for platforms and friction for users. VAAP (Verifiable Application Acceleration Program) supports teams building real-world applications on verifiable infrastructure like zkTLS.

zkPass

13,893 次观看 • 5 个月前

Last month at BUIDL Europe, our team shared how we’re bringing AI onchain and making computation verifiable by default. At OpenGradient, we’re building AI infrastructure where every inference, computation, and workflow can be verified.

Last month at BUIDL Europe, our team shared how we’re bringing AI onchain and making computation verifiable by default. At OpenGradient, we’re building AI infrastructure where every inference, computation, and workflow can be verified.

OpenGradient (∇, ∇)

442,299 次观看 • 4 个月前

zk proofs + verifiable computation = a better layer one Here's part of the Nexus founding story:

zk proofs + verifiable computation = a better layer one Here's part of the Nexus founding story:

Nexus

17,348 次观看 • 2 个月前

Introducing Verifiable Bitcoin Accounts by Threshold. Built based on what institutions actually need for Institutional Bitcoin deployment: segregated custody, preauthorized spending paths, signer combinations, timelocks, verifiable UTXOs, and clear recovery routes.

Introducing Verifiable Bitcoin Accounts by Threshold. Built based on what institutions actually need for Institutional Bitcoin deployment: segregated custody, preauthorized spending paths, signer combinations, timelocks, verifiable UTXOs, and clear recovery routes.

Threshold Network ✜

398,026 次观看 • 1 个月前

Here is a full demo of an onchain verification of a STARK proof of a Fibonnacci computation, on Catnet (custom Bitcoin signet with OP_CAT enabled). Based on the amazing work of Weikeng Chen | BIP-420 🐱!

Here is a full demo of an onchain verification of a STARK proof of a Fibonnacci computation, on Catnet (custom Bitcoin signet with OP_CAT enabled). Based on the amazing work of Weikeng Chen | BIP-420 🐱!

abdel

76,623 次观看 • 1 年前

🔍 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 次观看 • 11 个月前

Can we build a circular Bitcoin economy without spending BTC? 🟠 In the closing keynote of our Bitcoin Economy Conference, Matt Luongo ✜, Founder of Thesis*, traced Bitcoin’s evolution from a medium of exchange to a store of value, explaining why people hoard BTC rather than spend it – and how we might finally achieve a circular Bitcoin economy by borrowing stablecoins against BTC instead of selling BTC. He also introduced Mezo, a platform to open credit lines against Bitcoin, enabling people to spend stablecoins collateralized by their BTC – from burritos to big purchases – without triggering taxable events or liquidating their coins. Also available on YouTube ▶️

Can we build a circular Bitcoin economy without spending BTC? 🟠 In the closing keynote of our Bitcoin Economy Conference, Matt Luongo ✜, Founder of Thesis*, traced Bitcoin’s evolution from a medium of exchange to a store of value, explaining why people hoard BTC rather than spend it – and how we might finally achieve a circular Bitcoin economy by borrowing stablecoins against BTC instead of selling BTC. He also introduced Mezo, a platform to open credit lines against Bitcoin, enabling people to spend stablecoins collateralized by their BTC – from burritos to big purchases – without triggering taxable events or liquidating their coins. Also available on YouTube ▶️

House of ZK

128,527 次观看 • 11 个月前

Syscoin Is Scaling Bitcoin for the #AI Era 🚀 🔗 👀 #Bitcoin’s unmatched security is just the beginning. With Syscoin’s latest roadmap, we’re unlocking: ⚡#Edgechains – Modular appchains secured by Bitcoin PoW 🤖 #aiNodes – Enabling decentralized computation for AI agents, backing our Sentry Node network 🏹 #RobinBridge – Trustless BTC transfers using ZK proofs & BitVM 🛡️ #ZK Scalability – High-throughput dapps without sacrificing decentralization We’re building the secure foundation for Web3 on Bitcoin’s foundation, where decentralized finance meets advanced computation, AI, and verifiable trust. #Syscoin is uncovering the backbone of intelligent decentralized innovation.

Syscoin Is Scaling Bitcoin for the #AI Era 🚀 🔗 👀 #Bitcoin’s unmatched security is just the beginning. With Syscoin’s latest roadmap, we’re unlocking: ⚡#Edgechains – Modular appchains secured by Bitcoin PoW 🤖 #aiNodes – Enabling decentralized computation for AI agents, backing our Sentry Node network 🏹 #RobinBridge – Trustless BTC transfers using ZK proofs & BitVM 🛡️ #ZK Scalability – High-throughput dapps without sacrificing decentralization We’re building the secure foundation for Web3 on Bitcoin’s foundation, where decentralized finance meets advanced computation, AI, and verifiable trust. #Syscoin is uncovering the backbone of intelligent decentralized innovation.

Syscoin

566,525 次观看 • 1 年前

The AI agent economy is here. The shift to AI agents on blockchain requires new infrastructure: agents need digital identities, cross-chain capabilities, and verifiable on-chain computation. Wire Network has built the foundational layer for this decentralized future.

The AI agent economy is here. The shift to AI agents on blockchain requires new infrastructure: agents need digital identities, cross-chain capabilities, and verifiable on-chain computation. Wire Network has built the foundational layer for this decentralized future.

Wire Network 🔗

19,695 次观看 • 1 年前

Introducing WISP: A ZK-powered verifiable agent taking on the first real-world use case for verifiable computation. With IXO World 🦋, we're building infrastructure that brings trust and efficiency to climate finance verification 🌐

Introducing WISP: A ZK-powered verifiable agent taking on the first real-world use case for verifiable computation. With IXO World 🦋, we're building infrastructure that brings trust and efficiency to climate finance verification 🌐

Giza

29,076 次观看 • 1 年前

Full Stack Verifiability | Verifiable Cloud ☁️ Sreeram Kannan explains how EigenCloud delivers verifiability across the entire stack. It starts at the base with the EigenLayer, where computation is guaranteed by a decentralized network of hundreds of operators backed by $12B of stake. That’s the trust foundation of the cloud. On top of this: ✅ EigenDA: a data availability protocol that guarantees verifiable data publication.Publish data once, and anyone can retrieve it without trust. ✅ EigenCompute: execute arbitrary programs off-chain and bring the results back onchain verifiably. ✅ EigenAI: run AI inference today and return inference outputs directly onchain. All of them deliver strong verifiability for computation, inference, and data, all anchored by the underlying decentralized layer. And it doesn’t stop at first-party services, EigenCloud includes a growing ecosystem of third-party systems like zkTLS, proof-of-location, and decentralized prover networks, adding even deeper verification guarantees throughout the cloud. This is what a fully verifiable cloud looks like. A cloud you can check, not just trust.

Full Stack Verifiability | Verifiable Cloud ☁️ Sreeram Kannan explains how EigenCloud delivers verifiability across the entire stack. It starts at the base with the EigenLayer, where computation is guaranteed by a decentralized network of hundreds of operators backed by $12B of stake. That’s the trust foundation of the cloud. On top of this: ✅ EigenDA: a data availability protocol that guarantees verifiable data publication.Publish data once, and anyone can retrieve it without trust. ✅ EigenCompute: execute arbitrary programs off-chain and bring the results back onchain verifiably. ✅ EigenAI: run AI inference today and return inference outputs directly onchain. All of them deliver strong verifiability for computation, inference, and data, all anchored by the underlying decentralized layer. And it doesn’t stop at first-party services, EigenCloud includes a growing ecosystem of third-party systems like zkTLS, proof-of-location, and decentralized prover networks, adding even deeper verification guarantees throughout the cloud. This is what a fully verifiable cloud looks like. A cloud you can check, not just trust.

EigenCloud

47,983 次观看 • 6 个月前

EigenCloud: The Cloud Thesis of Crypto. Bitcoin established verifiable money and Ethereum established verifiable finance. EigenCloud's goal is to make every digital interaction verifiable. The core promise of EigenCloud: cloud-scale programmability with crypto-grade verifiability. EigenCloud enables developers to build powerful applications using familiar cloud containers while maintaining blockchain-level trust guarantees. By separating token logic (executed on-chain) from app logic (executed in verifiable off-chain containers), developers can leverage the full richness of cloud infrastructure - any software library, specialized hardware, external APIs - while preserving cryptoeconomic security through the EIGEN token's novel forkability mechanism. This architectural shift unlocks entirely new application categories: verifiable onchain AI agents, permissionless prediction markets, memecoin platforms with verifiable incentives, trustworthy media feeds, and enterprise applications with crypto-grade auditability. By massively expanding the programmability of crypto applications, EigenCloud expands the addressable market of crypto and establishes the foundation for the verifiable economy.

EigenCloud: The Cloud Thesis of Crypto. Bitcoin established verifiable money and Ethereum established verifiable finance. EigenCloud's goal is to make every digital interaction verifiable. The core promise of EigenCloud: cloud-scale programmability with crypto-grade verifiability. EigenCloud enables developers to build powerful applications using familiar cloud containers while maintaining blockchain-level trust guarantees. By separating token logic (executed on-chain) from app logic (executed in verifiable off-chain containers), developers can leverage the full richness of cloud infrastructure - any software library, specialized hardware, external APIs - while preserving cryptoeconomic security through the EIGEN token's novel forkability mechanism. This architectural shift unlocks entirely new application categories: verifiable onchain AI agents, permissionless prediction markets, memecoin platforms with verifiable incentives, trustworthy media feeds, and enterprise applications with crypto-grade auditability. By massively expanding the programmability of crypto applications, EigenCloud expands the addressable market of crypto and establishes the foundation for the verifiable economy.

Sreeram Kannan

104,112 次观看 • 1 年前

Brilliant Thai Bitcoiners built simple software that simulates real Bitcoin transactions so high schools can teach Bitcoin safely without risk, approvals, or real money. A simulator for mining blocks and sending and receiving transactions.

Brilliant Thai Bitcoiners built simple software that simulates real Bitcoin transactions so high schools can teach Bitcoin safely without risk, approvals, or real money. A simulator for mining blocks and sending and receiving transactions.

Jimmy Kostro ⚡️

20,047 次观看 • 5 个月前

Can ZK-proofs help Bitcoin reach its full potential as P2P cash?🤔 @dimahledba from StarkWare (BTCFi arc) 🥷 gave us the TL;DR on two fundamental ways ZK-proofs can do that: 😎Private payments on Bitcoin using ZK-proofs 🖥️Post-quantum signature schemes using ZK proofs Full 📺👇

Can ZK-proofs help Bitcoin reach its full potential as P2P cash?🤔 @dimahledba from StarkWare (BTCFi arc) 🥷 gave us the TL;DR on two fundamental ways ZK-proofs can do that: 😎Private payments on Bitcoin using ZK-proofs 🖥️Post-quantum signature schemes using ZK proofs Full 📺👇

Gareth Jenkinson

30,236 次观看 • 9 个月前

OmniSet is now live on π² Devnet! OmniSet is a universal liquidity hub that turns fragmented liquidity into a single verifiable system, starting with Solana, Multiversᕽ, @spicenet and more. Built on FastSet’s high throughput settlement network, OmniSet lets assets move at internet speed without relying on traditional bridges or wrappers. For payments, stablecoins, DeFi, and agentic systems, value transfers can finally feel native: fast, secure, and verifiable by design. If you are building for a world where liquidity needs to flow freely you can start testing and integrating OmniSet today. 🔗

OmniSet is now live on π² Devnet! OmniSet is a universal liquidity hub that turns fragmented liquidity into a single verifiable system, starting with Solana, Multiversᕽ, @spicenet and more. Built on FastSet’s high throughput settlement network, OmniSet lets assets move at internet speed without relying on traditional bridges or wrappers. For payments, stablecoins, DeFi, and agentic systems, value transfers can finally feel native: fast, secure, and verifiable by design. If you are building for a world where liquidity needs to flow freely you can start testing and integrating OmniSet today. 🔗

Fast

79,502 次观看 • 6 个月前

We shipped the full private computation layer for Solana, live at Builders can run confidential logic without managing any infra. The network is live and scaling with more GPUwu compute coming online. Privacy apps, private ai, private defi... all powered by verifiable outputs you can check on chain. Everything stays cute, private, and correct~ 🧡 This is the future of Solana's private stack.

We shipped the full private computation layer for Solana, live at Builders can run confidential logic without managing any infra. The network is live and scaling with more GPUwu compute coming online. Privacy apps, private ai, private defi... all powered by verifiable outputs you can check on chain. Everything stays cute, private, and correct~ 🧡 This is the future of Solana's private stack.

Monero-Chan

75,451 次观看 • 7 个月前

Scaling Bitcoin with ZK Rollups with David Seroy and Sims | SLP644 Can ZK Rollups & BitVM scale Bitcoin without soft forks? David Seroy 🏔️ & Simanta Gautam discuss in depth on how ZK proofs enable trust-minimized scaling, batching transactions for better efficiency while keeping Bitcoin secure, and trade-offs when compared to Lightning & sidechains. Timestamps: (00:00) - Intro (01:00) - What are the benefits of ZK rollups for Bitcoin? (03:55) - What is the role of Alpen in helping scale Bitcoin? (09:32) - Are ZK rollups beneficial to Bitcoin? (11:30) - The mechanics of ZK rollups (18:13) - Challenges and limitations of current tech in Bitcoin (23:29) - How does BitVM complement ZK rollups? (31:46) - The experience of using A-BTC for the end user (35:16) - Building the network effects for ZK rollups on Bitcoin (39:11) - Who would be the users of A-BTC? (43:42) - The competitive lending solutions for Bitcoin (46:02) - What are the risks in ZK rollups? (51:52) - What is the ‘Data Availability’ problem? (1:04:21) - What is the future of rollups on Bitcoin?

Scaling Bitcoin with ZK Rollups with David Seroy and Sims | SLP644 Can ZK Rollups & BitVM scale Bitcoin without soft forks? David Seroy 🏔️ & Simanta Gautam discuss in depth on how ZK proofs enable trust-minimized scaling, batching transactions for better efficiency while keeping Bitcoin secure, and trade-offs when compared to Lightning & sidechains. Timestamps: (00:00) - Intro (01:00) - What are the benefits of ZK rollups for Bitcoin? (03:55) - What is the role of Alpen in helping scale Bitcoin? (09:32) - Are ZK rollups beneficial to Bitcoin? (11:30) - The mechanics of ZK rollups (18:13) - Challenges and limitations of current tech in Bitcoin (23:29) - How does BitVM complement ZK rollups? (31:46) - The experience of using A-BTC for the end user (35:16) - Building the network effects for ZK rollups on Bitcoin (39:11) - Who would be the users of A-BTC? (43:42) - The competitive lending solutions for Bitcoin (46:02) - What are the risks in ZK rollups? (51:52) - What is the ‘Data Availability’ problem? (1:04:21) - What is the future of rollups on Bitcoin?

Stephan Livera

17,669 次观看 • 1 年前