IOG: Mithril PM Reza Baram says Mithril is "unlocking new capabilities with ZK. We are building succinct proofs for efficient verification on-chain, a game-changer for interoperability, especially for the trustless bridges, such as the one being built by the Bitcoin DeFi team."