Do in secret. Assert in public. Don't under-constrain your in ZK programs (zksecurity.xyz)