Artificial intelligence is being used to perform formal verification of zero-knowledge circuits more easily and scalably