EDEN - a practical, SNARK-friendly combinator VM and ISA. - Logan Allen; Brian Klatt; Philip Quirk; Yaseen Shaikh (IACR Cryptol. ePrint Arch., 2023)