How We Did It: ZK Proofs on Bitcoin w/ Eden Yago & Gadi Guy