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

A Framework for Compiling Custom Languages as Efficiently Verifiable Virtual Machines. - Assimakis A. Kattis; Brian Klatt; Philip Quirk; Logan Allen (IACR Cryptol. ePrint Arch., 2025)