βœ¨πŸ“… BitVMX Hackathon 2025 close Nov 15 - Register Here! πŸ‘©πŸ»β€πŸ’» Show us what you can build using BitVMX PlatformπŸ’°πŸ† 2M sats! for the winning team πŸ₯‡πŸ‘¨β€πŸ‘¨πŸ™‹πŸ»β€β™‚️ Submit your project now!βœ¨πŸ“… BitVMX Hackathon 2025 close Nov 15 - Register Here! πŸ‘©πŸ»β€πŸ’» Show us what you can build using BitVMX PlatformπŸ’°πŸ† 2M sats! for the winning team πŸ₯‡πŸ‘¨β€πŸ‘¨πŸ™‹πŸ»β€β™‚️ Submit your project now!βœ¨πŸ“… BitVMX Hackathon 2025 close Nov 15 - Register Here! πŸ‘©πŸ»β€πŸ’» Show us what you can build using BitVMX PlatformπŸ’°πŸ† 2M sats! for the winning team πŸ₯‡πŸ‘¨β€πŸ‘¨πŸ™‹πŸ»β€β™‚️ Submit your project now!βœ¨πŸ“… BitVMX Hackathon 2025 close Nov 15 - Register Here! πŸ‘©πŸ»β€πŸ’» Show us what you can build using BitVMX PlatformπŸ’°πŸ† 2M sats! for the winning team πŸ₯‡πŸ‘¨β€πŸ‘¨πŸ™‹πŸ»β€β™‚️ Submit your project now!βœ¨πŸ“… BitVMX Hackathon 2025 close Nov 15 - Register Here! πŸ‘©πŸ»β€πŸ’» Show us what you can build using BitVMX PlatformπŸ’°πŸ† 2M sats! for the winning team πŸ₯‡πŸ‘¨β€πŸ‘¨πŸ™‹πŸ»β€β™‚️ Submit your project now!

Interactive SNARK Verification on Bitcoin using BitVMX!

Martin Jonas,Ramon Amela
Β·
June 27, 2024
Β·

What seemed impossible, has finally been done. For the first time in history we have demonstrated it’s possible to interactively verify a SNARK proof on #Bitcoin using BitVMX.
In this video, Martin and Ramon explain the details behind this historical achievement.

This is only the beginning πŸ’ͺ🏻

Join our community

BitVMX Protocol Builder Deep Dive

New BitVMX Open Source Components Delivery: Introducing the BitVMX Protocol Builder – Graph-Based Transaction Design for Bitcoin

BitVMX's Open Source Journey Continues: Bitcoin Monitoring, Coordination and Indexing components now available

Introducing BitVMX New Open Source Components: Key Management, Storage, and Configuration

Building Secure and Watchtower-efficient Bitcoin Payment Channels with BitVMX

From Blueprint to Backend

Introducing the BitVMX 2025 Roadmap

Why RISC-V is the Optimal Architecture for the BitVMX Proving System

Improving BitVMX with Bitcoin Soft-forks

ESSPI: ECDSA / Schnorr Signed Program Input for BitVMX

BitVMX off-chain communication system: Multi-Exchange Handler

PKMN_BTTL: A Pokemon Battle Game, Written in Zig and Executed with BitVMX

Zero Knowledge Proof Verification On Bitcoin

BitVMX off-chain communication system: Key Components and Secure Strategies

Unlocking Trustless Bridges: BitVMX Goes Open Source

Union Bridge: A Trustless Gateway Between Bitcoin and Rootstock Powered by BitVMX

BitVMX: a practical exploration

First Release of BitVMX Implementation: Union Bridge by Rootstock

Optimizing Algorithms for Bitcoin Script (part 3)

BitVMX off-chain communication system: Protocol Implementation and Practical Applications

Optimizing Algorithms for Bitcoin Script (part 2)

Optimizing Algorithms for Bitcoin Script

Interactive SNARK Verification on Bitcoin using BitVMX!

A New Era for Bitcoin: Successful SNARK Proof Verification with BitVMX

We bitcoiners have a card under our sleeve: unpredictable innovation

Latest Innovations in BitVMX

The near future of bitcoin CPU: BitVMX

How BitVMX Differs from BitVM

BitVMX: A CPU for Universal Computation on Bitcoin

Keynote at Bitcoin++ ATX24 Script Edition for the BitVMX Presentation