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