We were joined by Edan Yago, CEO & co-founder of BitcoinOS, to discuss Bitcoin’s impending programmability (r)evolution and why block #853626 was ground zero for onchain verification of ZK proofs.
Bitcoin’s Taproot update paved the way for a new & exciting era for Bitcoin, as it expanded its use case far beyond that of an immutable ledger. However, Ordinals, BRC-20 tokens and, more recently, Runes, have limited functionality compared to what DeFi is capable of, on other smart contract blockchains. BitcoinOS envisions a revolutionary Bitcoin economy that stems from truly programmable tokens, unlocking staking, governance and many other use cases. Using BitSNARK and Grail, BitcoinOS enables Bitcoin “rollups”, which act as execution environments that use BTC as gas fee and inherit security from the L1. The missing link was always a trustless bridge between Bitcoin L1 and any potential L2. And Grail Bridge achieved just that - using zero knowledge cryptography, BTC could be transferred to other chains without relying on other custodians’ trust assumptions. In that sense, Bitcoin block #853626 is historically meaningful as it contains the first-ever onchain verification of a zero knowledge proof, on Bitcoin. A truly programmable smart contract operating system on Bitcoin was no longer a mere concept…it became a reality through BitcoinOS.
Topics covered in this episode:
Episode links:
Sponsors:
This episode is hosted by Sebastien Couture.