Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

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

HouseofZK's profile picture

House of ZK

76,342 subscribers

13,275 Aufrufe • vor 1 Jahr •via X (Twitter)

LIVE

Anya Rossi• Live Now

Private livecam show

6 Kommentare

Profilbild von House of ZK
House of ZKvor 1 Jahr

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

Profilbild von Mobile Scanner
Mobile Scannervor 1 Jahr

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

Profilbild von BROTHER CRYPTO_SAVIOLA
BROTHER CRYPTO_SAVIOLAvor 1 Jahr

@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

Profilbild von llx
llxvor 1 Jahr

@Bitcoin @StarkWareLtd @avihu28 scam

Profilbild von 𝙅𝙖𝙮𝙈☂️
𝙅𝙖𝙮𝙈☂️vor 1 Jahr

@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

Profilbild von harihari 🧩🥕| Carmine Options
harihari 🧩🥕| Carmine Optionsvor 1 Jahr

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

Ähnliche Videos

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. 🧵👇
22:12

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 Aufrufe • vor 1 Jahr

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 ▶️
41:03

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 Aufrufe • vor 1 Jahr

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.
0:28

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 Aufrufe • vor 5 Monaten

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

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 Aufrufe • vor 5 Monaten

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.
0:30

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 Aufrufe • vor 2 Monaten

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 🐱!
1:44

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 Aufrufe • vor 1 Jahr

🔍 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 ↓
1:50

🔍 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,067 Aufrufe • vor 11 Monaten

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 ▶️
13:33

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 Aufrufe • vor 1 Jahr

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.
0:20

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,622 Aufrufe • vor 1 Jahr

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 🌐
0:35

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 Aufrufe • vor 1 Jahr

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

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 Aufrufe • vor 7 Monaten

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.
0:31

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 Aufrufe • vor 1 Jahr

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.
0:47

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 Aufrufe • vor 6 Monaten

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 📺👇
3:12

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 Aufrufe • vor 10 Monaten

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. 🔗
0:36

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,528 Aufrufe • vor 7 Monaten

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.
0:25

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,543 Aufrufe • vor 7 Monaten

Universal Smart Contracts are now live in Testnet! Cross-chain dApps can be built more easily and securely with verifiable proofs, eliminating centralized oracle dependencies and bridge vulnerabilities. Here’s how ▶️ + 🧵
17:43

Universal Smart Contracts are now live in Testnet! Cross-chain dApps can be built more easily and securely with verifiable proofs, eliminating centralized oracle dependencies and bridge vulnerabilities. Here’s how ▶️ + 🧵

Creditcoin 🐧

98,480 Aufrufe • vor 10 Monaten