Before, usage of ZKP's required trust in:
- Cryptography assumptions (ECDLP is sound, hashes are collision resistant, etc)
- Developers to make a sound design for what they want to prove.
- Careful implementation of a circuit satisfying the design
Now this should compress to:
- Cryptography assumptions
- A correct definition of the needed security properties.
Automated proof checking will prove that your real ZKP verifier circuit combo then satisfy the above two.