Arbigraph: Verifiable Turing-Complete Execution Delegation. - Michael Mirkin; Hongyin Chen; Ohad Eitan; Gal Granot; Ittay Eyal (IACR Cryptol. ePrint Arch., 2025)