我們如何在審計期間保持 ZK 電路堅如磐石和確定性？我們的聯合創始人 @IsilDillig 分享了在我們的 ZK 工具中結合靜態分析和 SMT 求解器的見解。