A very interesting conclusion of Bitcoin Takeover S15 E18 A rollup that saves a ZKProof in Bitcoin through BitVm with the format "optimistic" verify a proof in native bitcoin. If convenants are approved, this would be much trustless indeed.