We have announced that we would go deep into the proving systems and this is just the first step. Saying "we are using ZK" means nothing unless one can independently regenerate verification keys and confirm what program is actually being proven