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: Yago's backgroundThe effect of Trump’s election on the crypto industryThe goal behind BitcoinOSThe history of Bitcoin’s programmabilityVerifying ZK proofs on BitcoinTaprootOrdinalsBitSNARK, Grail bridge and Merkle MeshBitcoinOS modularity and sequencingAn impending (r)evolution of the industryBitcoin vs. Ethereum L2 landscapeBringing Bitcoin liquidity to CardanoBitcoinOS roadmapEpisode links: Edan Yago on TwitterBitcoin OS on TwitterSponsors: Gnosis: Gnosis builds decentralized infrastructure for the Ethereum ecosystem, since 2015. This year marks the launch of Gnosis Pay— the world's first Decentralized Payment Network. Get started today at - gnosis.ioChorus One: Chorus One is one of the largest node operators worldwide, supporting more than 100,000 delegators, across 45 networks. The recently launched OPUS allows staking up to 8,000 ETH in a single transaction. Enjoy the highest yields and institutional grade security at - chorus.oneThis episode is hosted by Sebastien Couture.

A smart contract’s rigid rule system represents a double-edged sword. ‘The Code is Law’, but what happens when rogue large language models or AI agents bend the Law? Can smart contracts be weaponised to serve a criminal agenda? In his ‘Oracle’ novel, Ari Juels explores this thesis and issues an eery warning regarding the blockchain x AI intersection. In this imminent future, oracles play a crucial role, allowing LLMs to push data on-chain or smart contracts to pull off-chain data. Topics covered in this episode: Criminal Smart ContractsOracle x LLM convergencePreventing malicious intents through oracle systemsAI x crypto use casesDAOsEntropy in voting behavioursDark DAOsTEEs & private smart contractsMEV & proofs of transaction orderingFuture blockchain researchEpisode links: Ari Juels on Twitter'The Oracle: A Novel' by Ari JuelsChainlink on TwitterSponsors: Gnosis: Gnosis builds decentralized infrastructure for the Ethereum ecosystem, since 2015. This year marks the launch of Gnosis Pay— the world's first Decentralized Payment Network. Get started today at - gnosis.ioChorus One: Chorus One is one of the largest node operators worldwide, supporting more than 100,000 delegators, across 45 networks. The recently launched OPUS allows staking up to 8,000 ETH in a single transaction. Enjoy the highest yields and institutional grade security at - chorus.oneThis episode is hosted by Brian Fabian Crain.