Security vs Trustlessness:ZK 協定在機制上該如何取捨

零知識證明是如何增強系統的安全性的?