4 ms·Do in secret. Assert in public. Don't under-constrain your in ZK programs3 points by bkase 3y ago