Avail's general purpose execution layer is optimized for verifying the latest ZK technologies, including @RiscZero, @SuccinctLabs, @StarkWareLtd and @brevis_zk