Do in secret. Assert in public. Don't under-constrain your in ZK programs | Dark Hacker News