我們的 ZK 檢測工具之前在 30% 的 ZK 電路上超時。我們是如何解決這個問題的？@IsilDillig分享了我們最近研究論文的見解。