我们如何在审计期间保持 ZK 电路的稳固和确定性？我们的联合创始人 @IsilDillig 分享了在我们的 ZK 工具中结合静态分析和 SMT 求解器的见解。