A Recursive zk-based State Update System. - Daniel Bloom; Sai Deng (IACR Cryptol. ePrint Arch., 2024)