ZEXE has one layer of recursive composition, so you can effectively verify proofs in a proof – but not proofs of those proofs. Lurk initially targets Nova for u

ZEXE has one layer of recursive composition, so you can effectively verify proofs in a proof – but not proofs of those proofs. Lurk initially targets Nova for unbounded recursion.