BABE: Verifying Proofs on Bitcoin Made 1000x Cheaper. - Sanjam Garg; Dimitris Kolonelos; Mikhail Sergeevitch; Srivatsan Sridhar; David Tse (IACR Cryptol. ePrint Arch., 2026)