我们之前的 ZK 检测工具在 30% 的 ZK 电路上超时。我们是如何解决这个问题的？@IsilDillig 分享了我们最近研究论文的见解。