Technology Updates - A new Git submodule zkcuda_recursion has been added, incorporating components for the recursive verifier [1]